Comparing Two Approaches to Include Stochasticity in Hybrid Automata

Lisa Willemsen; Anne Remke; Erika Ábrahám

doi:10.1007/978-3-031-43835-6_17

Comparing Two Approaches to Include Stochasticity in Hybrid Automata

Lisa Willemsen, Anne Remke, Erika Ábrahám

Mathematics of Operations Research

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

22 Downloads (Pure)

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 language	English
Title of host publication	Quantitative Evaluation of Systems
Subtitle of host publication	20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings
Editors	Nils Jansen, Mirco Tribastone
Place of Publication	Cham, Switzerland
Publisher	Springer Nature
Pages	238-254
Number of pages	17
ISBN (Electronic)	978-3-031-43835-6
ISBN (Print)	978-3-031-43834-9
DOIs	https://doi.org/10.1007/978-3-031-43835-6_17
Publication status	Published - Sept 2023
Event	20th International Conference on Quantitative Evaluation of Systems, QEST 2023 - Antwerp, Belgium Duration: 20 Sept 2023 → 22 Sept 2023 Conference number: 20

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	14287
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	20th International Conference on Quantitative Evaluation of Systems, QEST 2023
Abbreviated title	QEST 2023
Country/Territory	Belgium
City	Antwerp
Period	20/09/23 → 22/09/23

Keywords

2023 OA procedure

Access to Document

10.1007/978-3-031-43835-6_17

978-3-031-43835-6_17Final published version, 444 KBLicence: Taverne

https://link.springer.com/10.1007/978-3-031-43835-6_17

Cite this

Willemsen, L., Remke, A., & Ábrahám, E. (2023). Comparing Two Approaches to Include Stochasticity in Hybrid Automata. In N. Jansen, & M. Tribastone (Eds.), Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings (pp. 238-254). Article Chapter 17 (Lecture Notes in Computer Science; Vol. 14287). Springer Nature. https://doi.org/10.1007/978-3-031-43835-6_17

Willemsen, Lisa ; Remke, Anne ; Ábrahám, Erika. / Comparing Two Approaches to Include Stochasticity in Hybrid Automata. Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. editor / Nils Jansen ; Mirco Tribastone. Cham, Switzerland : Springer Nature, 2023. pp. 238-254 (Lecture Notes in Computer Science).

@inbook{71a425897d874be29caa5652463447e7,

title = "Comparing Two Approaches to Include Stochasticity in Hybrid Automata",

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.",

keywords = "2023 OA procedure",

author = "Lisa Willemsen and Anne Remke and Erika {\'A}brah{\'a}m",

note = "Funding Information: We thank the ARCH competition 2023 for fruitful discussions on expressing example models from the ARCH report [1] in the formalism of Lygeros et al. [15]. Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, QEST 2023 ; Conference date: 20-09-2023 Through 22-09-2023",

year = "2023",

month = sep,

doi = "10.1007/978-3-031-43835-6_17",

language = "English",

isbn = "978-3-031-43834-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "238--254",

editor = "Nils Jansen and Mirco Tribastone",

booktitle = "Quantitative Evaluation of Systems",

address = "Switzerland",

}

Willemsen, L , Remke, A & Ábrahám, E 2023, Comparing Two Approaches to Include Stochasticity in Hybrid Automata. in N Jansen & M Tribastone (eds), Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings., Chapter 17, Lecture Notes in Computer Science, vol. 14287, Springer Nature, Cham, Switzerland, pp. 238-254, 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, Antwerp, Belgium, 20/09/23. https://doi.org/10.1007/978-3-031-43835-6_17

Comparing Two Approaches to Include Stochasticity in Hybrid Automata. / Willemsen, Lisa ; Remke, Anne; Ábrahám, Erika.
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. ed. / Nils Jansen; Mirco Tribastone. Cham, Switzerland: Springer Nature, 2023. p. 238-254 Chapter 17 (Lecture Notes in Computer Science; Vol. 14287).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Comparing Two Approaches to Include Stochasticity in Hybrid Automata

AU - Willemsen, Lisa

AU - Remke, Anne

AU - Ábrahám, Erika

N1 - Conference code: 20

PY - 2023/9

Y1 - 2023/9

N2 - 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.

AB - 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.

KW - 2023 OA procedure

U2 - 10.1007/978-3-031-43835-6_17

DO - 10.1007/978-3-031-43835-6_17

M3 - Chapter

SN - 978-3-031-43834-9

T3 - Lecture Notes in Computer Science

SP - 238

EP - 254

BT - Quantitative Evaluation of Systems

A2 - Jansen, Nils

A2 - Tribastone, Mirco

PB - Springer Nature

CY - Cham, Switzerland

T2 - 20th International Conference on Quantitative Evaluation of Systems, QEST 2023

Y2 - 20 September 2023 through 22 September 2023

ER -

Willemsen L , Remke A, Ábrahám E. Comparing Two Approaches to Include Stochasticity in Hybrid Automata. In Jansen N, Tribastone M, editors, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. Cham, Switzerland: Springer Nature. 2023. p. 238-254. Chapter 17. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-43835-6_17