Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780): Difference between revisions

@@ Property / cites work @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Systematic Simulation Using Sensitivity Analysis
@@ Property / cites work: Systematic Simulation Using Sensitivity Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417997
@@ Property / cites work: Q4417997 / 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 @@
+Q4953384
@@ Property / cites work: Q4953384 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / 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 @@
+Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Guaranteed state estimation by zonotopes
@@ Property / cites work: Guaranteed state estimation by zonotopes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471375
@@ Property / cites work: Q4471375 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Polytopes
@@ Property / cites work: Lectures on Polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases
+Normal rank
@@ Property / cites work @@
+n-Dimensional Cross Product and its Application to the Matrix Eigenanalysis
+Normal rank
@@ Property / cites work @@
+A note on a method for generating points uniformly on             <i>n</i>             -dimensional spheres
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252276
@@ Property / cites work: Q4252276 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank