Supporting Heterogeneity in Cyber-Physical Systems Architectures

DOI10.1109/TAC.2014.2351672zbMath1360.93475OpenAlexW2029288475MaRDI QIDQ2982920

André Platzer, Ivan Ruchkin, Ajinkya Bhave, David Garlan, Akshay Rajhans, Bradley Schmerl, Bruce H. Krogh

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2014.2351672

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

IPL: an integration property language for multi-model cyber-physical systems ⋮ Co-design of safe and efficient networked control systems in factory automation with state-dependent wireless fading channels

This page was built for publication: Supporting Heterogeneity in Cyber-Physical Systems Architectures