Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
133 | Leonidas J. Guibas, An Thanh Nguyen, Li Zhang 0001 |
Zonotopes as bounding volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 12-14, 2003, Baltimore, Maryland, USA., pp. 803-812, 2003, ACM/SIAM, 0-89871-538-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
89 | Catherine Stenson |
Families of Tight Inequalities for Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 34(3), pp. 507-521, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
66 | Jian Wan 0002, Josep Vehí, Ningsu Luo |
A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(3), pp. 395-407, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Set inversion, Zonotope geometry, Control invariant sets, Global optimization, Interval analysis |
66 | Antoine Girard |
Reachability of Uncertain Linear Systems Using Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 291-305, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
66 | Svetoslav Markov, Dalcidio Moraes Claudio |
On the Approximation of Centered Zonotopes in the Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSSC ![In: Large-Scale Scientific Computing, 4th International Conference, LSSC 2003, Sozopal, Bulgaria, June 4-8, 2003, Revised Papers, pp. 246-253, 2003, Springer, 3-540-21090-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
66 | G. David Bailey |
Coherence and Enumeration of Tilings of 3-Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 22(1), pp. 119-147, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Antoine Girard, Colas Le Guernic |
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 215-228, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Steffen Schön, Hansjörg Kutterer |
Using Zonotopes for Overestimation-Free Interval Least-Squares-Some Geodetic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 11(2), pp. 137-155, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Marshall W. Bern, David Eppstein |
Optimization over Zonotopes and Training Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001, Proceedings, pp. 111-121, 2001, Springer, 3-540-42423-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Santosh Arvind Adimoolam |
A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems. (Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
44 | Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey |
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 127-145, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey |
Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5847, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
36 | Umar Malik, Imad M. Jaimoukha, G. D. Halikias, S. K. Gungah |
On the gap between the quadratic integer programming problem and its semidefinite relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 107(3), pp. 505-515, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Quadratic integer programming, Semidefinite relaxation, Zonotopes, Linear matrix inequalities, Hyperplane arrangements |
22 | Matthias Althoff, Olaf Stursberg, Martin Buss |
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4042-4048, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Christos A. Athanasiadis |
Piles of Cubes, Monotone Path Polytopes, and Hyperplane Arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 21(1), pp. 117-130, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Richard Andrade, Julio E. Normey-Rico, Guilherme V. Raffo |
Tube-Based Model Predictive Control Based on Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 50100-50113, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Alesi A. de Paula, Davide M. Raimondo, Guilherme V. Raffo, Bruno Otávio Soares Teixeira |
Set-based state estimation for discrete-time constrained nonlinear systems: An approach based on constrained zonotopes and DC programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 159, pp. 111401, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Jinsun Liu, Yifei Simon Shao, Lucas Lymburner, Hansen Qin, Vishrut Kaushik, Lena Trang, Ruiyang Wang, Vladimir Ivanovic, H. Eric Tseng, Ram Vasudevan |
REFINE: Reachability-Based Trajectory Design Using Robust Feedback Linearization and Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 40, pp. 2060-2080, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego, Davide M. Raimondo, Guilherme V. Raffo |
Mixed zonotopes: a set representation suitable for unbounded systems and its application to set-based state estimation and active fault diagnosis of descriptor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10239, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano |
Projection-free computation of robust controllable sets with constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13730, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Ladner, Matthias Althoff |
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 21304-21311, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Yuhao Zhang 0005, Hang Zhang, Xiangru Xu |
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2779-2784, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn |
Robust Successor and Precursor Sets of Hybrid Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 355-360, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Xudong Wang 0008, Guoqi Wang, Zhe Li, Zhongyang Fei |
Event-based fault estimation and compensation for discrete-time systems via zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 631, pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Muhammad Umar B. Niazi, Amr Al-Anwar 0001, Michelle S. Chong, Karl Henrik Johansson |
Resilient set-based state estimation for linear time-invariant systems using zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 74, pp. 100837, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Niklas Kochdumper, Matthias Althoff |
Constrained polynomial zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 60(3), pp. 279-316, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Zhen Wu, Weizhong Chen, Zhongyang Fei, Kun-Zhi Liu |
Finite-Time State Zonotopes Design for Asynchronously Switched Systems With Application to a Switched Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(10), pp. 4137-4145, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Tuochen Li, Cunxi Zheng, Zhiguang Feng, Thach Ngoc Dinh, Tarek Raïssi |
Real-time reachable set estimation for linear time-delay systems based on zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 54(8), pp. 1639-1647, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Shreyas Kousik, Adam Dai, Grace Xingxin Gao |
Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(6), pp. 3440-3452, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Trevor J. Bird, Herschel C. Pangborn, Neera Jain, Justin P. Koeln |
Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 154, pp. 111107, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yifei Wang, Mert Pilanci |
Polynomial-Time Solutions for ReLU Network Training: A Complexity Classification via Max-Cut and Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10972, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Joshua Ortiz, Alyssa Vellucci, Justin Koeln, Justin Ruths |
Hybrid Zonotopes Exactly Represent ReLU Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.02755, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn |
Reachability Analysis of Nonlinear Systems Using Hybrid Zonotopes and Functional Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06827, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yuhao Zhang 0005, Hang Zhang, Xiangru Xu |
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10513, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Amr Alanwar 0001, Frank J. Jiang, Karl Henrik Johansson |
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.12508, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Carlos Trapiello, Christophe Combastel, Ali Zolghadri |
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.14619, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Justin Koeln, Trevor J. Bird, Jacob Siefert, Justin Ruths, Herschel Pangborn, Neera Jain |
zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.15426, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jacob A. Siefert, Andrew F. Thompson, Jonah J. Glunt, Herschel C. Pangborn |
Set-valued State Estimation Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.07924, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Mohammed M. Dawoud, Changxin Liu, Amr Alanwar 0001, Karl Henrik Johansson |
Differentially Private Set-Based Estimation Using Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.07407, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego |
Set-based state estimation and fault diagnosis using constrained zonotopes and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.07369, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001 |
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09901, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Rainie Bozzai, Victor Reis, Thomas Rothvoss |
The Vector Balancing Constant for Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023, pp. 1292-1300, 2023, IEEE, 979-8-3503-1894-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yuhao Zhang 0005, Xiangru Xu |
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 1915-1921, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn |
Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 1383-1389, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ertai Luo, Niklas Kochdumper, Stanley Bak |
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 17:1-17:12, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Mohammed M. Dawoud, Changxin Liu, Amr Alanwar 0001, Karl Henrik Johansson |
Differentially Private Set-Based Estimation Using Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2023, Bucharest, Romania, June 13-16, 2023, pp. 1-8, 2023, IEEE, 978-3-907144-08-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001 |
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 51-71, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Iuro B. P. Nascimento, Brenner S. Rego, Luciano C. A. Pimenta, Guilherme V. Raffo |
NMPC Strategy for Safe Robot Navigation in Unknown Environments Using Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7100-7105, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Wagner, Tanner Kogel, Justin Ruths |
Set-Based Anomaly Detector and Stealthy Attack Impact Using Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7081-7087, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Joshua Ortiz, Alyssa Vellucci, Justin Koeln, Justin Ruths |
Hybrid Zonotopes Exactly Represent ReLU Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 5351-5357, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Amr Alanwar 0001, Frank J. Jiang, Samy Amin, Karl Henrik Johansson |
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 60-66, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jacob A. Siefert, Andrew F. Thompson, Jonah J. Glunt, Herschel C. Pangborn |
Set-Valued State Estimation for Nonlinear Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 2172-2177, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Lenka Kuklisová Pavelková |
Bayesian State Estimation Using Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO (2) ![In: Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2023, Rome, Italy, November 13-15, 2023, Volume 2, pp. 189-194, 2023, SCITEPRESS, 978-989-758-670-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Niklas Kochdumper, Christian Schilling 0001, Matthias Althoff, Stanley Bak |
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, pp. 16-36, 2023, Springer, 978-3-031-33169-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Trevor J. Bird, Neera Jain |
Unions and Complements of Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 1778-1783, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Younan Zhao, Yuyan Tang, Fanglai Zhu |
Fault Detection for Uncertain Incremental Quadratic Nonlinear System Based on Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 41(10), pp. 5444-5460, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Zhongyi Zhao, Zidong Wang, Lei Zou 0003, Yun Chen 0008, Weiguo Sheng |
Event-Triggered Set-Membership State Estimation for Complex Networks: A Zonotopes-Based Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Sci. Eng. ![In: IEEE Trans. Netw. Sci. Eng. 9(3), pp. 1175-1186, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Vignesh Raghuraman, Justin P. Koeln |
Set operations and order reductions for constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 139, pp. 110204, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Christophe Combastel |
Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 143, pp. 110457, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego, Diego Locatelli, Davide Martino Raimondo, Guilherme V. Raffo |
Joint state and parameter estimation based on constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 142, pp. 110425, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay |
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), pp. 3969-3980, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego, Stelios G. Vrachimis, Marios M. Polycarpou, Guilherme V. Raffo, Davide Martino Raimondo |
State Estimation and Leakage Detection in Water Distribution Networks Using Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 30(5), pp. 1920-1933, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Arvind S. Adimoolam, Thao Dang 0001 |
Safety Verification of Networked Control Systems by Complex Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Leibniz Trans. Embed. Syst. ![In: Leibniz Trans. Embed. Syst. 8(2), pp. 01:1-01:22, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn |
Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.09902, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay |
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.04272, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego, Diego Locatelli, Davide Martino Raimondo, Guilherme V. Raffo |
Joint state and parameter estimation based on constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.09740, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff |
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10691, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Muhammad Umar B. Niazi, Amr Alanwar 0001, Michelle S. Chong, Karl Henrik Johansson |
Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.08474, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jinsun Liu, Yifei Simon Shao, Lucas Lymburner, Hansen Qin, Vishrut Kaushik, Lena Trang, Ruiyang Wang, Vladimir Ivanovic, H. Eric Tseng, Ram Vasudevan |
REFINE: Reachability-based Trajectory Design using Robust Feedback Linearization and Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.11997, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Niklas Kochdumper, Christian Schilling 0001, Matthias Althoff, Stanley Bak |
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.02715, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Laurel Heck, Victor Reis, Thomas Rothvoss |
The Vector Balancing Constant for Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.16460, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Yuhao Zhang 0005, Xiangru Xu |
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.00903, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Sriramya Bhamidipati, Shreyas Kousik, Grace Xingxin Gao |
Set-Valued Shadow Matching Using Zonotopes for 3-D Map-Aided GNSS Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.14238, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Diego Locatelli, Angelo Tottoli, Giacomo Saccani, Davide M. Raimondo |
Thermal fault-detection in series connected Li-ion cells: a set-based approach using constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: IEEE Conference on Control Technology and Applications, CCTA 2022, Trieste, Italy, August 23-25, 2022, pp. 411-417, 2022, IEEE, 978-1-6654-7338-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Trevor J. Bird, Neera Jain, Herschel C. Pangborn, Justin P. Koeln |
Set-Based Reachability and the Explicit Solution of Linear MPC using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022, pp. 158-165, 2022, IEEE, 978-1-6654-5196-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Amr Alanwar 0001, Alexander Berndt, Karl Henrik Johansson, Henrik Sandberg |
Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022, pp. 875-881, 2022, IEEE, 978-3-9071-4407-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Yuhao Zhang 0005, Xiangru Xu |
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, pp. 2737-2744, 2022, IEEE, 978-1-6654-6761-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Christian Schilling 0001, Marcelo Forets, Sebastián Guadalupe |
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pp. 8169-8177, 2022, AAAI Press, 978-1-57735-876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Xiaoqian Wang 0003, Liang Xia, Yifei Yuan, Guangyi Liu, Qixing Wang, Jiangzhou Wang |
Capacity Lower Bound of Visible Light Communications Precoding on Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: IEEE Wireless Communications and Networking Conference, WCNC 2022, Austin, TX, USA, April 10-13, 2022, pp. 1839-1843, 2022, IEEE, 978-1-6654-4266-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Panagiotis Misiakos, Georgios Smyrnis, George Retsinas, Petros Maragos |
Neural Network Approximation based on Hausdorff distance of Tropical Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022, 2022, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Niklas Kochdumper |
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems (Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
22 | Niklas Kochdumper, Matthias Althoff |
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 66(9), pp. 4043-4058, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego, Joseph K. Scott, Davide Martino Raimondo, Guilherme V. Raffo |
Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 129, pp. 109638, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Rob Edman, Pakawut Jiradilok, Gaku Liu, Thomas McConville |
Zonotopes whose cellular strings are all coherent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 96, pp. 103352, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Christian Schilling 0001, Marcelo Forets, Sebastián Guadalupe |
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.09197, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Shreyas Kousik, Adam Dai, Grace Xingxin Gao |
Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.01750, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Trevor J. Bird, Herschel C. Pangborn, Neera Jain, Justin P. Koeln |
Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.14831, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Alexander Berndt, Amr Alanwar 0001, Karl Henrik Johansson, Henrik Sandberg |
Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.10784, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Martin Winter |
Classification of Vertex-Transitive Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 66(4), pp. 1446-1462, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Vignesh Raghuraman, Justin P. Koeln |
Tube-based robust MPC with adjustable uncertainty sets using zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, pp. 462-469, 2021, IEEE, 978-1-6654-4197-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot |
Spatio-temporal constrained zonotopes for validation of optimal control problems *. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 6708-6713, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Amr Alanwar 0001, Anne Koch 0001, Frank Allgöwer, Karl Henrik Johansson |
Data-Driven Reachability Analysis Using Matrix Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L4DC ![In: Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, L4DC 2021, 7-8 June 2021, Virtual Event, Switzerland., pp. 163-175, 2021, PMLR. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Christophe Combastel, Ali Zolghadri |
A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 93(11), pp. 2596-2612, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Brenner S. Rego, Guilherme V. Raffo, Joseph K. Scott, Davide Martino Raimondo |
Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 111, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Mingwang Zhao |
Exact Volume of Zonotopes Generated by a Matrix Pair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.05530, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Vignesh Raghuraman, Justin P. Koeln |
Set operations and order reductions for constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06039, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Brenner S. Rego, Davide Martino Raimondo, Guilherme V. Raffo |
Set-based state estimation and fault diagnosis of linear discrete-time descriptor systems using constrained zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.09732, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Amr Alanwar 0001, Anne Koch 0001, Frank Allgöwer, Karl Henrik Johansson |
Data-Driven Reachability Analysis Using Matrix Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.08472, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos |
Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 212-221, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Khoury Boutrous, Fatiha Nejjari, Vicenç Puig |
Robust Economic Model Predictive Control of Drinking Water Transport Networks Using Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KKA ![In: Advanced, Contemporary Control - Proceedings of KKA 2020 - The 20th Polish Control Conference, Łódź, Poland, 2020, pp. 1470-1482, 2020, Springer, 978-3-030-50935-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|