Unbounded-time reachability analysis of hybrid systems by abstract acceleration

Schrammel, Peter (2015) Unbounded-time reachability analysis of hybrid systems by abstract acceleration. In: Proceedings of the 12th International Conference on Embedded Software. IEEE, Piscataway, NJ, pp. 51-54. ISBN 9781467380799

[img] PDF - Accepted Version
Restricted to SRO admin only

Download (195kB)


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.

Item Type: Book Section
Keywords: reachability analysis, hybrid systems, abstract acceleration, linear systems
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Peter Schrammel
Date Deposited: 09 May 2016 08:09
Last Modified: 04 May 2019 13:01
URI: http://sro.sussex.ac.uk/id/eprint/59921

View download statistics for this item

📧 Request an update