Formal Analysis of Discrete-Time Piecewise Affine Systems

DOI10.1109/TAC.2010.2072530MaRDI QIDQ5347552zbMATH OpenOpenAlexFDO

Authors Boyan Yordanov, Calin Belta

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Control/observation systems with incomplete information (93C41) Discrete-time control/observation systems (93C55)

Cited in

(9)

• Formal analysis of piecewise affine systems through formula-guided refinement
• Formal methods for discrete-time dynamical systems
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• Hierarchical analysis of large-scale control systems via vector simulation function
• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
• On the complexity of bounded time and precision reachability for piecewise affine systems
• Reachability and observability reduction for linear switched systems with constrained switching
• scientific article; zbMATH DE number 2085325 (Why is no real title available?)
• On tolerance of discrete systems with respect to transition perturbations

This page was built for publication: Formal Analysis of Discrete-Time Piecewise Affine Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347552)