5200 search results - page 96 / 1040 » Symbolic models for control systems |
AICOM
2005
13 years 8 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
CCE
2006
13 years 9 months ago
2006
A predictive functional control (PFC) technique is applied to the temperature control of a pilot-plant batch reactor equipped with a mono-fluid heating/cooling system. A cascade c...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...