Compositional construction of approximate abstractions
From MaRDI portal
Publication:2988917
DOI10.1145/2728606.2728615zbMath1364.93286OpenAlexW2153821488MaRDI QIDQ2988917
Majid Zamani, Matthias Rungger
Publication date: 19 May 2017
Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2728606.2728615
Design techniques (robust design, computer-aided design, etc.) (93B51) Linear systems in control theory (93C05) Synthesis problems (93B50)
Related Items (9)
Compositional construction of abstractions for infinite networks of discrete-time switched systems ⋮ Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability ⋮ Hierarchical analysis of large-scale control systems via vector simulation function ⋮ Abstraction-based control synthesis using partial information ⋮ Symbolic control design for monotone systems with directed specifications ⋮ Passivity-based analysis of sampled and quantized control implementations ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems
Cites Work
This page was built for publication: Compositional construction of approximate abstractions