Open AccessUsing UPPAAL for the secure and optimal control of AGV fleets
Author(s) -
Yoann Arnaud,
Jean-Louis Boimond,
J.E.R. Cury,
Jean Jacques Loiseau,
Claude Martínez
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , suite , automaton , supervisor , realization (probability) , automated guided vehicle , software , supervisory control , control (management) , routing (electronic design automation) , model checking , embedded system , distributed computing , control engineering , operating system , engineering , programming language , artificial intelligence , statistics , mathematics , archaeology , political science , law , history