References

1. Matthias Althoff & John M. Dolan (2014): Online verification of automated road vehicles using reachability analysis. IEEE Transaction on Robotics 30(4), pp. 903–918, doi:10.1109/TRO.2014.2312453.
2. Benchmarks of continuous and hybrid systems. Available at http://ths.rwth-aachen.de/research/projects/hypro/benchmarks-of-continuous-and-hybrid-systems/.
3. Olivier Bournez, Oded Maler & Amir Pnueli (1999): Orthogonal polyhedra: Representation and computation. In: Proc. HSCC'99, LNCS 1569. Springer, pp. 46–60, doi:10.1007/3-540-48983-5_8.
4. Xin Chen, Erika Ábrahám & Sriram Sankaranarayanan (2013): Flow*: An analyzer for non-linear hybrid systems. In: Proc. CAV'13, LNCS 8044. Springer, pp. 258–263, doi:10.1007/978-3-642-39799-8_18.
5. Xin Chen & Sriram Sankaranarayanan (2016): Decomposed reachability analysis for nonlinear systems. In: Proc. RTSS'16. IEEE Computer Society Press, pp. 13–24, doi:10.1109/RTSS.2016.011.
6. Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp & Erika Ábrahám (2015): SMT-RAT: An open source C++ toolbox for strategic and parallel SMT solving. In: Proc. SAT'15, LNCS 9340. Springer, pp. 360–368, doi:10.1007/978-3-319-24318-4_26.
7. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang & Oded Maler (2011): SpaceEx: Scalable verification of hybrid systems. In: Proc. CAV'11, LNCS 6806. Springer, pp. 379–395, doi:10.1007/978-3-642-22110-1_30.
8. Antoine Girard (2005): Reachability of uncertain linear systems using zonotopes. In: Proc. HSCC'05, LNCS 3414. Springer, pp. 291–305, doi:10.1007/978-3-540-31954-2_19.
9. Willem Hagemann, Eike Möhlmann & Astrid Rakow (2014): Verifying a PI controller using SoapBox and Stabhyli: Experiences on establishing properties for a steering controller. In: Proc. ARCH'14, EPiC Series in Computer Science 34. EasyChair, pp. 115–125.
10. Thomas A. Henzinger (1996): The theory of hybrid automata. In: Proc. LICS'96. IEEE Computer Society Press, pp. 278–292, doi:10.1007/978-3-642-59615-5_13.
11. HyCreate. Available at http://stanleybak.com/projects/hycreate/hycreate.html.
12. HyPro Project website. Available at http://ths.rwth-aachen.de/research/projects/hypro/.
13. HyReach. Available at https://embedded.rwth-aachen.de/doku.php?id=en:tools:hyreach.
14. Colas Le Guernic & Antoine Girard (2010): Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems 4(2), pp. 250–262, doi:10.1016/j.nahs.2009.03.002.
15. Andrew Makhorin: GNU Linear Programming Kit home page. Available at http://www.gnu.org/software/glpk/glpk.html.
16. Ramon E. Moore, Ralph Baker Kearfott & Michael J. Cloud (2009): Introduction to interval analysis. SIAM, doi:10.1137/1.9780898717716.
17. Leonardo M. de Moura & Nikolaj Bjørner (2008): Z3: An efficient SMT solver. In: Proc. TACAS'08, LNCS 4963. Springer, pp. 337–340, doi:10.1007/978-3-540-78800-3_24.
18. Johanna Nellen (2016): Analysis and synthesis of hybrid systems in engineering applications. RWTH Aachen University, Aachen. Available at https://publications.rwth-aachen.de/record/680323.
19. Stefan Schupp, Erika Abraham, Ibtissem Ben Makhlouf & Stefan Kowalewski (2017): HyPro: A C++ library for state set representations for hybrid systems reachability analysis. In: Proc. NFM'17, LNCS 10227. Springer, pp. 288–294, doi:10.1007/978-3-319-57288-8_20.
20. Roland Wunderling (1996): Paralleler und objektorientierter simplex-algorithmus. Technische Universität Berlin.
21. Günter M. Ziegler (1995): Lectures on polytopes 152. Springer, doi:10.1007/978-1-4613-8431-1.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org