5200 search results - page 87 / 1040 » Symbolic models for control systems |
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Deterministic approaches to model validation for robust control are investigated. In common deterministic model validation approaches, a trade-off between disturbances and mode...
QUESTA
1998
13 years 8 months ago
1998
In this paper we study monotonicity results for optimal policies of various queueing and resource sharing models. The standard approach is to propagate, for each specific model, ...
HYBRID
1995
Springer
14 years 11 days ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...