An Introduction to the Verification of Hybrid Systems Using Ariadne

Davide Bresolin; Luca Geretti; Tiziano Villa; Pieter Collins

doi:10.1007/978-3-319-10407-2_39

An Introduction to the Verification of Hybrid Systems Using Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, Pieter Collins

BioMathematics and BioInformatics

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

Original language	English
Title of host publication	Coordination Control of Distributed Systems
Editors	J. van Schuppen, T. Villa
Publisher	Springer
Pages	339-346
Number of pages	8
ISBN (Electronic)	978-3-319-10407-2
ISBN (Print)	978-3-319-10406-5
DOIs	https://doi.org/10.1007/978-3-319-10407-2_39
Publication status	Published - 2015

Publication series

Series	Lecture Notes in Control and Information Sciences
Volume	456
ISSN	0170-8643

Access to Document

10.1007/978-3-319-10407-2_39

1 Talk or presentation - at conference

Verification of Hybrid Systems with Ariadne
Pieter Collins (Speaker)
20 Nov 2020
Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

Cite this

@inbook{e5cfde7805874874bfd1e145292d3153,

title = "An Introduction to the Verification of Hybrid Systems Using Ariadne",

author = "Davide Bresolin and Luca Geretti and Tiziano Villa and Pieter Collins",

year = "2015",

doi = "10.1007/978-3-319-10407-2_39",

language = "English",

isbn = "978-3-319-10406-5",

series = "Lecture Notes in Control and Information Sciences",

publisher = "Springer",

pages = "339--346",

editor = "{van Schuppen}, J. and T. Villa",

booktitle = "Coordination Control of Distributed Systems",

address = "United States",

}

An Introduction to the Verification of Hybrid Systems Using Ariadne. / Bresolin, Davide; Geretti, Luca; Villa, Tiziano et al.

Coordination Control of Distributed Systems. ed. / J. van Schuppen; T. Villa. Springer, 2015. p. 339-346 (Lecture Notes in Control and Information Sciences, Vol. 456).

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

TY - CHAP

T1 - An Introduction to the Verification of Hybrid Systems Using Ariadne

AU - Bresolin, Davide

AU - Geretti, Luca

AU - Villa, Tiziano

AU - Collins, Pieter

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-10407-2_39

DO - 10.1007/978-3-319-10407-2_39

M3 - Chapter

SN - 978-3-319-10406-5

T3 - Lecture Notes in Control and Information Sciences

SP - 339

EP - 346

BT - Coordination Control of Distributed Systems

A2 - van Schuppen, J.

A2 - Villa, T.

PB - Springer

ER -

An Introduction to the Verification of Hybrid Systems Using Ariadne

Publication series

Access to Document

Activities

Verification of Hybrid Systems with Ariadne

Cite this