Author:
Antakly Dimitri,Loiseau Jean Jacques,Abbou Rosa
Subject
Control and Systems Engineering
Reference9 articles.
1. Arnaud Y., Cury, J., Loiseau, J.J., and Martinez, C. (2009). Using UPAAL for the secure and optimal control of AGV fleet. In Proc. 7th Workshop on Advanced Control and Diagnosis ACD 2009, Pologne, 19-20 novembre 2009.
2. Modelling and Verification of Time Petri Dependent Systems Using Time Petri Net;Berthomieu;IEEE Trans. Software Engineering,1991
3. Coloured timed Petri net model for real-time control of automated guided vehicle systems;Dotoli;Int. Journal of Production Research,2004
4. On-line compositional controller synthesis for AGV;Girault;Discrete Event Dynamic Systems,2016
5. Lime, D., Roux, O.H., Scidner, C., Traoumouez, L.M. (2009). Romeo: A parametric model-checker for Petri nets with stopwatches. In Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 5505, 54-57.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献