Abstraction-based parameter synthesis for multiaffine systems

Sergiy Bogomolov; Christian Schilling; Ezio Bartocci; Gregory Batt; Hui Kong; Radu Grosu

doi:10.1007/978-3-319-26287-1_2

Abstraction-based parameter synthesis for multiaffine systems

Sergiy Bogomolov^*, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong, Radu Grosu

^*Corresponding author for this work

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

21 Citations (Scopus)

Abstract

Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex dynamical systems. This formalism is particularly suited for the representation of biological systems which often exhibit highly non-linear behavior. In this paper, we consider the problem of parameter identification for MHA. We present an abstraction of MHA based on linear hybrid automata, which can be analyzed by the SpaceEx model checker. This abstraction enables a precise handling of time-dependent properties. We demonstrate the potential of our approach on a model of a genetic regulatory network and a myocyte model.

Original language	English
Title of host publication	Hardware and Software
Subtitle of host publication	Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings
Editors	Nir Piterman
Publisher	Springer Verlag
Pages	19-35
Number of pages	17
ISBN (Print)	9783319262864
DOIs	https://doi.org/10.1007/978-3-319-26287-1_2
Publication status	Published - 2015
Externally published	Yes
Event	11th International Haifa Verification Conference, HVC 2015 - Haifa, Israel Duration: 17 Nov 2015 → 19 Nov 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9434
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Haifa Verification Conference, HVC 2015
Country/Territory	Israel
City	Haifa
Period	17/11/15 → 19/11/15

Access to Document

10.1007/978-3-319-26287-1_2

Cite this

Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings (pp. 19-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9434). Springer Verlag. https://doi.org/10.1007/978-3-319-26287-1_2

Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio et al. / Abstraction-based parameter synthesis for multiaffine systems. Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings. editor / Nir Piterman. Springer Verlag, 2015. pp. 19-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b80c4dbc90bb4587bef5b2bcb6bc5a91,

title = "Abstraction-based parameter synthesis for multiaffine systems",

abstract = "Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex dynamical systems. This formalism is particularly suited for the representation of biological systems which often exhibit highly non-linear behavior. In this paper, we consider the problem of parameter identification for MHA. We present an abstraction of MHA based on linear hybrid automata, which can be analyzed by the SpaceEx model checker. This abstraction enables a precise handling of time-dependent properties. We demonstrate the potential of our approach on a model of a genetic regulatory network and a myocyte model.",

author = "Sergiy Bogomolov and Christian Schilling and Ezio Bartocci and Gregory Batt and Hui Kong and Radu Grosu",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 11th International Haifa Verification Conference, HVC 2015 ; Conference date: 17-11-2015 Through 19-11-2015",

year = "2015",

doi = "10.1007/978-3-319-26287-1_2",

language = "English",

isbn = "9783319262864",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "19--35",

editor = "Nir Piterman",

booktitle = "Hardware and Software",

address = "Germany",

}

Bogomolov, S, Schilling, C, Bartocci, E, Batt, G, Kong, H & Grosu, R 2015, Abstraction-based parameter synthesis for multiaffine systems. in N Piterman (ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9434, Springer Verlag, pp. 19-35, 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, 17/11/15. https://doi.org/10.1007/978-3-319-26287-1_2

Abstraction-based parameter synthesis for multiaffine systems. / Bogomolov, Sergiy; Schilling, Christian; Bartocci, Ezio et al.
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings. ed. / Nir Piterman. Springer Verlag, 2015. p. 19-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9434).

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

TY - GEN

T1 - Abstraction-based parameter synthesis for multiaffine systems

AU - Bogomolov, Sergiy

AU - Schilling, Christian

AU - Bartocci, Ezio

AU - Batt, Gregory

AU - Kong, Hui

AU - Grosu, Radu

PY - 2015

Y1 - 2015

N2 - Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex dynamical systems. This formalism is particularly suited for the representation of biological systems which often exhibit highly non-linear behavior. In this paper, we consider the problem of parameter identification for MHA. We present an abstraction of MHA based on linear hybrid automata, which can be analyzed by the SpaceEx model checker. This abstraction enables a precise handling of time-dependent properties. We demonstrate the potential of our approach on a model of a genetic regulatory network and a myocyte model.

AB - Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex dynamical systems. This formalism is particularly suited for the representation of biological systems which often exhibit highly non-linear behavior. In this paper, we consider the problem of parameter identification for MHA. We present an abstraction of MHA based on linear hybrid automata, which can be analyzed by the SpaceEx model checker. This abstraction enables a precise handling of time-dependent properties. We demonstrate the potential of our approach on a model of a genetic regulatory network and a myocyte model.

UR - http://www.scopus.com/inward/record.url?scp=84950242755&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-26287-1_2

DO - 10.1007/978-3-319-26287-1_2

M3 - Conference contribution

SN - 9783319262864

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 19

EP - 35

BT - Hardware and Software

A2 - Piterman, Nir

PB - Springer Verlag

T2 - 11th International Haifa Verification Conference, HVC 2015

Y2 - 17 November 2015 through 19 November 2015

ER -

Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In Piterman N, editor, Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings. Springer Verlag. 2015. p. 19-35. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-26287-1_2

Abstraction-based parameter synthesis for multiaffine systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this