Compositional construction of approximate abstractions

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

zbMATH Keywords

compositionalitysimulation functionsapproximate abstractionsinterconnected control systems

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: Compositional construction of approximate abstractions