Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Theoretical Computer Science
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Communication and concurrency
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Symbolic models for control systems
Acta Informatica - Hybrid Systems
SIAM Journal on Control and Optimization
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Qualitative heterogeneous control of higher order systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Reachability of uncertain linear systems using zonotopes
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A probabilistic methodology for predicting injuries to human operators in automated production lines
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Synthesis of switching controllers using approximately bisimilar multiscale abstractions
Proceedings of the 14th international conference on Hybrid systems: computation and control
Robust discrete synthesis against unspecified disturbances
Proceedings of the 14th international conference on Hybrid systems: computation and control
Pessoa 2.0: a controller synthesis tool for cyber-physical systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
Minimum attention controller synthesis for omega-regular objectives
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A symbolic approach to the design of nonlinear networked control systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Brief paper: Controller synthesis for safety and reachability via approximate bisimulation
Automatica (Journal of IFAC)
Approximately bisimilar symbolic models for digital control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Input-output robustness for discrete systems
Proceedings of the tenth ACM international conference on Embedded software
On model based synthesis of embedded control software
Proceedings of the tenth ACM international conference on Embedded software
Undecidability of quantized state feedback control for discrete time linear hybrid systems
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
A theory of robust omega-regular software synthesis
ACM Transactions on Embedded Computing Systems (TECS)
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 22.15 |
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suited to describe software and hardware interfacing with the physical world. For this reason there is a growing interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each ''symbol'' corresponds to an ''aggregate'' of states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provide a unified language to study problems of control in which software and hardware interact with the physical world. Furthermore, the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes. In this paper we show that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to a symbolic model. The approximation error is a design parameter in the construction of the symbolic model and can be rendered as small as desired. Furthermore, if the state space of the control system is bounded, the obtained symbolic model is finite. For digital control systems, and under the stronger assumption of incremental input-to-state stability, symbolic models can be constructed through a suitable quantization of the inputs.