Constructing Control System Abstractions from Modular Components

DOI10.1145/3178126.3178144;zbMath1417.93056MaRDI QIDQ4561445

Arcak, Murat, Eric S. Kim, Majid Zamani

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://dl.acm.org/ft_gateway.cfm?id=3178144&ftid=1955829&dwn=1&CFID=95316040&CFTOKEN=437faa42ae83abf9-076BE789-DFE0-47E7-8E3BB306E1FDD898

zbMATH Keywords

compositionalityinterconnected systemsfinite abstractions

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55) Stability of control systems (93D99)

Related Items (6)

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Verification of approximate opacity for switched systems: a compositional approach ⋮ Symbolic models for infinite networks of control systems: a compositional approach

This page was built for publication: Constructing Control System Abstractions from Modular Components