To access the full text documents, please follow this link:

Using petri nets to specify and execute missions for autonomous underwater vehicles
Palomeras Rovira, Narcís; Ridao Rodríguez, Pere; Carreras Pérez, Marc; Silvestre, Carlos Jorge Ferreira
This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented
Petri, Xarxes de
Robots -- Sistemes de control
Robots -- Projectes i construcció
Robots autònoms -- Sistemes de control
Vehicles submergibles -- Sistemes de control
Petri nets
Robots -- Control systems
Robots -- Design and construction
Submersibles -- Control systems
Tots els drets reservats

Show full item record

Related documents

Other documents of the same author

El-Fakdi Sencianes, Andrés; Carreras Pérez, Marc; Palomeras Rovira, Narcís; Ridao Rodríguez, Pere
Palomeras Rovira, Narcís; Carreras Pérez, Marc; Ridao Rodríguez, Pere; Hernández Bes, Emili
Ribas Romagós, David; Palomeras Rovira, Narcís; Ridao Rodríguez, Pere; Carreras Pérez, Marc; Hernández Bes, Emili
Hernández Vega, Juan David; Istenič, Klemen; Grácias, Nuno Ricardo Estrela; Palomeras Rovira, Narcís; Campos Dausà, Ricard; Vidal Garcia, Eduard; García Campos, Rafael; Carreras Pérez, Marc
Galceran Yebenes, Enric; Palomeras Rovira, Narcís; Carreras Pérez, Marc