Author:
Bouyer Patricia,Markey Nicolas,Perrin Nicolas,Schlehuber-Caissier Philipp
Funder
European Research Council (BE)
European Commission
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference29 articles.
1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
2. Asarin E, Maler O, Pnueli A (1995) Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor Comput Sci 138(1):35–65
3. Asarin E, Maler O, Pnueli A, Sifakis J (1998) Controller synthesis for timed automata. In: IEEE SSSC’98. Elsevier, New York, pp 469–474
4. Aubin JP (1988) Viability tubes. In: Modelling and adaptive control. Springer, New York, pp. 27–47
5. Behrmann G, David A, Larsen KG, Håkansson J, Pettersson P, Yi W, Hendriks M (2006) Uppaal 4.0. In: IEEE quantitative evaluation of systems (QEST’06), pp. 125–126
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献