Towards an Approximate Conformance Relation for Hybrid I/O Automata

Morteza Mohaqeqi, Mohammad Reza 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 ide…