Author:
Dreossi Tommaso,Dang Thao,Piazza Carla
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference79 articles.
1. Althoff M, Le Guernic C, Krogh BH (2011) Reachable set computation for uncertain time-varying linear systems. In: Hybrid systems: computation and control, HSCC. ACM, pp 93–102
2. Anai H, Weispfenning V (2001) Reach set computations using real quantifier elimination. In: Hybrid systems: computation and control, HSCC, pp 63–76
3. Asarin E, Bournez O, Dang T, Maler O (2000) Approximate reachability analysis of piecewise-linear dynamical systems. In: Hybrid systems: computation and control, HSCC. Springer, pp 20–31
4. Ashraf Q, Galor O (2011) Cultural diversity, geographical isolation, and the origin of the wealth of nations. Technical report, National Bureau of Economic Research
5. Balluchi A, Casagrande A, Collins P, Ferrari A, Villa T, Sangiovanni-Vincentelli AL (2006) Ariadne: a framework for reachability analysis of hybrid automata. In: Mathematical theory of networks and systems, MTNS. Citeseer
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献