Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles

Proceedings of the American Control Conference

Volumn 1, Issue , 2005, Pages 668-673

  Tangirala, S ^a   Kumar, R ^b   Bhattacharyya, S ^c   O'Connor, M ^a   Holloway, L E ^c  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b Iowa State University   (United States)

^c UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS UNDERWATER VEHICLES (AUV); HIERARCHICAL MISSION CONTROL; HYBRID SYSTEMS; MISSION CONTROL ARCHITECTURE;

AUTOMATA THEORY; AUTONOMOUS AGENTS; COMPUTER ARCHITECTURE; CONSTRAINT THEORY; REAL TIME SYSTEMS; REMOTELY OPERATED VEHICLES;

HIERARCHICAL SYSTEMS;

EID: 23944475415     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Kumar, R., and Stover, J.A., "A Behavior-Based Intelligent Control Architecture with Application to Coordination of Multiple Underwater Vehicles," IEEE transactions on systems, man, and cybernetics - part a: systems and humans, vol. 30, no. 6, November 2000.
2. McPhail S.D., Pebody M., 1998, Autosub-1: Mission programming and control of an Autonomous Underwater Vehicle, Proc. Third European Marine Science and technology Conference, May 1998, Lisbon, Portugal.
3. Bellingham, J.G., Consi, T.R., Beaton, R., and Hall, W., Keeping Layered Control Simple, In Proceedings AUV'90, 1990.
4. www.teja.com
5. www.uppaal.com
6. Alur, R., Courcoubetis, C., and Dill, D., "Model Checking for Real-Time Systems", Proceedings of Logic in Computer Science, pp. 414-425, 1990.
7. Alur, R., Henzinger, T.A., Lafferriere, G., and Pappas, G.J., Discrete Abstractions of Hybrid Systems. Proceedings of the IEEE, 88, July 2000.
8. Henzinger, T.A., Ho, P-H., and Wong-Toi, H., "A user guide to HyTech," Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95), Lecture Notes in Computer Science 1019, Springer-Verlag, 41-71, 1995.
9. Larsen. K.G., and Pettersson, P., "Timed and Hybrid Systems in UPPAAL2k", MOVEP'2k : Modeling and Verification of Parallel Processes, Nantes, France, 2000.