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

@@ Property / Mathematics Subject Classification ID @@
+B03
@@ Property / Mathematics Subject Classification ID: 93B03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C30
@@ Property / Mathematics Subject Classification ID: 93C30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G40
@@ Property / Mathematics Subject Classification ID: 65G40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 93C10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5913677
@@ Property / zbMATH DE Number: 5913677 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+continuous-time systems
@@ Property / zbMATH Keywords: continuous-time systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hybrid systems
@@ Property / zbMATH Keywords: hybrid systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval analysis
@@ Property / zbMATH Keywords: interval analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonlinear systems
@@ Property / zbMATH Keywords: nonlinear systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reachability
@@ Property / zbMATH Keywords: reachability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+uncertain systems
@@ Property / zbMATH Keywords: uncertain systems / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Benchmarks
@@ Property / describes a project that uses: Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RoVerGeNe
@@ Property / describes a project that uses: RoVerGeNe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAMAS
@@ Property / describes a project that uses: RAMAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:547885