Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229): Difference between revisions

@@ Property / DOI @@
-.1007/s11241-016-9262-3
@@ Property / DOI: 10.1007/s11241-016-9262-3 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2570955003
@@ Property / OpenAlex ID: W2570955003 / 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 @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Q3977326
@@ Property / cites work: Q3977326 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
+Normal rank
@@ Property / cites work @@
+Trajectory Based Verification Using Local Finite-Time Invariance
+Normal rank
@@ Property / cites work @@
+Computability with low-dimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+Approximating Continuous Systems by Timed Automata
+Normal rank
@@ Property / cites work @@
+Complete abstractions of dynamical systems by timed automata
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11241-016-9262-3
@@ Property / DOI: 10.1007/S11241-016-9262-3 / rank @@
+Normal rank