Litcius/Paper detail

Hyperplanes Based Zonotopic Contractor (Short Paper)

Bengamra, Rahma, Fergani, Soheib, Jauberthie, Carine

2024Dagstuhl Research Online Publication Server24 citationsDOIOpen Access PDF

Abstract

This article introduces a novel method for constructing a "zonotopic contractor" based on hyperplane properties. While zonotopes, a special class of polytopes, offer computational advantages due to their symmetric matrix representation, they are not closed under intersection, often necessitating over-approximations that lead to conservatism in practical applications. The proposed contractor addresses this issue by providing a more efficient solution for approximating zonotope intersections, reducing conservatism. This method generates a new zonotope that closely covers the intersection of two zonotopes. The reliability and effectiveness of the proposed approach are demonstrated through simulations on a bicycle model, showing potential benefits in safety-critical applications like autonomous driving, where precise uncertainty management is crucial for decision-making and control.

Topics & Concepts

Minkowski spaceMinkowski additionRepresentation (politics)MathematicsComputationAlgorithmApplied mathematicsComputer scienceGeometryLawPolitical sciencePoliticsFormal Methods in VerificationLogic, programming, and type systemsSecurity and Verification in Computing