5200 search results - page 126 / 1040 » Symbolic models for control systems |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
– This paper presents a predictive gain scheduler for path tracking control in a networked control system with variable delay. The controller uses the plant model to predict futu...
AMOST
2007
ACM
14 years 28 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
FORMATS
2006
Springer
14 years 18 days ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
CDC
2009
IEEE
14 years 7 days ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...