Author:
Girault Johan,Loiseau Jean-Jacques,Roux Olivier H.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference19 articles.
1. Arnaud Y, Cury JER, Loiseau JJ, Martinez C (2009) Pilotage sûr et optimal d’une flotte de véhicules autoguidés. In: JD-JN-MACS 2009. Angers, France
2. Breton L, Maza S, Castagna P (2006) A multi-agent based conflict-free routing approach of bi-directional automated guided vehicles. In: American Control Conference, 2006
3. Cai K, Wonham WM (2010) Supervisor localization: A top-down approach to distributed control of discrete-event systems. IEEE Trans Autom Control 55(3):605–618. doi: 10.1109/TAC.2009.2039237
4. Cassandras CG, Lafortune S (2006) Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus
5. Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244–263. doi: 10.1145/5397.5399
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献