Author:
Kurganskyy Oleksiy,Potapov Igor
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci. 138, 35–66 (1995)
2. Asarin, E., Mysore, V., Pnueli, A., Schneider, G.: Low dimensional hybrid systems - decidable, undecidable, don’t know. Inf. Comput. 211, 138–159 (2012)
3. Lecture Notes in Computer Science;E Asarin,2002
4. Lecture Notes in Computer Science;A Aswani,2007
5. Bazille, H., Bournez, O., Gomaa, W., Pouly, A.: On the complexity of bounded time reachability for piecewise affine systems. In: RP 2014, pp. 20–31 (2014)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献