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
Authors
Bibliographic Details
- Publisher:
- Schloss Dagstuhl Publisher's website
- Series:
- Leibniz International Proceedings in Informatics
- Series number:
- 203
- Pages:
- 22:1-22:20
- 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-24
- Event end date:
- 2021-08-27
- DOI:
- ISSN:
-
1868-8969
- ISBN:
- 9783959772037
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
1197893
- Local pid:
- pubs:1197893
- Deposit date:
- 2021-10-06
Terms of use
- Copyright holder:
- Mufid et al.
- Copyright date:
- 2021
- Rights statement:
- © Muhammad Syifa’ul Mufid, Andrea Micheli, Alessandro Abate, and Alessandro Cimatti; licensed under Creative Commons License CC-BY 4.0
- Licence:
- CC Attribution (CC BY)
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record