\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
DOI10.1007/s10626-015-0218-xzbMath1332.93255OpenAlexW2295761269WikidataQ115147052 ScholiaQ115147052MaRDI QIDQ262437
Yining Zhang, Dieky Adzkiya, Alessandro Abate
Publication date: 29 March 2016
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-015-0218-x
discrete-event systemsmodel checkingbisimulationsmax-plus algebratransition systemsdifference-bound matricesmodel abstractionspiece-wise affine systems
Applications of graph theory (05C90) Discrete event control/observation systems (93C65) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A MAX-plus model of ribosome dynamics during mRNA translation
- On the control of max-plus linear system subject to state restriction
- Minimax algebra
- Bisimilar linear systems.
- Formal analysis of piecewise affine systems through formula-guided refinement
- On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra
- O-minimal hybrid systems.
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Observability and controllability of piecewise affine and hybrid systems
- Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
- On a routing problem
- Nonlinear regulation: The piecewise linear approach
- Branching Programs and Binary Decision Diagrams
- Explicit formulas for the solutions of piecewise linear networks
- Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
- Formal Analysis of Discrete-Time Piecewise Affine Systems
- Finite Abstractions of Max-Plus-Linear Systems
- Model predictive control for max-plus-linear discrete event systems
- Equivalence of hybrid dynamical models
This page was built for publication: \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
