Conference item icon

Conference item

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration

Abstract:

Linear Time Invariant (LTI) systems are ubiquitous in software systems and control applications. Unbounded-time reachability analysis that can cope with industrial-scale models with thousands of variables is needed. To tackle this general problem, we use abstract acceleration, a method for unbounded-time polyhedral reachability analysis for linear systems. Existing variants of the method are restricted to closed systems, i.e., dynamical models without inputs or non-determinism. In this paper,...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
  • (Accepted manuscript, pdf, 165.5KB)
Publisher copy:
10.1007/978-3-662-48288-9_18

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Linacre College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer
Host title:
Lecture Notes in Computer Science: SAS 2015: Static Analysis
Journal:
Lecture Notes in Computer Science: SAS 2015: Static Analysis More from this journal
Volume:
9291
Pages:
312-331
Publication date:
2015-01-01
DOI:
ISSN:
0302-9743 and 1611-3349
ISBN:
9783662482872
Keywords:
Pubs id:
pubs:527448
UUID:
uuid:a97af922-4921-4b77-8c7b-b229fee3b00a
Local pid:
pubs:527448
Source identifiers:
527448
Deposit date:
2017-01-28

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP