---
res:
  bibo_abstract:
  - "Efficiently handling time-triggered and possibly nondeterministic switches\r\nfor
    hybrid systems reachability is a challenging task. In this paper we present\r\nan
    approach based on conservative set-based enclosure of the dynamics that can\r\nhandle
    systems with uncertain parameters and inputs, where the uncertainties\r\nare bound
    to given intervals. The method is evaluated on the plant model of an\r\nexperimental
    electro-mechanical braking system with periodic controller. In\r\nthis model,
    the fast-switching controller dynamics requires simulation time\r\nscales of the
    order of nanoseconds. Accurate set-based computations for\r\nrelatively large
    time horizons are known to be expensive. However, by\r\nappropriately decoupling
    the time variable with respect to the spatial\r\nvariables, and enclosing the
    uncertain parameters using interval matrix maps\r\nacting on zonotopes, we show
    that the computation time can be lowered to 5000\r\ntimes faster with respect
    to previous works. This is a step forward in formal\r\nverification of hybrid
    systems because reduced run-times allow engineers to\r\nintroduce more expressiveness
    in their models with a relatively inexpensive\r\ncomputational cost.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Marcelo
      foaf_name: Forets, Marcelo
      foaf_surname: Forets
  - foaf_Person:
      foaf_givenName: Daniel
      foaf_name: Freire, Daniel
      foaf_surname: Freire
  - 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.1109/MEMOCODE51338.2020.9314994
  dct_date: 2020^xs_gYear
  dct_identifier:
  - UT:000661920400013
  dct_isPartOf:
  - http://id.crossref.org/issn/9781728191485
  dct_language: eng
  dct_publisher: IEEE@
  dct_title: Efficient reachability analysis of parametric linear hybrid systems with  time-triggered
    transitions@
...