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

DOI10.1007/978-3-642-00602-9_25zbMath1237.93063OpenAlexW1498421030MaRDI 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

Formal languages and automata (68Q45) Nonlinear systems in control theory (93C10) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete-time control/observation systems (93C55)

Related Items (4)

Towards scalable synthesis of stochastic control systems ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ 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

This page was built for publication: Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer