Using petri nets to specify and execute missions for autonomous underwater vehicles
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 describe...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2009 |
| País: | España |
| Institución: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repositorio: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:10256/2290 |
| Acceso en línea: | http://hdl.handle.net/10256/2290 |
| Access Level: | acceso abierto |
| Palabra clave: | 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 |
| Sumario: | 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 |
|---|