Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023): Difference between revisions

@@ Property / DOI @@
-.1007/s00498-015-0153-2
@@ Property / DOI: 10.1007/s00498-015-0153-2 / rank @@
-Normal rank
@@ Property / cites work @@
+Global optimization with nonlinear ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Q4263638
@@ Property / cites work: Q4263638 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized inverses. Theory and applications.
@@ Property / cites work: Generalized inverses. Theory and applications. / rank @@
+Normal rank
@@ Property / cites work @@
+Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
+Normal rank
@@ Property / cites work @@
+Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Difference Methods for Differential Inclusions: A Survey
+Normal rank
@@ Property / cites work @@
+Q3994508
@@ Property / cites work: Q3994508 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis Using Polygonal Projections
@@ Property / cites work: Reachability Analysis Using Polygonal Projections / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solution of ordinary differential equations with a parametric lexicographic linear program embedded
+Normal rank
@@ Property / cites work @@
+Bounds on reachable sets using ordinary differential equations with linear programs embedded
+Normal rank
@@ Property / cites work @@
+SUNDIALS
@@ Property / cites work: SUNDIALS / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for parametric ODEs
+Normal rank
@@ Property / cites work @@
+Guaranteed nonlinear state estimator for cooperative systems
+Normal rank
@@ Property / cites work @@
+A Lohner-type algorithm for control systems and ordinary differential inclusions
+Normal rank
@@ Property / cites work @@
+Q4002473
@@ Property / cites work: Q4002473 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Hybrid Systems Using Support Functions
+Normal rank
@@ Property / cites work @@
+Q3125536
@@ Property / cites work: Q3125536 / rank @@
+Normal rank
@@ Property / cites work @@
+Lipschitz Continuity of Solutions of Linear Inequalities, Programs and Complementarity Problems
+Normal rank
@@ Property / cites work @@
+Ordinary Differential Equations in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+McCormick-Based Relaxations of Algorithms
@@ Property / cites work: McCormick-Based Relaxations of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949367
@@ Property / cites work: Q4949367 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Bounds on the reachable sets of nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Improved relaxations for the parametric solutions of ODEs using differential inequalities
+Normal rank
@@ Property / cites work @@
+Nonlinear convex and concave relaxations for the solutions of parametric ODEs
+Normal rank
@@ Property / cites work @@
+Q5508310
@@ Property / cites work: Q5508310 / rank @@
+Normal rank
@@ Property / cites work @@
+On the continuity of the value of a linear program and of related polyhedral-valued multifunctions
+Normal rank
@@ Property / DOI @@
+.1007/S00498-015-0153-2
@@ Property / DOI: 10.1007/S00498-015-0153-2 / rank @@
+Normal rank