Mission Control of the Marius Autonomous Underwater Vehicle: System Design, Implementation and Sea Trials

This paper describes the design and implementation of a mission control system for the MARIUS autonomous underwater vehicle (AUV). The framework adopted for system design builds on the key concept of vehicle primitive, which is a parametrized specification of an elementary operation performed by the vehicle. Vehicle primitives are obtained by coordinating the execution of a number of concurrent system tasks, which are parametrized specifications of classes of algorithms or procedures that implement basic functionalities in an underwater robotic system. Vehicle primitives are in turn logically and temporally chained to form more abstract mission procedures, which are executed as determined by mission programs, in reaction to external events. System task design is carried out using well-established tools from continuous- or discrete-time dynamic system theory, and finite-state automata to describe their logical (event-based) interaction with vehicle primitives. The design and analysis of vehicle primitives ...

[1]  King-Sun Fu,et al.  Learning control systems--Review and outlook , 1970 .

[2]  Bernard Espiau,et al.  Computer-aided design of a generic robot controller handling reactivity and real-time control issues , 1993, IEEE Trans. Control. Syst. Technol..

[3]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[4]  G.N. Saridis,et al.  Toward the realization of intelligent controls , 1979, Proceedings of the IEEE.

[5]  Panos J. Antsaklis,et al.  An introduction to intelligent and autonomous control , 1993 .

[6]  Ecnica De Lisboa REAL TIME MISSION CONTROL SYSTEM FOR AUTONOMOUS VEHICLES , 1996 .

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  George N. Saridis,et al.  Analytic formulation of the principle of increasing precision with decreasing intelligence for intelligent machines , 1988, Autom..

[9]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[10]  Gene F. Franklin,et al.  Digital control of dynamic systems , 1980 .

[11]  Robert B. McGhee,et al.  Autonomous underwater vehicle control coordination using a tri-level hybrid software architecture , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[12]  King-Sun Fu,et al.  Learning Control Systems-Review and Outlook , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[13]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[14]  Paul Freedman,et al.  Time, Petri nets, and robotics , 1991, IEEE Trans. Robotics Autom..

[15]  Bernard Espiau,et al.  On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification , 1995 .