Sparse Spectrahedral Shadows for State Estimation and Reachability Analysis: Set Operations, Validations and Order Reductions
Set representations are the foundation of various set-based approaches in state estimation, reachability analysis and fault diagnosis. In this paper, we investigate spectrahedral shadows, a class of nonlinear geometric objects previously studied in semidefinite programming and real algebraic geometry. We demonstrate spectrahedral shadows generalize traditional and emerging set representations like ellipsoids, zonotopes, constrained zonotopes and ellipsotopes. Analytical forms of set operations are provided including linear map, linear inverse map, Minkowski sum, intersection, Cartesian product, Minkowski-Firey Lp sum, convex hull, conic hull and polytopic map, all of which are implemented without approximation in polynomial time. In addition, we develop set validation and order reduction techniques for spectrahedral shadows, thereby establishing spectrahedral shadows as a set representation applicable to a range of set-based tasks.
Code (0)
등록된 구현이 없습니다.
Tasks
Fault DiagnosisState EstimationMethods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Spectrahedral Regression
Convex regression is the problem of fitting a convex function to a data set consisting of input-output pairs. We present a new approach to this problem called spectrahedral regression, in which we fit a spectrahedral fun…
regressionCOFFEE: A Shadow-Resilient Real-Time Pose Estimator for Unknown Tumbling Asteroids using Sparse Neural Networks
The accurate state estimation of unknown bodies in space is a critical challenge with applications ranging from the tracking of space debris to the shape estimation of small bodies. A necessary enabler to this capability…
Graph Neural NetworkPose EstimationDictionary Learning under Symmetries via Group Representations
The dictionary learning problem can be viewed as a data-driven process to learn a suitable transformation so that data is sparsely represented directly from example data. In this paper, we examine the problem of learning…
Dictionary LearningDimensionality ReductionMulti-Object TrackingObject Tracking+1Convex Relaxations of SE(2) and SE(3) for Visual Pose Estimation
This paper proposes a new method for rigid body pose estimation based on spectrahedral representations of the tautological orbitopes of $SE(2)$ and $SE(3)$. The approach can use dense point cloud data from stereo vision …
Pose EstimationShadow-Background-Noise 3D Spatial Decomposition Using Sparse Low-Rank Gaussian Properties for Video-SAR Moving Target Shadow Enhancement
Moving target shadows among video synthetic aperture radar (Video-SAR) images are always interfered by low scattering backgrounds and cluttered noises, causing poor detec-tion-tracking accuracy. Thus, a shadow-background…
Shadow Detection