5200 search results - page 122 / 1040 » Symbolic models for control systems |
FTCS
1998
13 years 10 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
TCS
2008
13 years 8 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
ENGL
2006
13 years 9 months ago
2006
Researchers have shown a considerable amount of interest in the control of pneumatic drives over the past decade, for two main reasons, firstly, the response of the system is very ...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper deals with hierarchical model predictive control (MPC) of distributed systems. A threelevel hierarchical approach is proposed, consisting of a high level MPC controller,...
WSC
1997
13 years 10 months ago
1997
The data collection and the automatic run-length control features provided in the CSIM18 library allow model builders to easily collect valid data from a simulation model and to b...