\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

zbMATH Keywords

discrete-event systemsmodel checkingbisimulationsmax-plus algebratransition systemsdifference-bound matricesmodel abstractionspiece-wise affine systems

Mathematics Subject Classification ID

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)

Conditional reachability of uncertain max plus linear systems

Uses Software

• SPIN
• NuSMV
• Maxplus
• FaPAS
• VeriSIMPL
• Algorithm 97

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