FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023806806> ?p ?o ?g. }

• W2023806806 endingPage "76" @default.
• W2023806806 startingPage "59" @default.
• W2023806806 abstract "The main objective of this paper is to show the advantages of using the time Petri net formalism for specification, validation, and code generation in robot-control applications. To achieve this objective, we consider as application the development of a control system for a mobile robot with a rotating rangefinder laser sensor with two degrees of freedom to be used in navigation tasks with obstacle avoidance. It is shown how the use of the time Petri net formalism in the whole development cycle can fulfilll the reliability requirement of real-time systems, make the system development easy and quick, strongly reduce the time for the testing and tuning phases and, therefore, reduce the development cost significantly. It allows verification of functional and temporal requirements, error detection in the early stages of the development cycle, and automatic code generation, avoiding coding mistakes. Experimental tests show that the theoretical results obtained from the analysis of formal system models match the real-time behavior of the robotic system." @default.
• W2023806806 created "2016-06-24" @default.
• W2023806806 creator A5032612218 @default.
• W2023806806 creator A5051000028 @default.
• W2023806806 creator A5076666463 @default.
• W2023806806 date "2000-01-01" @default.
• W2023806806 modified "2023-10-18" @default.
• W2023806806 title "Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications" @default.
• W2023806806 cites W1968025047 @default.
• W2023806806 cites W1989458007 @default.
• W2023806806 cites W1990357312 @default.
• W2023806806 cites W1996109622 @default.
• W2023806806 cites W2015717967 @default.
• W2023806806 cites W2041903821 @default.
• W2023806806 cites W2042801853 @default.
• W2023806806 cites W2056359803 @default.
• W2023806806 cites W2058182847 @default.
• W2023806806 cites W2103120971 @default.
• W2023806806 cites W2151612633 @default.
• W2023806806 cites W2163259707 @default.
• W2023806806 cites W2307068791 @default.
• W2023806806 doi "https://doi.org/10.1177/02783640022066743" @default.
• W2023806806 hasPublicationYear "2000" @default.
• W2023806806 type Work @default.
• W2023806806 sameAs 2023806806 @default.
• W2023806806 citedByCount "41" @default.
• W2023806806 countsByYear W20238068062012 @default.
• W2023806806 countsByYear W20238068062014 @default.
• W2023806806 countsByYear W20238068062015 @default.
• W2023806806 countsByYear W20238068062016 @default.
• W2023806806 countsByYear W20238068062017 @default.
• W2023806806 countsByYear W20238068062018 @default.
• W2023806806 countsByYear W20238068062019 @default.
• W2023806806 countsByYear W20238068062020 @default.
• W2023806806 countsByYear W20238068062021 @default.
• W2023806806 crossrefType "journal-article" @default.
• W2023806806 hasAuthorship W2023806806A5032612218 @default.
• W2023806806 hasAuthorship W2023806806A5051000028 @default.
• W2023806806 hasAuthorship W2023806806A5076666463 @default.
• W2023806806 hasConcept C105795698 @default.
• W2023806806 hasConcept C120314980 @default.
• W2023806806 hasConcept C127413603 @default.
• W2023806806 hasConcept C133162039 @default.
• W2023806806 hasConcept C133731056 @default.
• W2023806806 hasConcept C142362112 @default.
• W2023806806 hasConcept C153349607 @default.
• W2023806806 hasConcept C154945302 @default.
• W2023806806 hasConcept C17744445 @default.
• W2023806806 hasConcept C179518139 @default.
• W2023806806 hasConcept C199539241 @default.
• W2023806806 hasConcept C19966478 @default.
• W2023806806 hasConcept C26517878 @default.
• W2023806806 hasConcept C2776650193 @default.
• W2023806806 hasConcept C33923547 @default.
• W2023806806 hasConcept C38652104 @default.
• W2023806806 hasConcept C38677869 @default.
• W2023806806 hasConcept C41008148 @default.
• W2023806806 hasConcept C44154836 @default.
• W2023806806 hasConcept C558565934 @default.
• W2023806806 hasConcept C6683253 @default.
• W2023806806 hasConcept C73301696 @default.
• W2023806806 hasConcept C79403827 @default.
• W2023806806 hasConcept C90509273 @default.
• W2023806806 hasConceptScore W2023806806C105795698 @default.
• W2023806806 hasConceptScore W2023806806C120314980 @default.
• W2023806806 hasConceptScore W2023806806C127413603 @default.
• W2023806806 hasConceptScore W2023806806C133162039 @default.
• W2023806806 hasConceptScore W2023806806C133731056 @default.
• W2023806806 hasConceptScore W2023806806C142362112 @default.
• W2023806806 hasConceptScore W2023806806C153349607 @default.
• W2023806806 hasConceptScore W2023806806C154945302 @default.
• W2023806806 hasConceptScore W2023806806C17744445 @default.
• W2023806806 hasConceptScore W2023806806C179518139 @default.
• W2023806806 hasConceptScore W2023806806C199539241 @default.
• W2023806806 hasConceptScore W2023806806C19966478 @default.
• W2023806806 hasConceptScore W2023806806C26517878 @default.
• W2023806806 hasConceptScore W2023806806C2776650193 @default.
• W2023806806 hasConceptScore W2023806806C33923547 @default.
• W2023806806 hasConceptScore W2023806806C38652104 @default.
• W2023806806 hasConceptScore W2023806806C38677869 @default.
• W2023806806 hasConceptScore W2023806806C41008148 @default.
• W2023806806 hasConceptScore W2023806806C44154836 @default.
• W2023806806 hasConceptScore W2023806806C558565934 @default.
• W2023806806 hasConceptScore W2023806806C6683253 @default.
• W2023806806 hasConceptScore W2023806806C73301696 @default.
• W2023806806 hasConceptScore W2023806806C79403827 @default.
• W2023806806 hasConceptScore W2023806806C90509273 @default.
• W2023806806 hasIssue "1" @default.
• W2023806806 hasLocation W20238068061 @default.
• W2023806806 hasOpenAccess W2023806806 @default.
• W2023806806 hasPrimaryLocation W20238068061 @default.
• W2023806806 hasRelatedWork W1599850434 @default.
• W2023806806 hasRelatedWork W1952149146 @default.
• W2023806806 hasRelatedWork W2029878670 @default.
• W2023806806 hasRelatedWork W2116691322 @default.
• W2023806806 hasRelatedWork W2374418825 @default.
• W2023806806 hasRelatedWork W2721389986 @default.
• W2023806806 hasRelatedWork W3047053826 @default.

• next