Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2010.05.010
+Normal rank
@@ Property / OpenAlex ID @@
+W1990733120
@@ Property / OpenAlex ID: W1990733120 / rank @@
+Normal rank
@@ 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 @@
+Q4953384
@@ Property / cites work: Q4953384 / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Q4736610
@@ Property / cites work: Q4736610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / rank @@
+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 @@
+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 @@
+Computational techniques for hybrid system verification
+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 @@
+State event location in differential-algebraic models
+Normal rank
@@ Property / cites work @@
+Q4552468
@@ Property / cites work: Q4552468 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4445267
@@ Property / cites work: Q4445267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949361
@@ Property / cites work: Q4949361 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete search in continuous global optimization and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885375
@@ Property / cites work: Q4885375 / 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 @@
+Computation and application of Taylor polynomials with interval remainder bounds
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank