63 citations · 122 across the 63 of their papers we have counts for
4 papers · 1 filter
Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
Mahsa Farjadnia, Angela Fontan, Amr Alanwar +2
This work proposes a robust data-driven tube-based zonotopic predictive control (TZPC) approach for discrete-time linear systems, designed to ensure stability and recursive feasibi…
Privacy-Preserving Set-Based Estimation Using Differential Privacy and Zonotopes
Mohammed M. Dawoud, Changxin Liu, Karl H. Johansson +1
For large-scale cyber-physical systems, the collaboration of spatially distributed sensors is often needed to perform the state estimation process. Privacy concerns arise from disc…
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar +1
In this paper, we introduce a hybrid zonotope-based approach for formally verifying the behavior of autonomous systems operating under Linear Temporal Logic (LTL) specifications. I…
Reachability Analysis Using Constrained Polynomial Logical Zonotopes
Ahmad Hafez, Frank J. Jiang, Karl H. Johansson +1
In this paper, we propose reachability analysis using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of states that could be reached.…