---
res:
  bibo_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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Sergiy
      foaf_name: Bogomolov, Sergiy
      foaf_surname: Bogomolov
      foaf_workInfoHomepage: http://www.librecat.org/personId=369D9A44-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-0686-0365
  - foaf_Person:
      foaf_givenName: Christian
      foaf_name: Schilling, Christian
      foaf_surname: Schilling
      foaf_workInfoHomepage: http://www.librecat.org/personId=3A2F4DCE-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0003-3658-1065
  - foaf_Person:
      foaf_givenName: Ezio
      foaf_name: Bartocci, Ezio
      foaf_surname: Bartocci
  - foaf_Person:
      foaf_givenName: Grégory
      foaf_name: Batt, Grégory
      foaf_surname: Batt
  - foaf_Person:
      foaf_givenName: Hui
      foaf_name: Kong, Hui
      foaf_surname: Kong
      foaf_workInfoHomepage: http://www.librecat.org/personId=3BDE25AA-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-3066-6941
  - foaf_Person:
      foaf_givenName: Radu
      foaf_name: Grosu, Radu
      foaf_surname: Grosu
  bibo_doi: 10.1007/978-3-319-26287-1_2
  bibo_volume: 9434
  dct_date: 2015^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Abstraction-based parameter synthesis for multiaffine systems@
...