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...
| Main Authors: | , |
|---|---|
| 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 |
| _version_ | 1811317175457153024 |
|---|---|
| author | Morteza Mohaqeqi Mohammad Reza Mousavi |
| author_facet | Morteza Mohaqeqi Mohammad Reza Mousavi |
| author_sort | Morteza Mohaqeqi |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-13T12:02:19Z |
| format | Article |
| id | doaj.art-05fda192db724ea7a73f30456f05ffae |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-13T12:02:19Z |
| publishDate | 2016-12-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-05fda192db724ea7a73f30456f05ffae2022-12-22T02:47:44ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-12-01232Proc. V2CPS-16536410.4204/EPTCS.232.8:3Towards an Approximate Conformance Relation for Hybrid I/O AutomataMorteza Mohaqeqi0Mohammad Reza Mousavi1 Department of Information Technology Uppsala University, Sweden Centre for Research on Embedded Systems, School of IT, Halmstad University, Sweden 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.http://arxiv.org/pdf/1612.04975v1 |
| spellingShingle | Morteza Mohaqeqi Mohammad Reza Mousavi Towards an Approximate Conformance Relation for Hybrid I/O Automata Electronic Proceedings in Theoretical Computer Science |
| title | Towards an Approximate Conformance Relation for Hybrid I/O Automata |
| title_full | Towards an Approximate Conformance Relation for Hybrid I/O Automata |
| title_fullStr | Towards an Approximate Conformance Relation for Hybrid I/O Automata |
| title_full_unstemmed | Towards an Approximate Conformance Relation for Hybrid I/O Automata |
| title_short | Towards an Approximate Conformance Relation for Hybrid I/O Automata |
| title_sort | towards an approximate conformance relation for hybrid i o automata |
| url | http://arxiv.org/pdf/1612.04975v1 |
| work_keys_str_mv | AT mortezamohaqeqi towardsanapproximateconformancerelationforhybridioautomata AT mohammadrezamousavi towardsanapproximateconformancerelationforhybridioautomata |