Author:
Yagoubi Rim Saddem,Naud Olivier,Dejean Karen Godary,Crestani Didier
Subject
Control and Systems Engineering
Reference16 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Alur, R., La Torre, S., and Pappas, G.J. (2001). Optimal paths in weighted timed automata. In International Workshop on Hybrid Systems: Computation and Control, 49–62. Springer.
3. Behrmann, G., Fehnker, A., Hune, T., Larsen, K., Pet-tersson, P., Romijn, J., and Vaandrager, F. (2001a). Minimum-cost reachability for priced timed automata. In International Workshop on Hybrid Systems: Computation and Control, volume 1, 147–161. Springer.
4. Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Petterson, P., and Romijn, J. (2001b). Guiding and cost-optimality in uppaal. In AAAI-Spring Symposium on Model-based Validation of Intelligence, 66–74.
5. Behrmann, G., Larsen, K.G., and Rasmussen, J.I. (2004). Priced timed automata: Algorithms and applications. In FMCO, volume 3657, 162–182. Springer.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献