Author:
Chianello Correia Eduardo Ottavio,Carrilho da Cunha Antonio Eduardo
Subject
Control and Systems Engineering
Reference18 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Asarin, E. and Maler, O. (1999). As soon as possible: Time optimal control for timed automata. volume 1569.
3. Asarin, E., Maler, O., Pnueli, A., and Sifakis, J. (1998). Controller synthesis for timed automata.
4. Behrmann, G., David, A., Larsen, K.G., Cougnard, A., Fleury, E., and Lime, D. (2007). Uppaal tiga user-manual.
5. Bengtsson, J. and Yi, W. (2004). Timed automata: Semantics, algorithms and tools. In In Lecture Notes on Concurrency and Petri Nets, LNCS 3098.