Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2015.01.002
@@ Property / DOI: 10.1016/j.automatica.2015.01.002 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+opaal
@@ Property / describes a project that uses: opaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriSIMPL
@@ Property / describes a project that uses: VeriSIMPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ellipsoidal Toolbox
@@ Property / describes a project that uses: Ellipsoidal Toolbox / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2015.01.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1974274514
@@ Property / OpenAlex ID: W1974274514 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed automata / rank @@
+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 @@
+Computational techniques for reachability analysis of Max-Plus-Linear systems
+Normal rank
@@ Property / cites work @@
+Q5446614
@@ Property / cites work: Q5446614 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Min and Max Invariants Using Max-Plus Polyhedra
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of polygonal hybrid systems. I: Reachability
+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 @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+On a routing problem
@@ Property / cites work: On a routing problem / rank @@
+Normal rank
@@ Property / cites work @@
+Transience Bounds for Distributed Algorithms
@@ Property / cites work: Transience Bounds for Distributed Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+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 @@
+Q4657046
@@ Property / cites work: Q4657046 / rank @@
+Normal rank
@@ Property / cites work @@
+REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
+Normal rank
@@ Property / cites work @@
+The Minkowski theorem for max-plus convex sets
@@ Property / cites work: The Minkowski theorem for max-plus convex sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4909604
@@ Property / cites work: Q4909604 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Transience Bounds for Long Walks
@@ Property / cites work: Transience Bounds for Long Walks / rank @@
+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 @@
+Performance evaluation of job-shop systems using timed event-graphs
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Hybrid Systems Using Support Functions
+Normal rank
@@ Property / cites work @@
+Reachability analysis for timed automata using max-plus algebra
+Normal rank
@@ Property / cites work @@
+Comparing Forward and Backward Reachability as Tools for Safety Analysis
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Nonlinear regulation: The piecewise linear approach
+Normal rank
@@ Property / cites work @@
+Q4140769
@@ Property / cites work: Q4140769 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2015.01.002
@@ Property / DOI: 10.1016/J.AUTOMATICA.2015.01.002 / rank @@
+Normal rank