Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / 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 @@
+On some relations between dynamical systems and transition systems
+Normal rank
@@ Property / cites work @@
+Universal computation and other capabilities of hybrid and continuous dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4733770
@@ Property / cites work: Q4733770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4747150
@@ Property / cites work: Q4747150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281538
@@ Property / cites work: Q4281538 / 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 @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity of ray tracing
@@ Property / cites work: Computability and complexity of ray tracing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1367528