A novel unified framework for solving reachability and invariance problems (Q6106376): Difference between revisions

@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of reachable sets by direct solution methods for optimal control problems
+Normal rank
@@ Property / cites work @@
+Approximation of reachable sets using optimal control algorithms
+Normal rank
@@ Property / cites work @@
+Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Reachability Analysis for Solvable Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Robust estimations of the region of attraction using invariant sets
+Normal rank
@@ Property / cites work @@
+Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+On reachability and minimum cost optimal control
@@ Property / cites work: On reachability and minimum cost optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+Lagrangian methods for approximating the viability kernel in high-dimensional systems
+Normal rank
@@ Property / cites work @@
+The flexible, extensible and efficient toolbox of level set methods
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Convergent under-approximations of reachable sets and tubes: a piecewise constant approach
+Normal rank
@@ Property / cites work @@
+Hybrid control synthesis for eventuality specifications using level set methods
+Normal rank
@@ Property / cites work @@
+Q4255599
@@ Property / cites work: Q4255599 / rank @@
+Normal rank