Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- 16 November 2011
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 57 (7), 1804-1809
- https://doi.org/10.1109/tac.2011.2176409
Abstract
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction of such symbolic models have two main drawbacks: either they can only be applied to restrictive classes of systems, or they require the exact computation of reachable sets. In this paper, we propose a new abstraction technique that is applicable to any nonlinear sampled-data control system as long as we are only interested in its behavior in a compact set. Moreover, the exact computation of reachable sets is not required. The effectiveness of the proposed results is illustrated by synthesizing a controller to steer a vehicle.Keywords
Other Versions
This publication has 31 references indexed in Scilit:
- Symbolic models for nonlinear time-delay systems using approximate bisimulationsSystems & Control Letters, 2010
- Approximately bisimilar symbolic models for nonlinear control systemsAutomatica, 2008
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on SimplicesIEEE Transactions on Automatic Control, 2006
- A set oriented approach to global optimal controlESAIM: Control, Optimisation and Calculus of Variations, 2004
- A discrete-event model of asynchronous quantised systemsAutomatica, 2002
- A Lyapunov approach to incremental stability propertiesIEEE Transactions on Automatic Control, 2002
- On the reachability of quantized control systemsIEEE Transactions on Automatic Control, 2002
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Hierarchical hybrid control systems: a lattice theoretic formulationIEEE Transactions on Automatic Control, 1998
- Approximation of the viability kernelApplied Mathematics & Optimization, 1994