Compositional construction of approximate abstractions

DOI10.1145/2728606.2728615MaRDI QIDQ2988917zbMATH OpenOpenAlexFDO

Authors Matthias Rungger, Majid Zamani

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

approximate abstractionscompositionalityinterconnected control systemssimulation functions

Mathematics Subject Classification ID

Synthesis problems (93B50) Design techniques (robust design, computer-aided design, etc.) (93B51) Linear systems in control theory (93C05)

Recommendations

• Bisimilar Finite Abstractions of Interconnected Systems
• Approximate abstractions of control systems with an application to aggregation
• Constructing control system abstractions from modular components
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Compositional construction of abstractions for infinite networks of discrete-time switched systems

Cites work

• Continuous system simulation
• scientific article; zbMATH DE number 1638973 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS

Cited in

(22)

• Hierarchical control system design using approximate simulation
• Symbolic control design for monotone systems with directed specifications
• Decentralized abstractions for multi-agent systems under coupled constraints
• Compositional construction of abstractions for infinite networks of discrete-time switched systems
• Passivity-based analysis of sampled and quantized control implementations
• Approximate abstractions of control systems with an application to aggregation
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Finite horizon discrete models for multi-agent control systems with coupled dynamics
• Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
• Hierarchical analysis of large-scale control systems via vector simulation function
• Abstraction and control by interconnection of linear systems: a geometric approach
• Abstraction-based control synthesis using partial information
• Qualitative approximate behavior composition
• Bisimilar Finite Abstractions of Interconnected Systems
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• scientific article; zbMATH DE number 3909717 (Why is no real title available?)
• Constructing control system abstractions from modular components
• Abstractions of varying decentralization degree for reachability of coupled multiagent systems
• Constructive Specifications for Compositional Units
• Controller synthesis against omega-regular specifications: a funnel-based control approach
• Robust output feedback hierarchical control for a class of non-linear systems
• Compositional abstractions of hybrid control systems

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

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