Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109444902> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2109444902 abstract "This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the execution control level of this architecture. This level has a fault protection role with respect to the commands issued by the decisional level, which are transmitted to the real system (through the functional level). We introduce a new approach and a new tool inspired from the model checking domain. We present a new language to specify the model of acceptable and required states of the system (valid contexts for requests to functional module and resources usage). This language is compiled in an ordered binary decision diagram like structure which is then used online to check the specified constraints in real-time. Such model checking approach could be extended to check off line more complex temporal properties of the system." @default.
- W2109444902 created "2016-06-24" @default.
- W2109444902 creator A5031499390 @default.
- W2109444902 creator A5076585663 @default.
- W2109444902 date "2003-06-25" @default.
- W2109444902 modified "2023-10-10" @default.
- W2109444902 title "An execution control system for autonomous robots" @default.
- W2109444902 cites W2061438988 @default.
- W2109444902 cites W2090161303 @default.
- W2109444902 cites W2106207733 @default.
- W2109444902 cites W2120740027 @default.
- W2109444902 cites W2125023624 @default.
- W2109444902 cites W2141427185 @default.
- W2109444902 cites W4252439377 @default.
- W2109444902 cites W4378744510 @default.
- W2109444902 cites W2136747161 @default.
- W2109444902 doi "https://doi.org/10.1109/robot.2002.1014728" @default.
- W2109444902 hasPublicationYear "2003" @default.
- W2109444902 type Work @default.
- W2109444902 sameAs 2109444902 @default.
- W2109444902 citedByCount "14" @default.
- W2109444902 countsByYear W21094449022013 @default.
- W2109444902 countsByYear W21094449022015 @default.
- W2109444902 countsByYear W21094449022019 @default.
- W2109444902 crossrefType "proceedings-article" @default.
- W2109444902 hasAuthorship W2109444902A5031499390 @default.
- W2109444902 hasAuthorship W2109444902A5076585663 @default.
- W2109444902 hasConcept C110251889 @default.
- W2109444902 hasConcept C120314980 @default.
- W2109444902 hasConcept C123657996 @default.
- W2109444902 hasConcept C134306372 @default.
- W2109444902 hasConcept C142362112 @default.
- W2109444902 hasConcept C153349607 @default.
- W2109444902 hasConcept C154945302 @default.
- W2109444902 hasConcept C199360897 @default.
- W2109444902 hasConcept C2775924081 @default.
- W2109444902 hasConcept C3309909 @default.
- W2109444902 hasConcept C33923547 @default.
- W2109444902 hasConcept C36503486 @default.
- W2109444902 hasConcept C41008148 @default.
- W2109444902 hasConcept C90509273 @default.
- W2109444902 hasConceptScore W2109444902C110251889 @default.
- W2109444902 hasConceptScore W2109444902C120314980 @default.
- W2109444902 hasConceptScore W2109444902C123657996 @default.
- W2109444902 hasConceptScore W2109444902C134306372 @default.
- W2109444902 hasConceptScore W2109444902C142362112 @default.
- W2109444902 hasConceptScore W2109444902C153349607 @default.
- W2109444902 hasConceptScore W2109444902C154945302 @default.
- W2109444902 hasConceptScore W2109444902C199360897 @default.
- W2109444902 hasConceptScore W2109444902C2775924081 @default.
- W2109444902 hasConceptScore W2109444902C3309909 @default.
- W2109444902 hasConceptScore W2109444902C33923547 @default.
- W2109444902 hasConceptScore W2109444902C36503486 @default.
- W2109444902 hasConceptScore W2109444902C41008148 @default.
- W2109444902 hasConceptScore W2109444902C90509273 @default.
- W2109444902 hasLocation W21094449021 @default.
- W2109444902 hasOpenAccess W2109444902 @default.
- W2109444902 hasPrimaryLocation W21094449021 @default.
- W2109444902 hasRelatedWork W1561659860 @default.
- W2109444902 hasRelatedWork W1583869287 @default.
- W2109444902 hasRelatedWork W2079848794 @default.
- W2109444902 hasRelatedWork W2122917767 @default.
- W2109444902 hasRelatedWork W2542904743 @default.
- W2109444902 hasRelatedWork W2611966366 @default.
- W2109444902 hasRelatedWork W2803843036 @default.
- W2109444902 hasRelatedWork W4300631294 @default.
- W2109444902 hasRelatedWork W2471151559 @default.
- W2109444902 hasRelatedWork W2584649593 @default.
- W2109444902 isParatext "false" @default.
- W2109444902 isRetracted "false" @default.
- W2109444902 magId "2109444902" @default.
- W2109444902 workType "article" @default.