-
arXiv:1612.04975 [pdf, ps, other]
Towards an Approximate Conformance Relation for Hybrid I/O Automata
Abstract: 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… ▽ More
Submitted 15 December, 2016; originally announced December 2016.
Comments: In Proceedings V2CPS-16, arXiv:1612.04023
Journal ref: EPTCS 232, 2016, pp. 53-64