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

DOI10.1007/978-3-642-00602-9_25MaRDI QIDQ3624585zbMATH OpenOpenAlexFDO

Authors 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) Design techniques (robust design, computer-aided design, etc.) (93B51) Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55)

Recommendations

• Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Dynamic Quantization of Nonlinear Control Systems
• Design of quantizer for a class of nonlinear systems
• Quantized state based simulation of time invariant and time varying continuous systems
• Computing Abstractions of Nonlinear Systems
• State estimation for linear discrete-time systems using quantized measurements
• Qualitative modelling of linear dynamical systems with quantized state measurements
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• scientific article; zbMATH DE number 1471248

Cites work

• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximation Metrics for Discrete and Continuous Systems
• Bisimilar Finite Abstractions of Interconnected Systems
• Deterministic discrete-event representations of linear continuous-variable systems
• Discrete approximation and supervisory control of continuous systems
• Hierarchical hybrid control systems: a lattice theoretic formulation
• scientific article; zbMATH DE number 1301620 (Why is no real title available?)
• scientific article; zbMATH DE number 1303062 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization

Cited in

(5)

• 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
• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Approximate bisimulation: a bridge between computer science and control theory

Describes a project that uses

Uses Software

• LTLCon

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

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