Execution Control and Reconfiguration of Navigation, Guidance and Control Tasks for UUVs

Abstract In this paper the reconfiguration capabilities of a control architecture for Remotely Operated Vehicles (ROVs) are investigated. The design of the control architecture is based on the idea to use the Petri net formalism. The "safe" behavior of the architecture is guaranteed by enforcing some place invariants on the marking of the net. Moreover, the Petri net representation of the control architecture lets one to use an unfolding technique to explore the reachable configurations in an efficient way. Preliminary simulation results are shown, which demonstrate the feasibility of the proposed technique.

[1]  Kenneth L. McMillan,et al.  A technique of state space search based on unfolding , 1995, Formal Methods Syst. Des..

[2]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[3]  Panos J. Antsaklis,et al.  Introduction to intelligent control systems with high degrees of autonomy , 1993 .

[4]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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

[6]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[7]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..

[8]  Massimo Caccia,et al.  Execution control of robotic tasks: estimators representation , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[9]  GianAntonio Magnani,et al.  A technique for designing robotic control systems based on Petri nets , 1998, IEEE Trans. Control. Syst. Technol..

[10]  Rachid Alami,et al.  An Architecture for Autonomy , 1998, Int. J. Robotics Res..

[11]  Arthur C. Sanderson,et al.  Task decomposition and analysis of robotic assembly task plans using Petri nets , 1994, IEEE Trans. Ind. Electron..

[12]  Luis Montano,et al.  Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications , 2000, Int. J. Robotics Res..

[13]  Frank L. Lewis,et al.  A framework for hybrid control design , 1997, IEEE Trans. Syst. Man Cybern. Part A.