Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107002803> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2107002803 abstract "In this paper we present a preliminary study concerning the stabilization of an underwater free-floating remotely operated vehicle fitted with a redundant manipulator. The controller structure follows the Orccad approach for robotic systems programming, which gathers control laws in continuous time at the low levels and discrete time logical aspects at higher levels. After being designed and verified, the basic actions of individual subsystems are logically composed to build more complex procedures up to a full mission design. While the system's performance can be checked using realistic simulations, crucial properties such as deadlock avoidance, safety and liveness are formally verified at both levels, using in particular some advantages of synchronous programming and associated tools. The approach is illustrated through simulation results while experiments are in progress." @default.
- W2107002803 created "2016-06-24" @default.
- W2107002803 creator A5001827841 @default.
- W2107002803 creator A5009896460 @default.
- W2107002803 creator A5045206743 @default.
- W2107002803 date "2002-11-22" @default.
- W2107002803 modified "2023-09-23" @default.
- W2107002803 title "Design of control procedures for a free-floating underwater manipulation system" @default.
- W2107002803 cites W1541451453 @default.
- W2107002803 cites W1591628387 @default.
- W2107002803 cites W1973482643 @default.
- W2107002803 cites W1986418050 @default.
- W2107002803 cites W2072961973 @default.
- W2107002803 cites W2081938726 @default.
- W2107002803 cites W2096722024 @default.
- W2107002803 cites W2107508877 @default.
- W2107002803 cites W2480542799 @default.
- W2107002803 doi "https://doi.org/10.1109/robot.1997.619282" @default.
- W2107002803 hasPublicationYear "2002" @default.
- W2107002803 type Work @default.
- W2107002803 sameAs 2107002803 @default.
- W2107002803 citedByCount "2" @default.
- W2107002803 crossrefType "proceedings-article" @default.
- W2107002803 hasAuthorship W2107002803A5001827841 @default.
- W2107002803 hasAuthorship W2107002803A5009896460 @default.
- W2107002803 hasAuthorship W2107002803A5045206743 @default.
- W2107002803 hasConcept C111368507 @default.
- W2107002803 hasConcept C120314980 @default.
- W2107002803 hasConcept C127313418 @default.
- W2107002803 hasConcept C127413603 @default.
- W2107002803 hasConcept C133731056 @default.
- W2107002803 hasConcept C154945302 @default.
- W2107002803 hasConcept C15569618 @default.
- W2107002803 hasConcept C159023740 @default.
- W2107002803 hasConcept C203479927 @default.
- W2107002803 hasConcept C2775924081 @default.
- W2107002803 hasConcept C41008148 @default.
- W2107002803 hasConcept C44154836 @default.
- W2107002803 hasConcept C47446073 @default.
- W2107002803 hasConcept C6557445 @default.
- W2107002803 hasConcept C86803240 @default.
- W2107002803 hasConcept C98083399 @default.
- W2107002803 hasConceptScore W2107002803C111368507 @default.
- W2107002803 hasConceptScore W2107002803C120314980 @default.
- W2107002803 hasConceptScore W2107002803C127313418 @default.
- W2107002803 hasConceptScore W2107002803C127413603 @default.
- W2107002803 hasConceptScore W2107002803C133731056 @default.
- W2107002803 hasConceptScore W2107002803C154945302 @default.
- W2107002803 hasConceptScore W2107002803C15569618 @default.
- W2107002803 hasConceptScore W2107002803C159023740 @default.
- W2107002803 hasConceptScore W2107002803C203479927 @default.
- W2107002803 hasConceptScore W2107002803C2775924081 @default.
- W2107002803 hasConceptScore W2107002803C41008148 @default.
- W2107002803 hasConceptScore W2107002803C44154836 @default.
- W2107002803 hasConceptScore W2107002803C47446073 @default.
- W2107002803 hasConceptScore W2107002803C6557445 @default.
- W2107002803 hasConceptScore W2107002803C86803240 @default.
- W2107002803 hasConceptScore W2107002803C98083399 @default.
- W2107002803 hasLocation W21070028031 @default.
- W2107002803 hasOpenAccess W2107002803 @default.
- W2107002803 hasPrimaryLocation W21070028031 @default.
- W2107002803 hasRelatedWork W121165727 @default.
- W2107002803 hasRelatedWork W1516346439 @default.
- W2107002803 hasRelatedWork W1919574392 @default.
- W2107002803 hasRelatedWork W2005196560 @default.
- W2107002803 hasRelatedWork W2022147836 @default.
- W2107002803 hasRelatedWork W2041426923 @default.
- W2107002803 hasRelatedWork W2057847320 @default.
- W2107002803 hasRelatedWork W2060614270 @default.
- W2107002803 hasRelatedWork W2090965073 @default.
- W2107002803 hasRelatedWork W2104880415 @default.
- W2107002803 hasRelatedWork W2117296623 @default.
- W2107002803 hasRelatedWork W2128990453 @default.
- W2107002803 hasRelatedWork W2144619114 @default.
- W2107002803 hasRelatedWork W2153130510 @default.
- W2107002803 hasRelatedWork W2164466242 @default.
- W2107002803 hasRelatedWork W2543743842 @default.
- W2107002803 hasRelatedWork W2563196602 @default.
- W2107002803 hasRelatedWork W3033644311 @default.
- W2107002803 hasRelatedWork W1986896122 @default.
- W2107002803 hasRelatedWork W2093998160 @default.
- W2107002803 isParatext "false" @default.
- W2107002803 isRetracted "false" @default.
- W2107002803 magId "2107002803" @default.
- W2107002803 workType "article" @default.