Towards an Approximate Conformance Relation for Hybrid I/O Automata

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) co...

Full description

Bibliographic Details
Main Authors: Morteza Mohaqeqi, Mohammad Reza Mousavi
Format: Article
Language:English
Published: Open Publishing Association 2016-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1612.04975v1