Justin P. Koeln
- Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems
2021/06/28 by Trevor J. Bird, Bird, Trevor J., Herschel C. Pangborn +5 · 11 citations
Computer Science · Engineering · #Formal Methods in Verification #Petri Nets in System Modeling #Advanced Control Systems Optimization
- Set operations and order reductions for constrained zonotopes
2020/09/13 by Vignesh Raghuraman, Raghuraman, Vignesh, Justin P. Koeln +1 · 6 citations
Engineering · Mathematics · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #FOS: Electrical engineering #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes
2023/10/24 by Justin P. Koeln, Koeln, Justin, Trevor J. Bird +9 · 5 citations
Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Receptor Mechanisms and Signaling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Robust Model Predictive Control for nonlinear discrete-time systems using iterative time-varying constraint tightening
2024/02/20 by Daniel D. Leister, Leister, Daniel D., Justin P. Koeln +1 · 3 citations
Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #FOS: Electrical engineering #Iterative Learning Control Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Hybrid Zonotopes Exactly Represent ReLU Neural Networks
2023/04/05 by Joshua Ortiz, Ortiz, Joshua, Alyssa Vellucci +5 · 2 citations
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering