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 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

A mission control system for an autonomous underwater vehicle

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.

Anàlisi dels descartaments efectuats per la flota d'arrossegament en el Golf de Lleó

La pesca d'arrossegament practicada al mar Mediterrani incideix sobre un rang batimètric molt ampli i afecta a nombrosos tipus de fons que presenten comunitats molt diversificades, on les espècies de peixos, crustacis, cefalòpodes, altres mol·luscs, equinoderms i d'altres macroorganismes epibentònics interaccionen entre si. D'aquí la importància de caracteritzar amb una aproximació multiespecífica els fons explotats, com la que aquí hem dut a terme, prenent en consideració no tan sols les espècies d'interès comercial sinó totes les espècies que conformen la comunitat. Els objectius concrets d'aquesta tesi estan centrats en l'estudi qualitatiu i quantitatiu dels descartaments produïts per la pesca d'arrossegament que efectua la flota espanyola en la zona del Golf de Lleó, i en aspectes relacionats a millorar la selectivitat de les xarxes emprades canviant el disseny de la malla tradicional per malla quadrada. El mostreig s'ha dut a terme a bord d'una embarcació d'arrossegament comercial, amb una freqüència setmanal, dins el període comprès entre març del 1998 i març del 2000. En total s'han analitzat 68 pesques. Totes les mostres estudiades provenen del primer vol del dia i s'han capturat a fondàries entre 50 i 500 metres. De tot el volum capturat durant l'estudi s'han identificat un total de 307 espècies pertanyent a diversos grups taxonòmics. El grup taxonòmic majoritari és el dels peixos amb 133 espècies, seguit dels crustacis, els cefalòpodes, els equinoderms i finalment el grup d'altres invertebrats. L'espècie més capturada en nombre a la pesquera del Golf de Lleó ha estat la cervellina (Leptometra phalangium) i les més capturades en biomassa han estat la sardina (Sardina pilchardus) i el lluç mediterrani (Merluccius merluccius smiridus). Pel total de la captura la fracció descartada en nombre d'individus representa el 71% mentre que la biomassa descartada és de l'ordre del 36%. La causa més important en quant a quantitat de rebuig produït és la que respon al compliment de la normativa vigent, ja sigui per les talles mínimes legals o per les captures acompanyants permeses. Els majors descartaments estacionals en termes d'abundància es donen a la primavera i l'estiu, coincidint amb l'època de reclutament de la majoria de les espècies explotades. En canvi, els descartaments estacionals en termes de biomassa són excepcionalment elevats a l'estiu i estan provocats per la captura massiva de sardina (S. pilchardus) durant aquesta època de l'any. El rebuig expressat tant en nombre com en pes disminueix en funció de l'estrat de fondària, essent la quantitat descartada major en l'estrat A (50-200 m) i menor en l'estrat C (>400 m). S'ha comprovat que el disseny de malla quadrada aplicat al cóp de les xarxes d'arrossegament fa augmentar dràsticament, tant en nombre com en pes, el percentatge d'individus escapats, disminuint a la vegada la quantitat de descartament. També s'aconsegueix un augment de la mida de primera captura (L50) de totes les espècies excepte en la bruixa de quatre taques (Lepidorhombus boscii). A més es redueix l'impacte de la pesca sobre els estocs d'individus juvenils, sobretot d'espècies que presenten una secció de cos rodona com el lluç mediterrani (M. merluccius smiridus) i el verat (Scomber scombrus), disminuint així la sobrepesca de creixement i de reclutament al mateix temps que s'assegura i es millora la venda d'exemplars de mida legal.

Distribució espacial i ús de l'hàbitat de la comunitat de peixos a l'estany de Banyoles

En el marc d'un projecte més ampli sobre la comunitat de peixos de la conca lacustre de Banyoles, s'ha estudiat la distribució espacial de les diferents espècies així com l'ús que aquestes fan de l'hàbitat. El poblament piscícola de l'estany de Banyoles és el resultat d'un llarg historial d'introducció d'espècies exòtiques i extinció de les poblacions autòctones locals. S'ha revisat la seva composició actual detectant un total de 18 espècies (4 autòctones i 14 introduïdes) de les quals només 13 presenten una població estable. L'estudi de l'hàbitat s'ha centrat a l'Estany, l'element principal del sistema lacustre, analitzant per separat la zona litoral i la zona limnètica. En el primer cas s'han realitzat les captures d'individus mitjançant pesca elèctrica des d'una embarcació adaptada per aquesta pràctica. La totalitat del litoral ha estat dividida en trams de característiques homogènies on s'han obtingut les captures per unitat d'esforç per cada espècie. El mostreig s'ha desenvolupat entre l'estiu de 1997 i la primavera del 2000 realitzant un total de 10 campanyes de pesca. Les espècies més abundants al litoral són la perca americana (Micropterus salmoides) i el peix sol (Lepomis gibbosus), essent també presents la perca (Perca fluviatilis), carpa (Cyprinus carpio) i el gardí (Scardinius erythrophthalmus). S'han capturat altres espècies com ara anguila (Anguilla anguilla), bagra (Squalius cephalus), sandra (Sander lucioperca), carpí (Carassius auratus) i madrilleta vera (Rutilus rutilus), però són molt menys abundants en nombre. S'ha examinat, per cadascuna de les espècies, si existeix selecció de l'hàbitat i en cas afirmatiu, quin és el preferent en base a la classificació del litoral en sis tipus de vegetació predominant. Les espècies més abundants, perca americana i peix sol, ocupen tots els hàbitats disponibles però amb una densitat diferent. La perca mostra també una clara selecció de l'hàbitat a favor de les zones molt estructurades amb abundant presència de jonca litoral. Carpa i gardí seleccionen els ambients més fondos amb major presència de matèria orgànica d'origen vegetal procedent del bogar. En general els individus ocupen les zones amb una densitat de vegetació intermèdia, majoritàriament zones de jonca a l'estiu i zones amb mansega a l'hivern, on troben refugi i els recursos tròfics necessaris. La perca americana, a més, presenta una elevada fidelitat a un mateix punt del litoral al llarg de la seva vida. La zona limnètica ha estat prospectada mensualment mitjançant ecosondació, realitzant transectes perpendiculars a l'eix principal de l'Estany, cobrint la seva totalitat. La composició d'espècies s'ha obtingut a partir de les captures fetes amb xarxes (tresmalls) amb periodicitat estacional. L'anàlisi geoestadística de la densitat de peixos ha permès descriure l'estructura espacial d'aquesta a partir dels variogrames, així com la seva variabilitat tant espacial com temporal, i obtenir els mapes de densitat. A l'hivern, la densitat de peixos a la zona limnètica assoleix els seus valors mínims i els individus es troben formant agregats dispersos, pels diferents estrats de fondària. A partir de la primavera la densitat augmenta, pel reclutament i la major freqüència d'individus que abandonen el litoral; la densitat esdevé més homogènia a les primer capes de fondària. A l'estiu la densitat és màxima i l'estrat més homogeni coincideix amb la posició de la termoclina. Aquest estructura varia en disminuir la temperatura i barrejar-se la columna d'aigua, tornant a la situació hivernal. La perca i la madrilleta vera són les espècies predominants en aquest ambient, juntament amb la carpa. La seva distribució no és homogènia i respon a les característiques limnològiques de les diferents cubetes de l'Estany. Una particularitat d'aquest, relacionada amb el seu origen càrstic, es la formació d'una ploma hidrotermal que afecta la distribució dels peixos, probablement en augmentar la terbolesa. S'ha integrat l'ús de l'hàbitat de les espècies que ocupen tant la zona limnètica com la litoral a partir del seguiment d'individus, concretament de perca i bagra. S'ha utilitzat un sistema automàtic de posicionament que estima la localització dels individus marcats amb transmissor de telemetria acústica. L'anàlisi dels desplaçaments mostra un rang superior per la bagra en comparació amb la perca. Ambdues espècies mostren una orientació en els seus desplaçaments. La perca ocupa el litoral a la nit i es desplaça a la zona limnètica de dia, amb un ritme d'activitat marcat per dos màxims coincidint amb la sortida i posta de sol; en canvi la bagra mostra una major activitat nocturna amb zones de repòs properes al litoral. S'ha estimat igualment els dominis vital de cada individu marcat.