Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
From MaRDI portal
Publication:2983299
DOI10.1109/TAC.2013.2266864zbMath1360.68597arXiv1202.1372OpenAlexW1983175210MaRDI QIDQ2983299
Maria Domenica Di Benedetto, Giordano Pola
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1202.1372
Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)
Related Items (4)
Robust H-infinity stabilization and resilient filtering for discrete-time constrained singular piecewise-affine systems ⋮ Approximate predictability of pseudo-metric systems ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Hybrid modeling and predictive control of intelligent vehicle longitudinal velocity considering nonlinear tire dynamics
This page was built for publication: Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
