Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902): Difference between revisions

@@ Property / describes a project that uses @@
+CLP
@@ Property / describes a project that uses: CLP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cosy
@@ Property / describes a project that uses: Cosy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XSpeed
@@ Property / describes a project that uses: XSpeed / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAPD
@@ Property / describes a project that uses: CAPD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Julia
@@ Property / describes a project that uses: Julia / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CORA
@@ Property / describes a project that uses: CORA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2807477063
@@ Property / OpenAlex ID: W2807477063 / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding geometric intersection operations in reachability analysis of hybrid systems
+Normal rank
@@ Property / cites work @@
+Reducing the wrapping effect
@@ Property / cites work: Reducing the wrapping effect / rank @@
+Normal rank
@@ Property / cites work @@
+Computation and application of Taylor polynomials with interval remainder bounds
+Normal rank
@@ Property / cites work @@
+Set-theoretic methods in control
@@ Property / cites work: Set-theoretic methods in control / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Matrix Inequalities in System and Control Theory
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+A modified regula falsi method for computing the root of an equation
+Normal rank
@@ Property / cites work @@
+Parsimonious, Simulation Based Verification of Linear Systems
+Normal rank
@@ Property / cites work @@
+Numerical Analysis
@@ Property / cites work: Numerical Analysis / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4917542
@@ Property / cites work: Q4917542 / rank @@
+Normal rank
@@ Property / cites work @@
+On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Dynamics and control of trajectory tubes. Theory and computation
+Normal rank
@@ Property / cites work @@
+Reachability analysis of linear systems using support functions
+Normal rank
@@ Property / cites work @@
+Q4721493
@@ Property / cites work: Q4721493 / rank @@
+Normal rank
@@ Property / cites work @@
+A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q5437369
@@ Property / cites work: Q5437369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Discrete-Time Systems With Disturbances
+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 @@
+Q4337625
@@ Property / cites work: Q4337625 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129714296
@@ Property / Wikidata QID: Q129714296 / rank @@
+Normal rank