Author:
Capiluppi Marta,Segala Roberto
Publisher
Springer International Publishing
Reference13 articles.
1. Alur R, Dill D (1990) Automata for modeling real-time systems (Lecture notes in computer science), vol 443, pp 322–335
2. Alur R, Courcoubetis C, Henziger T, Ho P (1993) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems (Lecture notes in computer science), vol 736, pp 209–229
3. Jin Y, Liao Y, Polycarpou MM (2006) Balancing search and target response in cooperative unmanned aerial vehicle (UAV) teams. IEEE Trans Syst Man Cybern 38(3)
4. De Sousa JB, Johansson KH, Speranzon A, Silva J (2005) A control architecture for multiple submarines in coordinated search missions. In: 16th IFAC World Congress on automatic control
5. Varaiya P (1993) Smart cars on smart roads: problems of control. IEEE Trans Autom Control 38(2):195–207