Reachability analysis of linear systems with stepwise constant inputs (Q271719): Difference between revisions

@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / 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 @@
+Reachability analysis of linear systems using support functions
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal techniques for reachability analysis: Internal approximation
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+Nineteen Dubious Ways to Compute the Exponential of a Matrix
+Normal rank
@@ Property / cites work @@
+Q3997917
@@ Property / cites work: Q3997917 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for Continuous Reachability in the Verification of Hybrid Systems
+Normal rank