\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
DOI10.1007/S10626-015-0218-XzbMATH Open1332.93255OpenAlexW2295761269WikidataQ115147052 ScholiaQ115147052MaRDI QIDQ262437FDOQ262437
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
Recommendations
- Bounded model checking of max-plus linear systems via predicate abstractions
- Tropical abstractions of MAX-plus linear systems
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Stable model predictive control for constrained max-plus-linear systems
- Stabilization of max-plus-linear systems using model predictive control: the unconstrained case
model checkingbisimulationsdifference-bound matricesdiscrete-event systemsmax-plus algebramodel abstractionspiece-wise affine systemstransition 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)
Cites Work
- On a routing problem
- Title not available (Why is that?)
- 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
- A MAX-plus model of ribosome dynamics during mRNA translation
- Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
- Nonlinear regulation: The piecewise linear approach
- Title not available (Why is that?)
- Branching Programs and Binary Decision Diagrams
- Explicit formulas for the solutions of piecewise linear networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
- Title not available (Why is that?)
- Formal Analysis of Discrete-Time Piecewise Affine Systems
- Finite Abstractions of Max-Plus-Linear Systems
- On the control of max-plus linear system subject to state restriction
- Model predictive control for max-plus-linear discrete event systems
- Equivalence of hybrid dynamical models
Cited In (1)
Uses Software
This page was built for publication: \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q262437)
