1612.04975v1.pdf (129.15 kB)
Download file

Towards an approximate conformance relation for hybrid I/O automata

Download (129.15 kB)
conference contribution
posted on 25.10.2017, 15:15 by Morteza Mohaqeqi, Mohammad Reza Mousavi
© 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.

History

Citation

Electronic Proceedings in Theoretical Computer Science, EPTCS 232, 2016, pp. 53-64

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

V2CPS-16, Verification and Validation of Cyber-Physical Systems, Reykjavík, Iceland, June 4-5, 2016

Version

AM (Accepted Manuscript)

Published in

Electronic Proceedings in Theoretical Computer Science

Publisher

Open Publishing Association

issn

2075-2180

Copyright date

2016

Available date

25/10/2017

Publisher version

http://eptcs.web.cse.unsw.edu.au/content.cgi?V2CPS16

Temporal coverage: start date

04/06/2016

Temporal coverage: end date

05/06/2016

Language

en

Usage metrics

Categories

Keywords

Licence

Exports