Author:
Bird Trevor J.,Pangborn Herschel C.,Jain Neera,Koeln Justin P.
Funder
National Science Foundation
Air Force Research Laboratory
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference28 articles.
1. Presolve reductions in mixed integer programming;Achterberg;INFORMS Journal on Computing,2020
2. Set propagation techniques for reachability analysis;Althoff;Annual Review of Control, Robotics, and Autonomous Systems,2021
3. Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes;Althoff;Nonlinear Analysis. Hybrid Systems,2010
4. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
5. Approximate reachability analysis of piecewise-linear dynamical systems;Asarin,2000
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献