Reachability analysis for timed automata using max-plus algebra (Q444476): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2011.10.004
@@ Property / DOI: 10.1016/j.jlap.2011.10.004 / rank @@
-Normal rank
@@ Property / author @@
-Søren Hove Ravn
@@ Property / author: Søren Hove Ravn / rank @@
-Normal rank
@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
+Søren Hove Ravn
@@ Property / author: Søren Hove Ravn / rank @@
+Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 15A80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P05
@@ Property / Mathematics Subject Classification ID: 68P05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065757
@@ Property / zbMATH DE Number: 6065757 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed automaton
@@ Property / zbMATH Keywords: timed automaton / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time model checking
@@ Property / zbMATH Keywords: real-time model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data structure
@@ Property / zbMATH Keywords: data structure / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+max-plus algebra
@@ Property / zbMATH Keywords: max-plus algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+max-plus polyhedron
@@ Property / zbMATH Keywords: max-plus polyhedron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algorithm 97
@@ Property / describes a project that uses: Algorithm 97 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Octagon
@@ Property / describes a project that uses: Octagon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / 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.jlap.2011.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2109586922
@@ Property / OpenAlex ID: W2109586922 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851545
@@ Property / Wikidata QID: Q114851545 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Min and Max Invariants Using Max-Plus Polyhedra
+Normal rank
@@ Property / cites work @@
+Q3113735
@@ Property / cites work: Q3113735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4818802
@@ Property / cites work: Q4818802 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generators, extremals and bases of max cones
@@ Property / cites work: Generators, extremals and bases of max cones / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
+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 @@
+Correctness kernels of abstract interpretations
@@ Property / cites work: Correctness kernels of abstract interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939617
@@ Property / cites work: Q4939617 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis for timed automata using max-plus algebra
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis in Disjunctive Numerical Domains
@@ Property / cites work: Static Analysis in Disjunctive Numerical Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140769
@@ Property / cites work: Q4140769 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2011.10.004
@@ Property / DOI: 10.1016/J.JLAP.2011.10.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:444476