Symbolic Models for Nonlinear Control Systems Without Stability AssumptionsZamani, 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 journal › Article › Academic › peer-review
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.
|Number of pages||7|
|Journal||IEEE Transactions on Automatic Control|
|Publication status||Published - Jul-2012|
- Approximate alternating simulation, digital control systems, nonlinear systems, symbolic models, MINIMAL HYBRID SYSTEMS, APPROXIMATE BISIMULATIONS, SUPERVISORY CONTROL, DISCRETE, ABSTRACTIONS, REACHABILITY