Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

DOI10.1007/978-3-642-00602-9_25zbMath1237.93063MaRDI QIDQ3624585

Yuichi Tazaki, Jun-Ichi Imura

Publication date: 30 April 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_25

Mathematics Subject Classification ID

68Q45: Formal languages and automata

93C10: Nonlinear systems in control theory

93B51: Design techniques (robust design, computer-aided design, etc.)

93C55: Discrete-time control/observation systems

Related Items

Approximate bisimulation: a bridge between computer science and control theory, Towards scalable synthesis of stochastic control systems, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

Uses Software

• LTLCon

Cites Work

• Unnamed Item
• Unnamed Item
• Deterministic discrete-event representations of linear continuous-variable systems
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• Bisimilar Finite Abstractions of Interconnected Systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Hierarchical hybrid control systems: a lattice theoretic formulation
• Discrete approximation and supervisory control of continuous systems
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Approximation Metrics for Discrete and Continuous Systems
• Hybrid Systems: Computation and Control