Abstract | ||
---|---|---|
This article presents a methodology for generating a real-time mission controller of a submarine robot. The initial description of the mission considers the granularity constraints associated with the actors defining the mission. This methodology incorporates a formal analysis of the different possibilities for success of the mission from the models of each component involved in the description of the mission. This article ends illustrating this methodology with the generation of a real robotic mission for marine biodiversity assessment. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/978-3-319-64107-2_48 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Formal analysis,Mission controller,Mobile robot | Robot control,Control theory,Computer science,Submarine,Control engineering,Formal methods,Granularity,Robot,Mobile robot | Conference |
Volume | ISSN | Citations |
10454 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 8 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Silvain Louis | 1 | 0 | 0.34 |
K. Godary-Dejean | 2 | 12 | 2.72 |
Lionel Lapierre | 3 | 152 | 13.46 |
Thomas Claverie | 4 | 0 | 0.34 |
Sébastien Villéger | 5 | 7 | 1.29 |