activity
20212024
most citedReachability Analysis Using Hybrid Zonotopes and Functional Decomposition

5 citations · 10 across the 6 of their papers we have counts for

collaborators

6 papers

eess.SY2024★ 1 cited

Nonlinear Model Predictive Control of a Hybrid Thermal Management System

Demetrius Gulewicz, Uduak Inyang-Udoh, Trevor Bird +1

Model predictive control has gained popularity for its ability to satisfy constraints and guarantee robustness for certain classes of systems. However, for systems whose dynamics a…

eess.SY2023

A Set-Based Approach for Robust Control Co-Design

Trevor J. Bird, Jacob A. Siefert, Herschel C. Pangborn +1

Control Co-Design (CCD) considers the coupled effects of both the plant and control parameters to optimize a system's closed-loop transient performance during the design stage. Thi…

eess.SY2023

zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes

Justin Koeln, Trevor J. Bird, Jacob Siefert +3

This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation. Hybrid zonotopes have proven to be an expr…

eess.SY2023★ 5 cited

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition

Jacob A. Siefert, Trevor J. Bird, Andrew F. Thompson +4

This paper proposes methods for reachability analysis of nonlinear systems in both open loop and closed loop with advanced controllers. The methods combine hybrid zonotopes, a cons…

eess.SY2022

Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes

Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln +2

This paper presents identities for calculating over-approximated successor sets of discrete-time nonlinear systems using hybrid zonotopes. The proposed technique extends the state-…

eess.SY2021★ 4 cited

Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems

Trevor J. Bird, Herschel C. Pangborn, Neera Jain +1

This article presents a new set representation named the hybrid zonotope that is equivalent to the union of constrained zonotopes -- convex polytopes -- through the addition…