---
res:
  bibo_abstract:
  - Many biological systems can be modeled as multiaffine hybrid systems. Due to the
    nonlinearity of multiaffine systems, it is difficult to verify their properties
    of interest directly. A common strategy to tackle this problem is to construct
    and analyze a discrete overapproximation of the original system. However, the
    conservativeness of a discrete abstraction significantly determines the level
    of confidence we can have in the properties of the original system. In this paper,
    in order to reduce the conservativeness of a discrete abstraction, we propose
    a new method based on a sufficient and necessary decision condition for computing
    discrete transitions between states in the abstract system. We assume the state
    space partition of a multiaffine system to be based on a set of multivariate polynomials.
    Hence, a rectangular partition defined in terms of polynomials of the form (xi
    − c) is just a simple case of multivariate polynomial partition, and the new decision
    condition applies naturally. We analyze and demonstrate the improvement of our
    method over the existing methods using some examples.@eng
  bibo_authorlist:
  - 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: Ezio
      foaf_name: Bartocci, Ezio
      foaf_surname: Bartocci
  - 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: Radu
      foaf_name: Grosu, Radu
      foaf_surname: Grosu
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Yu
      foaf_name: Jiang, Yu
      foaf_surname: Jiang
  - 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
  bibo_doi: 10.1007/978-3-319-47151-8_9
  bibo_volume: 9957
  dct_date: 2016^xs_gYear
  dct_identifier:
  - UT:000389928100009
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Discrete abstraction of multiaffine systems@
...