Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes (Q6202100): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/3575870.3587130
+Normal rank
@@ Property / OpenAlex ID @@
+W4375851942
@@ Property / OpenAlex ID: W4375851942 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
+Normal rank
@@ Property / cites work @@
+Avoiding geometric intersection operations in reachability analysis of hybrid systems
+Normal rank
@@ Property / cites work @@
+Reachable set computation for uncertain time-varying linear systems
+Normal rank
@@ Property / cites work @@
+Simulation-equivalent reachability of large linear systems with inputs
+Normal rank
@@ Property / cites work @@
+Numerical verification of affine systems with up to a billion dimensions
+Normal rank
@@ Property / cites work @@
+Control and estimation in linear time-varying systems based on ellipsoidal reachability sets
+Normal rank
@@ Property / cites work @@
+Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Affine arithmetic: concepts and applications
@@ Property / cites work: Affine arithmetic: concepts and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Parsimonious, Simulation Based Verification of Linear Systems
+Normal rank
@@ Property / cites work @@
+Conservative time discretization: a comparative study
+Normal rank
@@ Property / cites work @@
+Flowpipe approximation and clustering in space-time
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Constrained polynomial zonotopes
@@ Property / cites work: Constrained polynomial zonotopes / rank @@
+Normal rank
@@ Property / cites work @@
+Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Utilizing dependencies to obtain subsets of reachable sets
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of linear systems using support functions
+Normal rank
@@ Property / cites work @@
+A Remark on Stirling's Formula
@@ Property / cites work: A Remark on Stirling's Formula / rank @@
+Normal rank
@@ Property / cites work @@
+Overapproximating Reachable Tubes of Linear Time-Varying Systems
+Normal rank
@@ Property / cites work @@
+Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
+Normal rank