Bracketing backward reach sets of a dynamical system (Q3386553): Difference between revisions

@@ Property / describes a project that uses @@
+AQCS
@@ Property / describes a project that uses: AQCS / 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.1080/00207179.2019.1643910
+Normal rank
@@ Property / OpenAlex ID @@
+W2957957932
@@ Property / OpenAlex ID: W2957957932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization methods for the analysis of nonlinear systems
+Normal rank
@@ Property / cites work @@
+Viability Kernels and Capture Basins of Sets Under Differential Inclusions
+Normal rank
@@ Property / cites work @@
+Set-valued analysis
@@ Property / cites work: Set-valued analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Detection of attraction domains of non-linear systems using bifurcation analysis and Lyapunov functions
+Normal rank
@@ Property / cites work @@
+Q4532472
@@ Property / cites work: Q4532472 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of parametric barrier functions for dynamical systems using interval analysis
+Normal rank
@@ Property / cites work @@
+Contractor programming
@@ Property / cites work: Contractor programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Using interval arithmetic to prove that a set is path-connected
+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 @@
+On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents
+Normal rank
@@ Property / cites work @@
+Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Stability analysis and stabilisation of switched nonlinear systems
+Normal rank
@@ Property / cites work @@
+Static Analysis of Numerical Algorithms
@@ Property / cites work: Static Analysis of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Computation of the Region of Attraction of Polynomial Control Systems
+Normal rank
@@ Property / cites work @@
+GloptiPoly 3: moments, optimization and semidefinite programming
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the viability kernel using maximal reachable sets
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
+Normal rank
@@ Property / cites work @@
+Q3802757
@@ Property / cites work: Q3802757 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-membership state estimation with fleeting data
+Normal rank
@@ Property / cites work @@
+Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
+Normal rank
@@ Property / cites work @@
+Capture basin approximation using interval analysis
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Forward and Backward Reachability as Tools for Safety Analysis
+Normal rank
@@ Property / cites work @@
+Q4553266
@@ Property / cites work: Q4553266 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations and algebraic optimization in control
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Inclusions and Target Problems
@@ Property / cites work: Differential Inclusions and Target Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate quantified constraint solving by cylindrical box decomposition
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Approximation of the viability kernel
@@ Property / cites work: Approximation of the viability kernel / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736603
@@ Property / cites work: Q4736603 / rank @@
+Normal rank
@@ Property / cites work @@
+Aircraft take-off in windshear: A viability approach
+Normal rank
@@ Property / cites work @@
+Q5515507
@@ Property / cites work: Q5515507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127483497
@@ Property / Wikidata QID: Q127483497 / rank @@
+Normal rank