Funder
ERC
European Research Council
Deutsche Forschungsgemeinschaft
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference69 articles.
1. Reachability analysis for solvable dynamical systems;Gan;IEEE Trans. Automat. Control,2018
2. Computing semi-algebraic invariants for polynomial dynamical systems;Liu,2011
3. Characterizing algebraic invariants by differential radical invariants;Ghorbal,2014
4. Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs;Boreale;Sci. Comput. Programm.,2020
5. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games;Mitchell;IEEE Trans. Automat. Control,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献