Conference item icon

Conference item

SMT-based model checking of max-plus linear systems

Abstract:

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. MPL systems can be naturally modeled as infinite-state transition systems, and exhibit interesting structural properties (e.g. periodicity or steady state), for which analysis methods have been recently proposed. In this paper, we tackle the open problem of specifying and analyzing user-defined temporal properties for MPL systems. We propose Ti...

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

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.CONCUR.2021.22

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Linacre College
Role:
Author
Publisher:
Schloss Dagstuhl Publisher's website
Pages:
22:1-22:20
Series:
Leibniz International Proceedings in Informatics
Series number:
203
Place of publication:
Germany
Publication date:
2021-08-13
Acceptance date:
2021-06-23
Event title:
32nd International Conference on Concurrency Theory (CONCUR 2021)
Event location:
Virtual Conference
Event website:
https://qonfest2021.lacl.fr/index.php
Event start date:
2021-08-24T00:00:00Z
Event end date:
2021-08-27T00:00:00Z
DOI:
ISSN:
1868-8969
ISBN:
9783959772037
Language:
English
Keywords:
Pubs id:
1197893
Local pid:
pubs:1197893
Deposit date:
2021-10-06

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