Supporting Heterogeneity in Cyber-Physical Systems Architectures

DOI10.1109/TAC.2014.2351672MaRDI QIDQ2982920zbMATH OpenOpenAlexFDO

Authors Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, David Garlan, André Platzer, 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

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

Cited in

(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

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