Compositional Construction of Approximate Abstractions of Interconnected Control Systems

DOI10.1109/TCNS.2016.2583063MaRDI QIDQ4560092zbMATH OpenFDO

Authors Matthias Rungger, Majid Zamani

Publication date 4 December 2018

Published in IEEE Transactions on Control of Network Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.05014

Mathematics Subject Classification ID

Networked control (93B70) Linear systems in control theory (93C05) Nonlinear systems in control theory (93C10)

Recommendations

• Compositional abstractions of hybrid control systems
• Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Approximate abstractions of control systems with an application to aggregation
• Compositional abstraction refinement for control synthesis
• A compositional framework for controller synthesis
• Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
• Multi-layered abstraction-based controller synthesis for continuous-time systems
• Compositional construction of abstractions for infinite networks of discrete-time switched systems
• Compositional construction of most general controllers

Cited in

(12)

• Decentralized abstractions for multi-agent systems under coupled constraints
• Compositional construction of abstractions for infinite networks of discrete-time switched systems
• Approximate abstractions of control systems with an application to aggregation
• Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
• Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
• Abstraction-based control synthesis using partial information
• Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
• CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT
• Incremental finite-step input-to-state stability for network of discrete-time switched systems
• Hierarchical controller synthesis using (, )-similarity
• Contract-based multi-agent logical controller synthesis under uncertainty
• Compositional performance certification of interconnected systems using ADMM

This page was built for publication: Compositional Construction of Approximate Abstractions of Interconnected Control Systems

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