hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards an Approximate Conformance Relation for Hybrid I/O Automata
Uppsala University, Uppsala, Sweden.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2016 (engelsk)Inngår i: 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, s. 53-64Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Sydney: Open Publishing Association , 2016. Vol. 232, s. 53-64
Serie
Electronic Proceedings in Theoretical Computer Science (EPTCS), ISSN 2075-2180 ; 232
Emneord [en]
Hybrid Systems, Conformance Testing, Input Output Conformance, Hybrid Automata
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-32161DOI: 10.4204/EPTCS.232.8ISI: 000390332800009Scopus ID: 2-s2.0-85018650114OAI: oai:DiVA.org:hh-32161DiVA, id: diva2:1033622
Konferanse
The 1st International Workshop on Verification and Validation of Cyber-Physical Systems V2CPS, Reykjavik, Iceland, 4-5 June, 2016
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312Tilgjengelig fra: 2016-10-07 Laget: 2016-10-07 Sist oppdatert: 2020-05-07bibliografisk kontrollert

Open Access i DiVA

fulltext(586 kB)332 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 586 kBChecksum SHA-512
5d449458286027a8b40e31d5d3ae262da554f9e956f0f587d5042d2ce3d4774053e96de45870e4e249494428d5b74b23bbb36cbb1fc493ec188c443858c15c6a
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Person

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 332 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 217 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf