5200 search results - page 119 / 1040 » Symbolic models for control systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— There are many communication imperfections in networked control systems (NCSs) such as varying sampling/transmission intervals, varying delays, possible packet loss, communicat...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
IFM
2007
Springer
14 years 3 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...