Towards an approximate conformance relation for hybrid I/O automata
© M. Mohaqeqi and M.R. Mousavi. 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 d...
Published in: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Main Authors: | , |
Format: | Conference Object |
Language: | English |
Published: |
Open Publishing Association
2017
|
Subjects: | |
Online Access: | http://eptcs.web.cse.unsw.edu.au/content.cgi?V2CPS16 http://hdl.handle.net/2381/40439 https://doi.org/10.4204/EPTCS.232.8 |
Summary: | © M. Mohaqeqi and M.R. Mousavi. 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. Peer-reviewed Post-print V2CPS-16, Verification and Validation of Cyber-Physical Systems, Reykjavík, Iceland, June 4-5, 2016 |
---|