Search results for "Zonotopes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
133	Leonidas J. Guibas, An Thanh Nguyen, Li Zhang 0001	Zonotopes as bounding volumes.	SODA	2003	DBLP BibTeX RDF
89	Catherine Stenson	Families of Tight Inequalities for Polytopes.	Discret. Comput. Geom.	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.	J. Glob. Optim.	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.	HSCC	2005	DBLP DOI BibTeX RDF
66	Svetoslav Markov, Dalcidio Moraes Claudio	On the Approximation of Centered Zonotopes in the Plane.	LSSC	2003	DBLP DOI BibTeX RDF
66	G. David Bailey	Coherence and Enumeration of Tilings of 3-Zonotopes.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
44	Antoine Girard, Colas Le Guernic	Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.	HSCC	2008	DBLP DOI BibTeX RDF
44	Steffen Schön, Hansjörg Kutterer	Using Zonotopes for Overestimation-Free Interval Least-Squares-Some Geodetic Applications.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
44	Marshall W. Bern, David Eppstein	Optimization over Zonotopes and Training Support Vector Machines.	WADS	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).		2018	RDF
44	Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey	Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics.	APLAS	2015	DBLP DOI BibTeX RDF
44	Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey	Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics.	CoRR	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.	Math. Program.	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.	CDC	2008	DBLP DOI BibTeX RDF
22	Christos A. Athanasiadis	Piles of Cubes, Monotone Path Polytopes, and Hyperplane Arrangements.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
22	Richard Andrade, Julio E. Normey-Rico, Guilherme V. Raffo	Tube-Based Model Predictive Control Based on Constrained Zonotopes.	IEEE Access	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.	Autom.	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.	IEEE Trans. Robotics	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.	CoRR	2024	DBLP DOI BibTeX RDF
22	Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano	Projection-free computation of robust controllable sets with constrained zonotopes.	CoRR	2024	DBLP DOI BibTeX RDF
22	Tobias Ladner, Matthias Althoff	Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.	AAAI	2024	DBLP DOI BibTeX RDF
22	Yuhao Zhang 0005, Hang Zhang, Xiangru Xu	Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.	IEEE Control. Syst. Lett.	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.	IEEE Control. Syst. Lett.	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.	Inf. Sci.	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.	Eur. J. Control	2023	DBLP DOI BibTeX RDF
22	Niklas Kochdumper, Matthias Althoff	Constrained polynomial zonotopes.	Acta Informatica	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.	IEEE Trans. Circuits Syst. I Regul. Pap.	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.	Int. J. Syst. Sci.	2023	DBLP DOI BibTeX RDF
22	Shreyas Kousik, Adam Dai, Grace Xingxin Gao	Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection.	IEEE Trans. Autom. Control.	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.	Autom.	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.	CoRR	2023	DBLP DOI BibTeX RDF
22	Joshua Ortiz, Alyssa Vellucci, Justin Koeln, Justin Ruths	Hybrid Zonotopes Exactly Represent ReLU Neural Networks.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
22	Yuhao Zhang 0005, Hang Zhang, Xiangru Xu	Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
22	Carlos Trapiello, Christophe Combastel, Ali Zolghadri	Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
22	Mohammed M. Dawoud, Changxin Liu, Amr Alanwar 0001, Karl Henrik Johansson	Differentially Private Set-Based Estimation Using Zonotopes.	CoRR	2023	DBLP DOI BibTeX RDF
22	Brenner S. Rego	Set-based state estimation and fault diagnosis using constrained zonotopes and applications.	CoRR	2023	DBLP DOI BibTeX RDF
22	Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001	On the Difficulty of Intersection Checking with Polynomial Zonotopes.	CoRR	2023	DBLP DOI BibTeX RDF
22	Rainie Bozzai, Victor Reis, Thomas Rothvoss	The Vector Balancing Constant for Zonotopes.	FOCS	2023	DBLP DOI BibTeX RDF
22	Yuhao Zhang 0005, Xiangru Xu	Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes.	ACC	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.	ACC	2023	DBLP DOI BibTeX RDF
22	Ertai Luo, Niklas Kochdumper, Stanley Bak	Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.	HSCC	2023	DBLP DOI BibTeX RDF
22	Mohammed M. Dawoud, Changxin Liu, Amr Alanwar 0001, Karl Henrik Johansson	Differentially Private Set-Based Estimation Using Zonotopes.	ECC	2023	DBLP BibTeX RDF
22	Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001	On the Difficulty of Intersection Checking with Polynomial Zonotopes.	ATVA	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.	CDC	2023	DBLP DOI BibTeX RDF
22	Jonas Wagner, Tanner Kogel, Justin Ruths	Set-Based Anomaly Detector and Stealthy Attack Impact Using Constrained Zonotopes.	CDC	2023	DBLP DOI BibTeX RDF
22	Joshua Ortiz, Alyssa Vellucci, Justin Koeln, Justin Ruths	Hybrid Zonotopes Exactly Represent ReLU Neural Networks.	CDC	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.	CDC	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.	CDC	2023	DBLP DOI BibTeX RDF
22	Lenka Kuklisová Pavelková	Bayesian State Estimation Using Constrained Zonotopes.	ICINCO (2)	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.	NFM	2023	DBLP DOI BibTeX RDF
22	Trevor J. Bird, Neera Jain	Unions and Complements of Hybrid Zonotopes.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
22	Younan Zhao, Yuyan Tang, Fanglai Zhu	Fault Detection for Uncertain Incremental Quadratic Nonlinear System Based on Zonotopes.	Circuits Syst. Signal Process.	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.	IEEE Trans. Netw. Sci. Eng.	2022	DBLP DOI BibTeX RDF
22	Vignesh Raghuraman, Justin P. Koeln	Set operations and order reductions for constrained zonotopes.	Autom.	2022	DBLP DOI BibTeX RDF
22	Christophe Combastel	Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering.	Autom.	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.	Autom.	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	IEEE Trans. Control. Syst. Technol.	2022	DBLP DOI BibTeX RDF
22	Arvind S. Adimoolam, Thao Dang 0001	Safety Verification of Networked Control Systems by Complex Zonotopes.	Leibniz Trans. Embed. Syst.	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
22	Laurel Heck, Victor Reis, Thomas Rothvoss	The Vector Balancing Constant for Zonotopes.	CoRR	2022	DBLP DOI BibTeX RDF
22	Yuhao Zhang 0005, Xiangru Xu	Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.	CoRR	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.	CoRR	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.	CCTA	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.	ACC	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.	ECC	2022	DBLP DOI BibTeX RDF
22	Yuhao Zhang 0005, Xiangru Xu	Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.	CDC	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.	AAAI	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.	WCNC	2022	DBLP DOI BibTeX RDF
22	Panagiotis Misiakos, Georgios Smyrnis, George Retsinas, Petros Maragos	Neural Network Approximation based on Hausdorff distance of Tropical Zonotopes.	ICLR	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)		2022	RDF
22	Niklas Kochdumper, Matthias Althoff	Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.	IEEE Trans. Autom. Control.	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.	Autom.	2021	DBLP DOI BibTeX RDF
22	Rob Edman, Pakawut Jiradilok, Gaku Liu, Thomas McConville	Zonotopes whose cellular strings are all coherent.	Eur. J. Comb.	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.	CoRR	2021	DBLP BibTeX RDF
22	Shreyas Kousik, Adam Dai, Grace Xingxin Gao	Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection.	CoRR	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.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
22	Martin Winter	Classification of Vertex-Transitive Zonotopes.	Discret. Comput. Geom.	2021	DBLP DOI BibTeX RDF
22	Vignesh Raghuraman, Justin P. Koeln	Tube-based robust MPC with adjustable uncertainty sets using zonotopes.	ACC	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 *.	CDC	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.	L4DC	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.	Int. J. Control	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.	Autom.	2020	DBLP DOI BibTeX RDF
22	Mingwang Zhao	Exact Volume of Zonotopes Generated by a Matrix Pair.	CoRR	2020	DBLP BibTeX RDF
22	Vignesh Raghuraman, Justin P. Koeln	Set operations and order reductions for constrained zonotopes.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF
22	Amr Alanwar 0001, Anne Koch 0001, Frank Allgöwer, Karl Henrik Johansson	Data-Driven Reachability Analysis Using Matrix Zonotopes.	CoRR	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.	ICMS	2020	DBLP DOI BibTeX RDF
22	Khoury Boutrous, Fatiha Nejjari, Vicenç Puig	Robust Economic Model Predictive Control of Drinking Water Transport Networks Using Zonotopes.	KKA	2020	DBLP DOI BibTeX RDF