5 citations · 17 across the 11 of their papers we have counts for
12 papers
Graph-Based Modeling, Control, and Optimization for Multi-Domain and Multi-Timescale Energy Systems
Joseph M. Pisani, Christopher T. Aksland, Philip M. Renkert +7
Modern energy systems in vehicles and built infrastructure are governed by high-dimensional dynamics spanning multiple physical domains (e.g., electrical, thermal, mechanical) and…
Motion Planning with Precedence Specifications via Augmented Graphs of Convex Sets
Shilin You, Gael Luna, Juned Shaikh +4
We present an algorithm for planning trajectories that avoid obstacles and satisfy key-door precedence specifications expressed with a fragment of signal temporal logic. Our method…
Robust Model Predictive Control for nonlinear discrete-time systems using iterative time-varying constraint tightening
Daniel D. Leister, Justin P. Koeln
Robust Model Predictive Control (MPC) for nonlinear systems is a problem that poses significant challenges as highlighted by the diversity of approaches proposed in the last decade…
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…
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
Joshua Ortiz, Alyssa Vellucci, Justin Koeln +1
We show that hybrid zonotopes offer an equivalent representation of feed-forward fully connected neural networks with ReLU activation functions. Our approach demonstrates that the…
Switched Moving Boundary Modeling of Phase Change Thermal Energy Storage Systems
Trent J. Sakakini, Justin P. Koeln
Thermal Energy Storage (TES) devices, which leverage the constant-temperature thermal capacity of the latent heat of a Phase Change Material (PCM), provide benefits to a variety of…
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…
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-…
Hierarchical MPC for coupled subsystems using adjustable tubes
Vignesh Raghuraman, Justin P. Koeln
A hierarchical Model Predictive Control (MPC) formulation is presented for coupled discrete-time linear systems with state and input constraints. Compared to a centralized approach…
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…
Graphene-Based Electromechanical Thermal Switches
Michelle E. Chen, Miguel Muñoz Rojo, Feifei Lian +8
Thermal management is an important challenge in modern electronics, avionics, automotive, and energy storage systems. While passive thermal solutions (like heat sinks or heat sprea…
Set operations and order reductions for constrained zonotopes
Vignesh Raghuraman, Justin P. Koeln
This paper presents methods for using zonotopes and constrained zonotopes to improve the practicality of a wide variety of set-based operations commonly used in control theory. The…