Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
DOI10.1109/TAC.2011.2161789zbMATH Open1369.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
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)
- Automatic abstraction of non-linear systems using change of bases transformations
- Title not available (Why is that?)
- On distributed symbolic control of interconnected systems under persistency specifications
- Model predictive control of directed-graph constrained systems
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Modeling perspectives of hybrid systems and network systems
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Compositional abstraction refinement for control synthesis
- Analysis of error propagation in the ABS class for linear systems
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)
