Towards an Approximate Conformance Relation for Hybrid I/O Automata

Morteza Mohaqeqi
( Department of Information Technology Uppsala University, Sweden)
Mohammad Reza Mousavi
(Centre for Research on Embedded Systems, School of IT, Halmstad University, Sweden)

Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of both observable discrete actions and (sampled) continuous trajectories. As such, this notion will consolidate two earlier notions, namely the notion of Hybrid Input-Output Conformance (HIOCO) by M. van Osch and the notion of Hybrid Conformance by H. Abbas and G.E. Fainekos. We prove that our proposed notion of conformance satisfies a semi-transitivity property, which makes it suitable for a step-wise proof of conformance or refinement.

In Mehdi Kargahi and Ashutosh Trivedi: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16), Reykjavík, Iceland, June 4-5, 2016, Electronic Proceedings in Theoretical Computer Science 232, pp. 53–64.
Published: 13th December 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.232.8 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org