Computing reachable sets for uncertain nonlinear monotone systems (Q988783): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+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 @@
+Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid abstractions of affine systems
@@ Property / cites work: Hybrid abstractions of affine systems / 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 @@
+Q4736610
@@ Property / cites work: Q4736610 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Genetic Regulatory Networks with Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+Hybridization methods for the analysis of nonlinear systems
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Q4736576
@@ Property / cites work: Q4736576 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Q4953388
@@ Property / cites work: Q4953388 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
+Normal rank
@@ Property / cites work @@
+Differential inequalities and maximum principles: theory, new methods and applications
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Controlling the wrapping effect in the solution of ODEs for asteroids
+Normal rank
@@ Property / cites work @@
+Q4949367
@@ Property / cites work: Q4949367 / rank @@
+Normal rank
@@ Property / cites work @@
+A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Monotone control systems
@@ Property / cites work: Monotone control systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296601
@@ Property / cites work: Q4296601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4834372
@@ Property / cites work: Q4834372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718755
@@ Property / cites work: Q5718755 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-stability in monotone input/output systems
@@ Property / cites work: Multi-stability in monotone input/output systems / rank @@
+Normal rank
@@ Property / cites work @@
+A graph theoretical approach to monotonicity with respect to initial conditions II
+Normal rank
@@ Property / cites work @@
+State event location in differential-algebraic models
+Normal rank
@@ Property / cites work @@
+Q4552468
@@ Property / cites work: Q4552468 / rank @@
+Normal rank
@@ Property / cites work @@
+Molecular systems biology and control
@@ Property / cites work: Molecular systems biology and control / rank @@
+Normal rank