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

@@ 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