Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4285082258
@@ Property / OpenAlex ID: W4285082258 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07387
@@ Property / arXiv ID: 2009.07387 / rank @@
+Normal rank
@@ Property / cites work @@
+Guaranteed state estimation by zonotopes
@@ Property / cites work: Guaranteed state estimation by zonotopes / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
+Normal rank
@@ Property / cites work @@
+Zonotopes and Kalman observers: gain optimality under distinct uncertainty paradigms and robust convergence
+Normal rank
@@ Property / cites work @@
+A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS
+Normal rank
@@ Property / cites work @@
+Affine arithmetic: concepts and applications
@@ Property / cites work: Affine arithmetic: concepts and applications / 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 @@
+A zonotopic framework for functional abstractions
@@ Property / cites work: A zonotopic framework for functional abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Polytopes
@@ Property / cites work: Convex Polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Reachability analysis for hybrid systems with nonlinear guard sets
+Normal rank
@@ Property / cites work @@
+Rigorously computed orbits of dynamical systems without the wrapping effect
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Zonotopic guaranteed state estimation for uncertain systems
+Normal rank
@@ Property / cites work @@
+A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Rigorous integration of flows and ODEs using taylor models
+Normal rank
@@ Property / cites work @@
+The flexible, extensible and efficient toolbox of level set methods
+Normal rank
@@ Property / cites work @@
+Negotiated distributed estimation with guaranteed performance for bandwidth-limited situations
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Worst-case simulation of discrete linear time-invariant interval dynamic systems
+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 @@
+Constrained zonotopes: a new tool for set-based estimation and fault detection
+Normal rank
@@ Property / cites work @@
+Complete Laziness: a Natural Semantics
@@ Property / cites work: Complete Laziness: a Natural Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Set-invariance characterizations of discrete-time descriptor systems with application to active mode detection
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2159000