\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437): Difference between revisions

@@ Property / full work available at URL @@
-https://doi.org/10.1007/s10626-015-0218-x
-Normal rank
@@ Property / OpenAlex ID @@
-W2295761269
@@ Property / OpenAlex ID: W2295761269 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-015-0218-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2295761269
@@ Property / OpenAlex ID: W2295761269 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115147052
@@ Property / Wikidata QID: Q115147052 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for reachability analysis of Max-Plus-Linear systems
+Normal rank
@@ Property / cites work @@
+Finite Abstractions of Max-Plus-Linear Systems
@@ Property / cites work: Finite Abstractions of Max-Plus-Linear Systems / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+On a routing problem
@@ Property / cites work: On a routing problem / rank @@
+Normal rank
@@ Property / cites work @@
+Observability and controllability of piecewise affine and hybrid systems
+Normal rank
@@ Property / cites work @@
+On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra
+Normal rank
@@ Property / cites work @@
+A MAX-plus model of ribosome dynamics during mRNA translation
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimax algebra
@@ Property / cites work: Minimax algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Model predictive control for max-plus-linear discrete event systems
+Normal rank
@@ Property / cites work @@
+Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Formal Analysis of Discrete-Time Piecewise Affine Systems
+Normal rank
@@ Property / cites work @@
+Equivalence of hybrid dynamical models
@@ Property / cites work: Equivalence of hybrid dynamical models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200628
@@ Property / cites work: Q5200628 / rank @@
+Normal rank
@@ Property / cites work @@
+Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Explicit formulas for the solutions of piecewise linear networks
+Normal rank
@@ Property / cites work @@
+On the control of max-plus linear system subject to state restriction
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear regulation: The piecewise linear approach
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Formal analysis of piecewise affine systems through formula-guided refinement
+Normal rank