Low-complexity quantized switching controllers using approximate bisimulation
From MaRDI portal
Publication:2252962
DOI10.1016/j.nahs.2013.02.001zbMath1291.93156arXiv1209.4576OpenAlexW2963000051MaRDI QIDQ2252962
Publication date: 24 July 2014
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.4576
Synthesis problems (93B50) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Finite abstraction of mixed monotone systems with discrete and continuous inputs, Passivity-based analysis of sampled and quantized control implementations, Approximate abstractions of control systems with an application to aggregation, Symbolic control design of nonlinear systems with outputs, Lazy controller synthesis for monotone transition systems and directed safety specifications
Uses Software
Cites Work
- Controller synthesis for safety and reachability via approximate bisimulation
- Supervisory control of hybrid systems within a behavioural framework
- Viability Kernels and Capture Basins of Sets Under Differential Inclusions
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Verification and Control of Hybrid Systems
- Discrete approximation and supervisory control of continuous systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Approximation Metrics for Discrete and Continuous Systems
- Hybrid Systems: Computation and Control