Heterogeneous verification of cyber-physical systems using behavior relations

DOI10.1145/2185632.2185641zbMath1362.68181OpenAlexW2075810892MaRDI QIDQ2986750

Akshay Rajhans, Bruce H. Krogh

Publication date: 16 May 2017

Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2185632.2185641

zbMATH Keywords

cyber-physical systemssemantic consistencybehavior relationsheterogeneous verificationmulti-model verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

IPL: an integration property language for multi-model cyber-physical systems

This page was built for publication: Heterogeneous verification of cyber-physical systems using behavior relations