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

DOI10.1109/TAC.2013.2266864zbMATH Open1360.68597arXiv1202.1372OpenAlexW1983175210MaRDI QIDQ2983299FDOQ2983299

Authors: Maria D. Di Benedetto, Giordano Pola 

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1202.1372

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Discrete-time control/observation systems (93C55)

Cited In (5)

• 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
• Symbolic control design of nonlinear systems with outputs
• Approximate predictability of pseudo-metric systems
• Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface

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)