Subject
Applied Mathematics,Computer Networks and Communications,Signal Processing,Control and Systems Engineering
Reference36 articles.
1. Reachability analysis and its application to the safety assessment of autonomous cars;Althoff,2010
2. Feedback refinement relations for the synthesis of symbolic controllers;Reissig;IEEE Trans. Autom. Control,2017
3. Recent progress in continuous and hybrid reachability analysis;Asarin,2006
4. Reachability analysis of linear systems using support functions;Le Guernic;Nonlinear Anal. Hybrid Syst.,2010
5. Bounds on the reachable sets of nonlinear control systems;Scott;Automatica J. IFAC,2013
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献