Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach

DOI10.1109/TCNS.2017.2670330MaRDI QIDQ4630123

Majid Zamani, Arcak, Murat

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)

Related Items (10)

Compositional construction of abstractions for infinite networks of discrete-time switched systems ⋮ Assume-guarantee contracts for continuous-time 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 ⋮ 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

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