University of Sussex
Browse

File(s) under permanent embargo

Unbounded-time reachability analysis of hybrid systems by abstract acceleration

chapter
posted on 2023-06-09, 00:30 authored by Peter Schrammel
Linear dynamical systems are ubiquitous in hybrid systems, both as physical models or as software control modules. Therefore we need an unbounded-time reachability analysis that can cope with industrial-scale hybrid system models with hundreds of variables. Abstract acceleration is a method developed for the unbounded-time polyhedral reachability analysis of linear software loops that has made promising progress in recent years. The method relies on a relaxation of the solution of the linear recurrence equation, leading to a precise convex over-approximation of the set of reachable states. It has been shown to be competitive with alternative approaches using set-based simulation or constraint solving. This paper explains the basic concepts of the technique, surveys recent advances of the technique towards the application to hybrid discrete and continuous-time linear dynamical systems, and formulates challenges to be tackled.

History

Publication status

  • Published

File Version

  • Accepted version

Publisher

IEEE

Page range

51-54

Event name

Embedded Software, EMSOFT 2015

Book title

Proceedings of the 12th International Conference on Embedded Software

Place of publication

Piscataway, NJ

ISBN

9781467380799

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2016-05-09

First Compliant Deposit (FCD) Date

2016-05-09

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC