Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082891539> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3082891539 abstract "Developing robot control systems can get complex even for small number of functions to be carried by the robot. Finite state machines are representing a frequent approach to model complex systems in a formal way. In this paper we are presenting a methodology for modelling the kinematics of a robotic mechanism represented by a sequence of bodies linked by joints. Each movement is decomposed as a sequence of rotations and translations and a finite state machine modelling the behavior of each of these is built." @default.
- W3082891539 created "2020-09-08" @default.
- W3082891539 creator A5049608249 @default.
- W3082891539 date "2020-08-12" @default.
- W3082891539 modified "2023-09-26" @default.
- W3082891539 title "On Model Checking of a Robotic Mechanism" @default.
- W3082891539 hasPublicationYear "2020" @default.
- W3082891539 type Work @default.
- W3082891539 sameAs 3082891539 @default.
- W3082891539 citedByCount "0" @default.
- W3082891539 crossrefType "proceedings-article" @default.
- W3082891539 hasAuthorship W3082891539A5049608249 @default.
- W3082891539 hasConcept C111472728 @default.
- W3082891539 hasConcept C11413529 @default.
- W3082891539 hasConcept C119857082 @default.
- W3082891539 hasConcept C121332964 @default.
- W3082891539 hasConcept C127413603 @default.
- W3082891539 hasConcept C133731056 @default.
- W3082891539 hasConcept C138885662 @default.
- W3082891539 hasConcept C145243422 @default.
- W3082891539 hasConcept C154945302 @default.
- W3082891539 hasConcept C167822520 @default.
- W3082891539 hasConcept C19966478 @default.
- W3082891539 hasConcept C2778112365 @default.
- W3082891539 hasConcept C2983497884 @default.
- W3082891539 hasConcept C39920418 @default.
- W3082891539 hasConcept C41008148 @default.
- W3082891539 hasConcept C48103436 @default.
- W3082891539 hasConcept C54355233 @default.
- W3082891539 hasConcept C74222875 @default.
- W3082891539 hasConcept C74650414 @default.
- W3082891539 hasConcept C86803240 @default.
- W3082891539 hasConcept C89611455 @default.
- W3082891539 hasConcept C90509273 @default.
- W3082891539 hasConcept C98763669 @default.
- W3082891539 hasConceptScore W3082891539C111472728 @default.
- W3082891539 hasConceptScore W3082891539C11413529 @default.
- W3082891539 hasConceptScore W3082891539C119857082 @default.
- W3082891539 hasConceptScore W3082891539C121332964 @default.
- W3082891539 hasConceptScore W3082891539C127413603 @default.
- W3082891539 hasConceptScore W3082891539C133731056 @default.
- W3082891539 hasConceptScore W3082891539C138885662 @default.
- W3082891539 hasConceptScore W3082891539C145243422 @default.
- W3082891539 hasConceptScore W3082891539C154945302 @default.
- W3082891539 hasConceptScore W3082891539C167822520 @default.
- W3082891539 hasConceptScore W3082891539C19966478 @default.
- W3082891539 hasConceptScore W3082891539C2778112365 @default.
- W3082891539 hasConceptScore W3082891539C2983497884 @default.
- W3082891539 hasConceptScore W3082891539C39920418 @default.
- W3082891539 hasConceptScore W3082891539C41008148 @default.
- W3082891539 hasConceptScore W3082891539C48103436 @default.
- W3082891539 hasConceptScore W3082891539C54355233 @default.
- W3082891539 hasConceptScore W3082891539C74222875 @default.
- W3082891539 hasConceptScore W3082891539C74650414 @default.
- W3082891539 hasConceptScore W3082891539C86803240 @default.
- W3082891539 hasConceptScore W3082891539C89611455 @default.
- W3082891539 hasConceptScore W3082891539C90509273 @default.
- W3082891539 hasConceptScore W3082891539C98763669 @default.
- W3082891539 hasIssue "1" @default.
- W3082891539 hasLocation W30828915391 @default.
- W3082891539 hasOpenAccess W3082891539 @default.
- W3082891539 hasPrimaryLocation W30828915391 @default.
- W3082891539 hasRelatedWork W173294374 @default.
- W3082891539 hasRelatedWork W1971637565 @default.
- W3082891539 hasRelatedWork W2000788206 @default.
- W3082891539 hasRelatedWork W2012492808 @default.
- W3082891539 hasRelatedWork W2016553614 @default.
- W3082891539 hasRelatedWork W2030661036 @default.
- W3082891539 hasRelatedWork W2124032704 @default.
- W3082891539 hasRelatedWork W2142120580 @default.
- W3082891539 hasRelatedWork W2154299778 @default.
- W3082891539 hasRelatedWork W2168639218 @default.
- W3082891539 hasRelatedWork W2467680087 @default.
- W3082891539 hasRelatedWork W2532971295 @default.
- W3082891539 hasRelatedWork W2580655557 @default.
- W3082891539 hasRelatedWork W2585271421 @default.
- W3082891539 hasRelatedWork W2603748000 @default.
- W3082891539 hasRelatedWork W2941628783 @default.
- W3082891539 hasRelatedWork W3022422701 @default.
- W3082891539 hasRelatedWork W3113635631 @default.
- W3082891539 hasRelatedWork W318050187 @default.
- W3082891539 hasRelatedWork W3201913229 @default.
- W3082891539 hasVolume "4" @default.
- W3082891539 isParatext "false" @default.
- W3082891539 isRetracted "false" @default.
- W3082891539 magId "3082891539" @default.
- W3082891539 workType "article" @default.