Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach


Symbolic models have been recently used as a sound mathematical formalism for the formal verification and control design of purely continuous and hybrid systems. In this note we propose a sequence of symbolic models that approximates a discrete-time Piecewise Affine (PWA) system in the sense of approximate simulation and converges to the PWA system in the… (More)
DOI: 10.1109/TAC.2013.2266864


3 Figures and Tables

Slides referencing similar topics