Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
From MaRDI portal
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
(17)- Symbolic models for infinite networks of control systems: a compositional approach
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Compositional construction of abstractions for infinite networks of discrete-time switched systems
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- 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
- Assume-guarantee contracts for continuous-time systems
- A Compositional Framework for Passive Linear Networks
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems
- Symbolic Abstractions of Networked Control Systems
- Compositional abstraction for networks of control systems: A dissipativity approach
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Certified model order reduction from data
- Hierarchical controller synthesis using (, )-similarity
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)
