Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis

DOI10.1109/TAC.2011.2161789zbMATH1369.93121OpenAlexW2041960188MaRDI QIDQ5352730FDOQ5352730

Authors Yuichi Tazaki, Jun-Ichi Imura

Publication date 8 September 2017

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

Full work available at URL https://doi.org/10.1109/tac.2011.2161789

Mathematics Subject Classification ID

System structure simplification (93B11) Discrete-time control/observation systems (93C55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(9)

• Analysis of error propagation in the ABS class for linear systems
• Compositional abstraction refinement for control synthesis
• On distributed symbolic control of interconnected systems under persistency specifications
• Modeling perspectives of hybrid systems and network systems
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Model predictive control of directed-graph constrained systems
• scientific article; zbMATH DE number 1903367 (Why is no real title available?)
• Automatic abstraction of non-linear systems using change of bases transformations
• Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

This page was built for publication: Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis

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