Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
From MaRDI portal
Publication:2983299
Abstract: 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 paper 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 so-called simulation metric. Symbolic control design is then addressed with specifications expressed in terms of non-deterministic finite automata. A sequence of symbolic control strategies is derived which converges, in the sense of simulation metric, to the maximal controller solving the given specification on the PWA system.
Cited in
(5)- Approximate predictability of pseudo-metric systems
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Symbolic control design of nonlinear systems with outputs
- Hybrid modeling and predictive control of intelligent vehicle longitudinal velocity considering nonlinear tire dynamics
- Robust H-infinity stabilization and resilient filtering for discrete-time constrained singular piecewise-affine systems
This page was built for publication: Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2983299)
