Set-Based Reachability and the Explicit Solution of Linear MPC using Hybrid Zonotopes. - Trevor J. Bird; Neera Jain; Herschel C. Pangborn; Justin P. Koeln (ACC, 2022)

Unions and Complements of Hybrid Zonotopes. - Trevor J. Bird; Neera Jain (IEEE Control. Syst. Lett., 2022)

Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes. - Jacob A. Siefert; Trevor J. Bird; Justin P. Koeln; Neera Jain; Herschel C. Pangborn (ACC, 2023)

Reachability Analysis of Nonlinear Systems Using Hybrid Zonotopes and Functional Decomposition. - Jacob A. Siefert; Trevor J. Bird; Justin P. Koeln; Neera Jain; Herschel C. Pangborn (CoRR, 2023)

Robust Successor and Precursor Sets of Hybrid Systems Using Hybrid Zonotopes. - Jacob A. Siefert; Trevor J. Bird; Justin P. Koeln; Neera Jain; Herschel C. Pangborn (IEEE Control. Syst. Lett., 2023)

Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems. - Trevor J. Bird; Herschel C. Pangborn; Neera Jain; Justin P. Koeln (Autom., 2023)

A Set-Based Approach for Robust Control Co-Design. - Trevor J. Bird; Jacob A. Siefert; Herschel C. Pangborn; Neera Jain (ACC, 2024)

zonoLAB: A MATLAB Toolbox for Set-Based Control Systems Analysis Using Hybrid Zonotopes. - Justin Koeln; Trevor J. Bird; Jacob Siefert; Justin Ruths; Herschel C. Pangborn; Neera Jain (ACC, 2024)

Nonlinear Model Predictive Control of a Hybrid Thermal Management System. - Demetrius Gulewicz; Uduak Inyang-Udoh; Trevor J. Bird; Neera Jain (CoRR, 2024)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition. - Jacob A. Siefert; Trevor J. Bird; Andrew F. Thompson; Jonah J. Glunt; Justin P. Koeln; Neera Jain; Herschel C. Pangborn (IEEE Trans. Autom. Control., 2025)