Abstraction-Based Parameter Synthesis for Multiaffine Systems

Sergiy Bogomolov; Christian Schilling; Ezio Bartocci; Grégory 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, Grégory Batt, Hui Kong, Radu Grosu

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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	HVC
Number of pages	17
Publisher	Springer
Publication date	2015
Pages	19-35
DOIs	https://doi.org/10.1007/978-3-319-26287-1_2
Publication status	Published - 2015
Externally published	Yes
Event	International Haifa Verification Conference, HVC 2015 - Haifa, Israel Duration: 17 Nov 2015 → 19 Nov 2015 Conference number: 11th

Conference

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

Series	Lecture Notes in Computer Science
Volume	9434
ISSN	0302-9743

Access to Document

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

https://hal.inria.fr/hal-01242371/

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{db1582c0f7324267b5370e93aacd53ad,

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 Gr{\'e}gory Batt and Hui Kong and Radu Grosu",

year = "2015",

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

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "19--35",

booktitle = "HVC",

address = "Germany",

note = "International Haifa Verification Conference, HVC 2015 ; Conference date: 17-11-2015 Through 19-11-2015",

}

TY - GEN

T1 - Abstraction-Based Parameter Synthesis for Multiaffine Systems

AU - Bogomolov, Sergiy

AU - Schilling, Christian

AU - Bartocci, Ezio

AU - Batt, Grégory

AU - Kong, Hui

AU - Grosu, Radu

N1 - Conference code: 11th

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.

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

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

M3 - Article in proceeding

T3 - Lecture Notes in Computer Science

SP - 19

EP - 35

BT - HVC

PB - Springer

T2 - International Haifa Verification Conference, HVC 2015

Y2 - 17 November 2015 through 19 November 2015

ER -

Abstraction-Based Parameter Synthesis for Multiaffine Systems

Abstract

Conference

Access to Document

AUB Link

Fingerprint

Cite this