Comparing Two Approaches to Include Stochasticity in Hybrid Automata

Lisa Willemsen, Anne Remke, Erika Ábrahám

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

Different stochastic extensions of hybrid automata have been proposed in the past, with unclear expressivity relations between them. To structure and relate these modeling languages, in this paper we formalize two alternative approaches to extend hybrid automata with stochastic choices of discrete events and their time points. The first approach, which we call decomposed scheduling, adds stochasticity via stochastic races, choosing random time points for the possible discrete events and executing a winner with an earliest time. In contrast, composed scheduling first samples the time point of the next event and then the event to be executed at the sampled time point. We relate the two approaches regarding their expressivity and categorize available stochastic extensions of hybrid automata from the literature.

Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems
Subtitle of host publication20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings
EditorsNils Jansen, Mirco Tribastone
Place of PublicationCham, Switzerland
PublisherSpringer Nature
Pages238-254
Number of pages17
ISBN (Electronic)978-3-031-43835-6
ISBN (Print)978-3-031-43834-9
DOIs
Publication statusPublished - Sept 2023
Event20th International Conference on Quantitative Evaluation of Systems, QEST 2023 - Antwerp, Belgium
Duration: 20 Sept 202322 Sept 2023
Conference number: 20

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume14287
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Conference on Quantitative Evaluation of Systems, QEST 2023
Abbreviated titleQEST 2023
Country/TerritoryBelgium
CityAntwerp
Period20/09/2322/09/23

Keywords

  • 2023 OA procedure

Fingerprint

Dive into the research topics of 'Comparing Two Approaches to Include Stochasticity in Hybrid Automata'. Together they form a unique fingerprint.

Cite this