Formal Analysis of Discrete-Time Piecewise Affine Systems
From MaRDI portal
Publication:5347552
DOI10.1109/TAC.2010.2072530zbMath1368.93352OpenAlexW2143095681MaRDI QIDQ5347552
Publication date: 25 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2010.2072530
Control/observation systems with incomplete information (93C41) Discrete-time control/observation systems (93C55) Abstract data types; algebraic specification (68Q65)
Related Items
Reachability and observability reduction for linear switched systems with constrained switching ⋮ Hierarchical analysis of large-scale control systems via vector simulation function ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems