Figure 18 - uploaded by Vitor Vaz da Silva
Content may be subject to copyright.
Source publication
Over the past few years, there has been increasing interest in the development
of autonomous vehicles for robotic applications that include underwater and space
exploration. Autonomous vehicles usually consist of many functional blocks that
are required to interact in a concerted manner to produce highly performant, possibly
complex systems. The ne...
Similar publications
![Fig. 3. Mosaico feito por AUV na região da península da Tasmânia [12].](profile/Antonio-Amorim-2/publication/282672892/figure/fig3/AS:282750864117762@1444424467413/Mosaico-feito-por-AUV-na-regiao-da-peninsula-da-Tasmania-12_Q320.jpg)
![Fig. 4. Inspeção de estruturas danificadas por um AUV [15].](profile/Antonio-Amorim-2/publication/282672892/figure/fig4/AS:282750868312064@1444424468367/Inspecao-de-estruturas-danificadas-por-um-AUV-15_Q320.jpg)
![Fig. 5. Arquitetura genérica para sistemas inteligentes [17].](profile/Antonio-Amorim-2/publication/282672892/figure/fig5/AS:282750872506368@1444424469987/Arquitetura-generica-para-sistemas-inteligentes-17_Q320.jpg)
O trabalho trata dos conceitos envolvidos para a concepção do AUV Antares, e aborda de forma resumida conceitos para a concepção de um veículo autônomo.
Citations
... The remaining issues were instrumental in determining the specification and development of two new software applications named ATOL and CORAL. Due to space limitations, the presentation purposely avoids focusing on the theoretical foundations of Mission Control System design and analysis, which have been pursued in (Silva et al., 1995; Silva, 1996). The reader will find in (Oliveira et al., 1996) an abridged version of the work in (Silva et al., 1995; Silva, 1996), which has been influenced by the solid body of research carried out by INRIA/IFREMER in France, with applications to the VORTEX vehicle, and at NPS in the U.S. with applications to the PHOENIX vehicle, see (Lee and McGhee, 1994) and the references therein. ...
... Due to space limitations, the presentation purposely avoids focusing on the theoretical foundations of Mission Control System design and analysis, which have been pursued in (Silva et al., 1995; Silva, 1996). The reader will find in (Oliveira et al., 1996) an abridged version of the work in (Silva et al., 1995; Silva, 1996), which has been influenced by the solid body of research carried out by INRIA/IFREMER in France, with applications to the VORTEX vehicle, and at NPS in the U.S. with applications to the PHOENIX vehicle, see (Lee and McGhee, 1994) and the references therein. Mission Control: A Petri net based approach. ...
... This section describes briefly a general framework for the design and implementation of Mission Control Systems for Underwater Robotic Systems that is well rooted in the area of Discrete Event System theory (Cassandras, 1993). See also (Silva et al., 1995; Silva, 1996) for complete details and (Oliveira et al., 1996) for an abridged version. The framework described arose in the course of designing a Mission Control System for the MARIUS AUV, as the need for a solid foundation to system design became a matter of great concern. ...
This paper describes the design and implementation of a mission control system for the MARIUS autonomous underwater vehicle (AUV). The framework adopted for system design builds on the key concept of vehicle primitive, which is a parametrized specification of an elementary operation performed by the vehicle. Vehicle primitives are obtained by coordinating the execution of a number of concurrent system tasks, which are parametrized specifications of classes of algorithms or procedures that implement basic functionalities in an underwater robotic system. Vehicle primitives are in turn logically and temporally chained to form more abstract mission procedures, which are executed as determined by mission programs, in reaction to external events. System task design is carried out using well-established tools from continuous- or discrete-time dynamic system theory, and finite-state automata to describe their logical (event-based) interaction with vehicle primitives. The design and analysis of vehicle primitives and mission procedures build on the theory of Petri nets, which are naturally oriented towards the modeling and analysis of asynchronous concurrent discrete-event systems. Vehicle primitives and mission procedures can be developed and implemented on the vehicle's distributed computer system using the specially designed software programming environments CORAL and ATOL respectively. The first is a set of software tools that allows for graphically building a library of vehicle primitives embodied in Petri nets and running them in real time. The latter provides similar tools for mission procedure programming but relies on a reactive synchronous programming language as a way to manage the potential complexity introduced by the occurrence of large Petri net structures. Whereas the first has been fully implemented, the latter has been specified but is still under development. Thus, at this stage of development, mission procedures and mission programs are effectively embodied into higher-level Petri net structures that control the scheduling of the vehicle primitives that are necessary to execute a given mission. The paper provides a summary of the general methodology adopted for the design and implementation of mission control systems for underwater robots and describes its application to the control of the MARIUS AUV. The paper introduces the experimental set-up for mission programming, mission execution and mission follow-up from a support station and describes the sequence of steps involved in programming and running a selected mission with the vehicle at sea.
... Due to space limitations, the presentation purposely avoids focusing on the theoretical foundations of Mission Control System design and analysis, which have been pursued in (Silva et al., 1995;Silva, 1996). The reader will find in (Oliveira et al., 1996) an abridged version of the work in (Silva et al., 1995;Silva, 1996), which has been influenced by the solid body of research carried out by INRIA/IFREMER in France, with applications to the VORTEX vehicle, and at NPS in the U.S. with applications to the PHOENIX vehicle, see (Lee and McGhee, 1994) and the references therein. ...
... Due to space limitations, the presentation purposely avoids focusing on the theoretical foundations of Mission Control System design and analysis, which have been pursued in (Silva et al., 1995;Silva, 1996). The reader will find in (Oliveira et al., 1996) an abridged version of the work in (Silva et al., 1995;Silva, 1996), which has been influenced by the solid body of research carried out by INRIA/IFREMER in France, with applications to the VORTEX vehicle, and at NPS in the U.S. with applications to the PHOENIX vehicle, see (Lee and McGhee, 1994) and the references therein. ...
... This section describes briefly a general framework for the design and implementation of Mission Control Systems for Underwater Robotic Systems that is well rooted in the area of Discrete Event System theory (Cassandras, 1993). See also (Silva et al., 1995;Silva, 1996) for complete details and (Oliveira et al., 1996) for an abridged version. The framework described arose in the course of designing a Mission Control System for the MARIUS AUV, as the need for a solid foundation to system design became a matter of great concern. ...
This paper describes the design and implementation of a Mission Control System for the MARIUS Autonomous Underwater Vehicle (AUV). The framework adopted for system design builds on the key concept of Vehicle Primitive, which is a parameterized specification of an elementary operation performed by the vehicle. Vehicle Primitives are obtained by coordinating the execution of a number of concurrent System Tasks, which are parameterized specifications of classes of algorithms or procedures that implement basic functionalities in an underwater robotic system. Vehicle Primitives are in turn logically and temporally chained to form more abstract Mission Procedures, which are executed as determined by Mission Programs, in reaction to external events. System Task design is carried out using well established tools from continuous/discrete- time dynamic system theory, and finite state automata to describe their logical (event-based) interaction with Vehicle Primitives. The design and analysis of Vehicle Primitives and Mis- sion Procedures build on the theory of Petri nets, which are naturally oriented towards the modeling and analysis of asynchronous, concurrent discrete event systems. Vehicle Primitives and Mission Procedures can be developed and implemented on the vehicle's distributed com- puter system using the specially designed software programming environments CORAL and ATOL, respectively. The first is a set of software tools that allows for graphically building a library of Vehicle Primitives embodied in Petri nets, and running them in real-time. The latter provides similar tools for Mission Procedure programming, but relies on a reactive syn- chronous programming language as a way to manage the potential complexity introduced by the occurrence of large Petri net structures. Whereas the first has been fully implemented, the latter has been specified but is still under development. Thus, at this stage of develop- ment, Mission Procedures and Mission Programs are eectively embodied into - higher level - Petri net structures that control the scheduling of the Vehicle Primitives that are necessary to execute a given mission. The paper provides a summary of the general methodology adopted for the design and implementation of Mission Control Systems for underwater robots, and describes its applica- tion to the control of the MARIUS AUV. The paper introduces the experimental set-up for mission programming, mission execution, and mission follow-up from a support station, and describes the sequence of steps involved in programming and running a selected mission with the vehicle at sea.
