3 citations · 5 across the 6 of their papers we have counts for
7 papers · 1 filter
Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
Joshua A. Robbins, Jacob A. Siefert, Herschel C. Pangborn
The constrained zonotope is a polytopic set representation widely used for set-based analysis and control of dynamic systems. This paper develops methods to formulate and solve opt…
Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks
Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson +2
Functional decomposition is a powerful tool for systems analysis because it can reduce a function of arbitrary input dimensions to the sum and superposition of functions of a singl…
Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique
Jonah J. Glunt, Joshua A. Robbins, Jacob A. Siefert +2
Mixed integer set representations, and specifically hybrid zonotopes, have enabled new techniques for reachability and verification of nonlinear and hybrid systems. Mixed-integer s…
Mixed-Integer MPC-Based Motion Planning Using Hybrid Zonotopes with Tight Relaxations
Joshua A. Robbins, Jacob A. Siefert, Sean Brennan +1
Autonomous vehicle (AV) motion planning problems often involve non-convex constraints, which present a major barrier to applying model predictive control (MPC) in real time on embe…
Error Bounds for Compositions of Piecewise Affine Approximations
Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson +1
Nonlinear expressions are often approximated by piecewise affine (PWA) functions to simplify analysis or reduce computational costs. To reduce computational complexity, multivariat…
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…