Benchmarks for hybrid systems verification

Ansgar Fehnker; Franjo Ivancic

doi:10.1007/978-3-540-24743-2_22

Benchmarks for hybrid systems verification

Ansgar Fehnker, Franjo Ivancic

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

150 Citations (Scopus)

Abstract

There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtain a tractable, verifiable model. Verification of a case study yields a singular result that is hard to compare and time-consuming to reproduce.

This paper introduces three benchmarks for hybrid systems verification. These benchmarks are independent from a particular approach to verification, they have a limited domain, and have a simple basic structure. Nevertheless, these benchmarks can be scaled to arbitrary complexity, and offer the possibility to inject phenomena that are known to be problematic in hybrid verification. This paper presents result for a first set of instances, as an example of how these benchmark can be used to compare different tools and approaches.

Original language	English
Title of host publication	Hybrid Systems: Computation and Control
Subtitle of host publication	7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Editors	Rajeev Alur, George J. Pappas
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	326-341
Number of pages	16
ISBN (Print)	9783540212591, 3540212590
DOIs	https://doi.org/10.1007/978-3-540-24743-2_22
Publication status	Published - 2004
Externally published	Yes
Event	7th Workshop on Hybrid Systems: Computation and Control, HSCC 2004 - Philadelphia, United States Duration: 25 Mar 2004 → 27 Mar 2004

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2993
ISSN (Print)	0302-9743

Conference

Conference	7th Workshop on Hybrid Systems: Computation and Control, HSCC 2004
Abbreviated title	HSCC 2004
Country/Territory	United States
City	Philadelphia
Period	25/03/04 → 27/03/04

Access to Document

10.1007/978-3-540-24743-2_22

Cite this

Fehnker, A., & Ivancic, F. (2004). Benchmarks for hybrid systems verification. In R. Alur, & G. J. Pappas (Eds.), Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004, Proceedings (pp. 326-341). (Lecture Notes in Computer Science; Vol. 2993). Springer, Springer Nature. https://doi.org/10.1007/978-3-540-24743-2_22

@inproceedings{842ca550d7a04d7ba321a3d17870cba8,

title = "Benchmarks for hybrid systems verification",

abstract = "There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtain a tractable, verifiable model. Verification of a case study yields a singular result that is hard to compare and time-consuming to reproduce.This paper introduces three benchmarks for hybrid systems verification. These benchmarks are independent from a particular approach to verification, they have a limited domain, and have a simple basic structure. Nevertheless, these benchmarks can be scaled to arbitrary complexity, and offer the possibility to inject phenomena that are known to be problematic in hybrid verification. This paper presents result for a first set of instances, as an example of how these benchmark can be used to compare different tools and approaches.",

author = "Ansgar Fehnker and Franjo Ivancic",

year = "2004",

doi = "10.1007/978-3-540-24743-2_22",

language = "English",

isbn = "9783540212591",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Springer Nature",

pages = "326--341",

editor = "Rajeev Alur and Pappas, {George J.}",

booktitle = "Hybrid Systems: Computation and Control",

address = "United States",

note = "7th Workshop on Hybrid Systems: Computation and Control, HSCC 2004, HSCC 2004 ; Conference date: 25-03-2004 Through 27-03-2004",

}

Fehnker, A & Ivancic, F 2004, Benchmarks for hybrid systems verification. in R Alur & GJ Pappas (eds), Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science, vol. 2993, Springer, Springer Nature, Berlin, pp. 326-341, 7th Workshop on Hybrid Systems: Computation and Control, HSCC 2004, Philadelphia, Pennsylvania, United States, 25/03/04. https://doi.org/10.1007/978-3-540-24743-2_22

Benchmarks for hybrid systems verification. / Fehnker, Ansgar; Ivancic, Franjo.
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004, Proceedings. ed. / Rajeev Alur; George J. Pappas. Berlin: Springer, Springer Nature, 2004. p. 326-341 (Lecture Notes in Computer Science; Vol. 2993).

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

TY - GEN

T1 - Benchmarks for hybrid systems verification

AU - Fehnker, Ansgar

AU - Ivancic, Franjo

PY - 2004

Y1 - 2004

N2 - There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtain a tractable, verifiable model. Verification of a case study yields a singular result that is hard to compare and time-consuming to reproduce.This paper introduces three benchmarks for hybrid systems verification. These benchmarks are independent from a particular approach to verification, they have a limited domain, and have a simple basic structure. Nevertheless, these benchmarks can be scaled to arbitrary complexity, and offer the possibility to inject phenomena that are known to be problematic in hybrid verification. This paper presents result for a first set of instances, as an example of how these benchmark can be used to compare different tools and approaches.

AB - There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtain a tractable, verifiable model. Verification of a case study yields a singular result that is hard to compare and time-consuming to reproduce.This paper introduces three benchmarks for hybrid systems verification. These benchmarks are independent from a particular approach to verification, they have a limited domain, and have a simple basic structure. Nevertheless, these benchmarks can be scaled to arbitrary complexity, and offer the possibility to inject phenomena that are known to be problematic in hybrid verification. This paper presents result for a first set of instances, as an example of how these benchmark can be used to compare different tools and approaches.

U2 - 10.1007/978-3-540-24743-2_22

DO - 10.1007/978-3-540-24743-2_22

M3 - Conference proceeding contribution

SN - 9783540212591

SN - 3540212590

T3 - Lecture Notes in Computer Science

SP - 326

EP - 341

BT - Hybrid Systems: Computation and Control

A2 - Alur, Rajeev

A2 - Pappas, George J.

PB - Springer, Springer Nature

CY - Berlin

T2 - 7th Workshop on Hybrid Systems: Computation and Control, HSCC 2004

Y2 - 25 March 2004 through 27 March 2004

ER -

Benchmarks for hybrid systems verification

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this