---
_id: '8750'
abstract:
- lang: eng
  text: "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."
article_number: '9314994'
article_processing_charge: No
arxiv: 1
author:
- first_name: Marcelo
  full_name: Forets, Marcelo
  last_name: Forets
- first_name: Daniel
  full_name: Freire, Daniel
  last_name: Freire
- first_name: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
citation:
  ama: 'Forets M, Freire D, Schilling C. Efficient reachability analysis of parametric
    linear hybrid systems with  time-triggered transitions. In: <i>18th ACM-IEEE International
    Conference on Formal Methods and Models for System Design</i>. IEEE; 2020. doi:<a
    href="https://doi.org/10.1109/MEMOCODE51338.2020.9314994">10.1109/MEMOCODE51338.2020.9314994</a>'
  apa: 'Forets, M., Freire, D., &#38; Schilling, C. (2020). Efficient reachability
    analysis of parametric linear hybrid systems with  time-triggered transitions.
    In <i>18th ACM-IEEE International Conference on Formal Methods and Models for
    System Design</i>. Virtual Conference: IEEE. <a href="https://doi.org/10.1109/MEMOCODE51338.2020.9314994">https://doi.org/10.1109/MEMOCODE51338.2020.9314994</a>'
  chicago: Forets, Marcelo, Daniel Freire, and Christian Schilling. “Efficient Reachability
    Analysis of Parametric Linear Hybrid Systems with  Time-Triggered Transitions.”
    In <i>18th ACM-IEEE International Conference on Formal Methods and Models for
    System Design</i>. IEEE, 2020. <a href="https://doi.org/10.1109/MEMOCODE51338.2020.9314994">https://doi.org/10.1109/MEMOCODE51338.2020.9314994</a>.
  ieee: M. Forets, D. Freire, and C. Schilling, “Efficient reachability analysis of
    parametric linear hybrid systems with  time-triggered transitions,” in <i>18th
    ACM-IEEE International Conference on Formal Methods and Models for System Design</i>,
    Virtual Conference, 2020.
  ista: 'Forets M, Freire D, Schilling C. 2020. Efficient reachability analysis of
    parametric linear hybrid systems with  time-triggered transitions. 18th ACM-IEEE
    International Conference on Formal Methods and Models for System Design. MEMOCODE:
    Conference on Formal Methods and Models for System Design, 9314994.'
  mla: Forets, Marcelo, et al. “Efficient Reachability Analysis of Parametric Linear
    Hybrid Systems with  Time-Triggered Transitions.” <i>18th ACM-IEEE International
    Conference on Formal Methods and Models for System Design</i>, 9314994, IEEE,
    2020, doi:<a href="https://doi.org/10.1109/MEMOCODE51338.2020.9314994">10.1109/MEMOCODE51338.2020.9314994</a>.
  short: M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference
    on Formal Methods and Models for System Design, IEEE, 2020.
conference:
  end_date: 2020-12-04
  location: Virtual Conference
  name: 'MEMOCODE: Conference on Formal Methods and Models for System Design'
  start_date: 2020-12-02
date_created: 2020-11-10T07:04:57Z
date_published: 2020-12-04T00:00:00Z
date_updated: 2023-08-22T12:48:18Z
day: '04'
department:
- _id: ToHe
doi: 10.1109/MEMOCODE51338.2020.9314994
ec_funded: 1
external_id:
  arxiv:
  - '2006.12325'
  isi:
  - '000661920400013'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2006.12325
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: 18th ACM-IEEE International Conference on Formal Methods and Models for
  System Design
publication_identifier:
  isbn:
  - '9781728191485'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Efficient reachability analysis of parametric linear hybrid systems with  time-triggered
  transitions
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2020'
...