Pangborn, Herschel C.

1. Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems
   2021/06/28 by Trevor J. Bird, Herschel C. Pangborn, Bird, Trevor J. +5 · 9 citations
   Computer Science · Engineering · #Formal Methods in Verification #Petri Nets in System Modeling #Advanced Control Systems Optimization
2. Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
   2023/04/13 by Siefert, Jacob A., Bird, Trevor J., Thompson, Andrew F. +4 · 1 citation
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Mixed-Integer MPC-Based Motion Planning Using Hybrid Zonotopes with Tight Relaxations
   2024/11/02 by Robbins, Joshua A., Siefert, Jacob A., Brennan, Sean +1 · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Set-valued State Estimation for Nonlinear Systems Using Hybrid Zonotopes
   2023/04/17 by Jacob A. Siefert, Andrew F. Thompson, Siefert, Jacob A. +5 · 1 citation
   Computer Science · Engineering · #Control Systems and Identification #FOS: Electrical engineering #Fault Detection and Control Systems #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering