Author:
LAHAYE Sébastien,LAI Aiwen,KOMENDA Jan
Subject
Control and Systems Engineering
Reference17 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Synchronization and Linearity;Baccelli,1992
3. Baier, C., Bertrand, N., Bouyer, P., and Brihaye, T. (2009). When are timed automata determinizable? In S. Albers, A. Marchetti-Spaccamela, Y. Matias, S. Niko-letseas, and W. Thomas (eds.), Automata, Languages and Programming, 43–54. Springer Berlin Heidelberg.
4. Handbook of Weighted Automata;Droste,2009
5. Performance Evaluation of (max,+) Automata;Gaubert;IEEE TAC,1995