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
Vector space formulation of probabilistic finite state automata
Journal of Computer and System Sciences
A symbolic approach to the design of nonlinear networked control systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Approximately bisimilar symbolic models for digital control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Adaptive pattern classification for symbolic dynamic systems
Signal Processing
Symbolic control of stochastic switched systems via finite abstractions
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.01 |
Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growing interest in the use of symbolic models as a tool for mitigating complexity in control design. In fact, symbolic models enable the use of well-known algorithms in the context of supervisory control and algorithmic game theory for controller synthesis. Since the 1990s many researchers faced the problem of identifying classes of dynamical and control systems that admit symbolic models. In this paper we make further progress along this research line by focusing on control systems affected by disturbances. Our main contribution is to show that incrementally globally asymptotically stable nonlinear control systems with disturbances admit symbolic models.