nam a 5i 4500
Autonomous underwater vehicle
Vehicles submarins autònoms
Vehículos submarinos autónomos
Petri nets
Xarxes petri
Redes petri
Control architectures
A mission control system for an autonomous underwater vehicle
[Girona]:
Universitat de Girona,
[2012]
Accés lliure
http://hdl.handle.net/10803/69957
cr |||||||||||
AAMMDDs2012 sp ||||fsm||||0|| 0 eng|c
Palomeras Rovira, Narcís,
autor
1 recurs en línia (246 pàgines)
Tesi
Doctorat
Universitat de Girona. Departament d'Arquitectura i Tecnologia de Computadors
2011
Universitat de Girona. Departament d'Arquitectura i Tecnologia de Computadors
Tesis i dissertacions electròniques
Ridao Rodríguez, Pere,
supervisor acadèmic
Silvestre, Carlos Jorge Ferreira,
supervisor acadèmic
TDX
DL Gi. 253-2012
Biblioteca de Catalunya
The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design principles for the formal description of missions using Petri nets. The proposed methodology compounds Petri net building blocks within it to de_ne a mission plan for which it is proved that formal properties, such as reachability and reusability, hold as long as these same properties are also guaranteed by each Petri net building block. To simplify the de_nition of these Petri net blocks as well as their composition, a high level language called Mission Control Language has been developed. Moreover, a methodology to ensure coordination constraints for teams of multiple robots as well as the de_nition of an interface between the proposed system and an on-board planner able to plan/replan sequences of prede_ned mission plans is included as well. Results of experiments with several real underwater vehicles and simulations involving an autonomous surface craft and an autonomous underwater vehicles are presented to show the system's capabilities.
g
ES-BaCBU
cat
rda
ES-BaCBU
text
txt
rdacontent
informàtic
c
rdamedia
recurs en línia
cr
rdacarrier