---
_id: '1605'
abstract:
- lang: eng
  text: 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.
acknowledgement: This work was partly supported by the European Research Council (ERC)
  under grant 267989 (QUAREM), by the Austrian Science Fund (FWF) under grants S11402-N23,
  S11405-N23 and S11412-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), and by
  the German Research Foundation (DFG) as part of the Transregional Collaborative
  Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR
  14 AVACS, http://www.avacs.org/).
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sergiy
  full_name: Bogomolov, Sergiy
  id: 369D9A44-F248-11E8-B48F-1D18A9856A87
  last_name: Bogomolov
  orcid: 0000-0002-0686-0365
- first_name: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
- first_name: Ezio
  full_name: Bartocci, Ezio
  last_name: Bartocci
- first_name: Grégory
  full_name: Batt, Grégory
  last_name: Batt
- first_name: Hui
  full_name: Kong, Hui
  id: 3BDE25AA-F248-11E8-B48F-1D18A9856A87
  last_name: Kong
  orcid: 0000-0002-3066-6941
- first_name: Radu
  full_name: Grosu, Radu
  last_name: Grosu
citation:
  ama: 'Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based
    parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35.
    doi:<a href="https://doi.org/10.1007/978-3-319-26287-1_2">10.1007/978-3-319-26287-1_2</a>'
  apa: 'Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., &#38; Grosu,
    R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol.
    9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa,
    Israel: Springer. <a href="https://doi.org/10.1007/978-3-319-26287-1_2">https://doi.org/10.1007/978-3-319-26287-1_2</a>'
  chicago: Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui
    Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,”
    9434:19–35. Springer, 2015. <a href="https://doi.org/10.1007/978-3-319-26287-1_2">https://doi.org/10.1007/978-3-319-26287-1_2</a>.
  ieee: 'S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu,
    “Abstraction-based parameter synthesis for multiaffine systems,” presented at
    the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.'
  ista: 'Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based
    parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference,
    LNCS, vol. 9434, 19–35.'
  mla: Bogomolov, Sergiy, et al. <i>Abstraction-Based Parameter Synthesis for Multiaffine
    Systems</i>. Vol. 9434, Springer, 2015, pp. 19–35, doi:<a href="https://doi.org/10.1007/978-3-319-26287-1_2">10.1007/978-3-319-26287-1_2</a>.
  short: S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:,
    Springer, 2015, pp. 19–35.
conference:
  end_date: 2015-11-19
  location: Haifa, Israel
  name: 'HVC: Haifa Verification Conference'
  start_date: 2015-11-17
corr_author: '1'
date_created: 2018-12-11T11:52:59Z
date_published: 2015-11-28T00:00:00Z
date_updated: 2025-04-15T06:26:03Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-26287-1_2
ec_funded: 1
file:
- access_level: open_access
  checksum: 3aab260f3f34641d622030ba22645b3e
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-15T08:43:19Z
  date_updated: 2020-07-14T12:45:05Z
  file_id: '7851'
  file_name: 2015_LNCS_Bogomolov.pdf
  file_size: 1053207
  relation: main_file
file_date_updated: 2020-07-14T12:45:05Z
has_accepted_license: '1'
intvolume: '      9434'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 19 - 35
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '5561'
quality_controlled: '1'
scopus_import: 1
status: public
title: Abstraction-based parameter synthesis for multiaffine systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9434
year: '2015'
...