hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards an Approximate Conformance Relation for Hybrid I/O Automata
Uppsala University, Uppsala, Sweden.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2016 (English)In: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems / [ed] Mehdi Kargahi & Ashutosh Trivedi, Sydney: Open Publishing Association , 2016, Vol. 232, 53-64 p.Conference paper, (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Sydney: Open Publishing Association , 2016. Vol. 232, 53-64 p.
Series
Electronic Proceedings in Theoretical Computer Science (EPTCS), ISSN 2075-2180 ; 232
Keyword [en]
Hybrid Systems, Conformance Testing, Input Output Conformance, Hybrid Automata
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-32161DOI: 10.4204/EPTCS.232.8OAI: oai:DiVA.org:hh-32161DiVA: diva2:1033622
Conference
The 1st International Workshop on Verification and Validation of Cyber-Physical Systems V2CPS, Reykjavik, Iceland, 4-5 June, 2016
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Available from: 2016-10-07 Created: 2016-10-07 Last updated: 2017-01-10Bibliographically approved

Open Access in DiVA

fulltext(586 kB)18 downloads
File information
File name FULLTEXT01.pdfFile size 586 kBChecksum SHA-512
5d449458286027a8b40e31d5d3ae262da554f9e956f0f587d5042d2ce3d4774053e96de45870e4e249494428d5b74b23bbb36cbb1fc493ec188c443858c15c6a
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 18 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 65 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf