Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

Zamani, M., Pola, G., Mazo, M. & Tabuada, P., Jul-2012, In : IEEE Transactions on Automatic Control. 57, 7, p. 1804-1809 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

  • Majid Zamani
  • Giordano Pola
  • Manuel Mazo
  • Paulo Tabuada

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.

Original languageEnglish
Pages (from-to)1804-1809
Number of pages7
JournalIEEE Transactions on Automatic Control
Issue number7
Publication statusPublished - Jul-2012


  • Approximate alternating simulation, digital control systems, nonlinear systems, symbolic models, MINIMAL HYBRID SYSTEMS, APPROXIMATE BISIMULATIONS, SUPERVISORY CONTROL, DISCRETE, ABSTRACTIONS, REACHABILITY

ID: 5601052