Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach

DOI10.1109/TCNS.2017.2670330MaRDI QIDQ4630123zbMATH OpenFDO

Authors Majid Zamani, Murat Arcak

Publication date 29 March 2019

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

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

Mathematics Subject Classification ID

Systems theory; control (93-XX) Operations research, mathematical programming (90-XX)

Recommendations

• Compositional Construction of Approximate Abstractions of Interconnected Control Systems
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
• Compositional abstraction-based synthesis for networks of stochastic switched systems
• Networks of dissipative systems. Compositional certification of stability, performance, and safety
• Compositional construction of abstractions for infinite networks of discrete-time switched systems
• Compositional abstractions of hybrid control systems
• Symbolic Abstractions of Networked Control Systems
• Compositional Modeling and Analysis of Multi-Hop Control Networks
• From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Cited in

(16)

• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Compositional construction of abstractions for infinite networks of discrete-time switched systems
• Compositional Construction of Approximate Abstractions of Interconnected Control Systems
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Assume-guarantee contracts for continuous-time systems
• Compositional abstraction for networks of control systems: A dissipativity approach
• Compositional construction of infinite abstractions for networks of stochastic control systems
• A Compositional Framework for Passive Linear Networks
• Symbolic models for infinite networks of control systems: a compositional approach
• Certified model order reduction from data
• Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
• Approximate abstractions of control systems with an application to aggregation
• Data-driven verification and synthesis of stochastic systems via barrier certificates
• Symbolic Abstractions of Networked Control Systems
• Passivity-based analysis of sampled and quantized control implementations

This page was built for publication: Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach

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