OASIcs.DX.2024.26.pdf
- Filesize: 0.91 MB
- 13 pages
Document
Hyperplanes Based Zonotopic Contractor (Short Paper)
Authors
Rahma Bengamra 
,
Soheib Fergani ,
Carine Jauberthie
-
Part of:
Volume:
35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Principles of Diagnosis and Resilient Systems (DX) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-11-26
File
Document Identifiers
Author Details
- LAAS-CNRS, Université de Toulouse, UPS, 7 avenue du Colonel Roche, 31400 Toulouse, France
- LAAS-CNRS, Université de Toulouse, UPS, 7 avenue du Colonel Roche, 31400 Toulouse, France
Cite As Get BibTex
Rahma Bengamra, Soheib Fergani, and Carine Jauberthie. Hyperplanes Based Zonotopic Contractor (Short Paper). In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 26:1-26:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/OASIcs.DX.2024.26
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.
Subject Classification
ACM Subject Classification
- Mathematics of computing → Continuous mathematics
Keywords
- Contractors
- Zonotopes
- Hyperplanes
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Matthias Althoff. On computing the minkowski difference of zonotopes. arXiv preprint arXiv:1512.02794, 2015. URL: https://arxiv.org/abs/1512.02794.
- Gilles Chabert and Luc Jaulin. Contractor programming. Artificial Intelligence, 173(11):1079-1100, 2009. URL: https://doi.org/10.1016/J.ARTINT.2009.03.002.
-
Felix L. Chernousko. Ellipsoidal state estimation for dynamical systems. Nonlinear Analysis: Theory, Methods & Applications, 63(5-7):872-879, 2005.
-
Soheib Fergani. Robust multivariable control for vehicle dynamics. PhD thesis, Université de Grenoble, 2014.
-
Luc Jaulin, Michel Kieffer, Olivier Didrit, Eric Walter, Luc Jaulin, Michel Kieffer, Olivier Didrit, and Éric Walter. Interval analysis. Springer, 2001.
-
Rudolf Emil Kalman. A new approach to linear filtering and prediction problems. Transactions of the ASME—Journal of Basic Engineering, 82:35-45, 1960.
- Wolfgang Kühn. Rigorously computed orbits of dynamical systems without the wrapping effect. Computing, 61(1):47-67, 1998. URL: https://doi.org/10.1007/BF02684450.
- Wolfgang Kühn. Zonotope dynamics in numerical quality control. In H.-C. Hege and K. Polthier, editors, Mathematical Visualization, pages 125-134. Springer, 1998. URL: https://doi.org/10.1007/978-3-662-03567-2_10.
- Jinsun Liu, Yifei Simon Shao, Lucas Lymburner, Hansen Qin, Vishrut Kaushik, Lena Trang, Ruiyang Wang, Vladimir Ivanovic, H. Eric Tseng, and Ram Vasudevan. Refine: Reachability-based trajectory design using robust feedback linearization and zonotopes. IEEE Transactions on Robotics, 40:2060-2080, 2024. URL: https://doi.org/10.1109/TRO.2024.3366819.
-
Quoc Hung Lu. Filtrage à incertitudes stochastiques et bornées: application au diagnostic actif en automobile. PhD thesis, Université Paul Sabatier-Toulouse III, 2022.
- Moussa Maiga, Nacim Ramdani, Louise Travé-Massuyès, and Christophe Combastel. A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems. IEEE Transactions on Automatic Control, 61(9):2341-2356, 2015. URL: https://doi.org/10.1109/TAC.2015.2491740.
-
Tuan Anh Tran. Cadre unifié pour la modélisation des incertitudes statistiques et bornées: application à la détection et isolation de défauts dans les systèmes dynamiques incertains par estimation. PhD thesis, Université Paul Sabatier-Toulouse III, 2017.
-
Bo Zhou, Jianda Han, and Guangjun Liu. A ud factorization-based nonlinear adaptive set-membership filter for ellipsoidal estimation. International Journal of Robust and Nonlinear Control: IFAC-Affiliated Journal, 18(16):1513-1531, 2008.
-
Günter M Ziegler. Graduate texts in mathematics, 1995.