FRINK Linked Data Fragments server

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

• W2783159776 endingPage "1721" @default.
• W2783159776 startingPage "1712" @default.
• W2783159776 abstract "Robot systems have been widely used in industry and also play an important role in human social life. Safety critical applications usually demand rigorously formal verification to ensure correctness. But for the increasing complexity of dynamic environments and applications, it is not easy to build a comprehensive model for the traditional offline verification. In this paper, we propose RobotRV, the first data-centered real-time verification approach for the robot system. Within this approach, a domain-specific language named RoboticSpec is designed to specify the complex application scenario of the robot system, the data packets transmitted in the robot system, and the safety critical temporal properties. Then, we develop an engine to automatically translate the RoboticSpec model into a real-time verifier. The generated verifier serves as an independent plug-in component for the runtime verification of concerned temporal properties. We applied the proposed approach to a real robot system. As presented in experiment results, our method detected potential failures, and improved the safety of robot system." @default.
• W2783159776 created "2018-01-26" @default.
• W2783159776 creator A5030206868 @default.
• W2783159776 creator A5051896955 @default.
• W2783159776 creator A5060117799 @default.
• W2783159776 creator A5070812231 @default.
• W2783159776 creator A5082437433 @default.
• W2783159776 creator A5087366755 @default.
• W2783159776 creator A5090590010 @default.
• W2783159776 date "2018-04-01" @default.
• W2783159776 modified "2023-10-18" @default.
• W2783159776 title "From Offline Towards Real-Time Verification for Robot Systems" @default.
• W2783159776 cites W1521991348 @default.
• W2783159776 cites W1541682298 @default.
• W2783159776 cites W1774952121 @default.
• W2783159776 cites W2003005306 @default.
• W2783159776 cites W2003248131 @default.
• W2783159776 cites W2027769154 @default.
• W2783159776 cites W2033593612 @default.
• W2783159776 cites W2037616264 @default.
• W2783159776 cites W2050484682 @default.
• W2783159776 cites W2064143234 @default.
• W2783159776 cites W2070927739 @default.
• W2783159776 cites W2078356878 @default.
• W2783159776 cites W2090617455 @default.
• W2783159776 cites W2101623441 @default.
• W2783159776 cites W2103146530 @default.
• W2783159776 cites W2110525007 @default.
• W2783159776 cites W2124623089 @default.
• W2783159776 cites W2125577800 @default.
• W2783159776 cites W2155846981 @default.
• W2783159776 cites W2167464211 @default.
• W2783159776 cites W2305158040 @default.
• W2783159776 cites W2337392266 @default.
• W2783159776 cites W2407452468 @default.
• W2783159776 cites W93306303 @default.
• W2783159776 doi "https://doi.org/10.1109/tii.2017.2788901" @default.
• W2783159776 hasPublicationYear "2018" @default.
• W2783159776 type Work @default.
• W2783159776 sameAs 2783159776 @default.
• W2783159776 citedByCount "28" @default.
• W2783159776 countsByYear W27831597762018 @default.
• W2783159776 countsByYear W27831597762019 @default.
• W2783159776 countsByYear W27831597762020 @default.
• W2783159776 countsByYear W27831597762021 @default.
• W2783159776 countsByYear W27831597762022 @default.
• W2783159776 countsByYear W27831597762023 @default.
• W2783159776 crossrefType "journal-article" @default.
• W2783159776 hasAuthorship W2783159776A5030206868 @default.
• W2783159776 hasAuthorship W2783159776A5051896955 @default.
• W2783159776 hasAuthorship W2783159776A5060117799 @default.
• W2783159776 hasAuthorship W2783159776A5070812231 @default.
• W2783159776 hasAuthorship W2783159776A5082437433 @default.
• W2783159776 hasAuthorship W2783159776A5087366755 @default.
• W2783159776 hasAuthorship W2783159776A5090590010 @default.
• W2783159776 hasConcept C110251889 @default.
• W2783159776 hasConcept C111498074 @default.
• W2783159776 hasConcept C120314980 @default.
• W2783159776 hasConcept C121332964 @default.
• W2783159776 hasConcept C134306372 @default.
• W2783159776 hasConcept C149635348 @default.
• W2783159776 hasConcept C154945302 @default.
• W2783159776 hasConcept C168167062 @default.
• W2783159776 hasConcept C199360897 @default.
• W2783159776 hasConcept C202973057 @default.
• W2783159776 hasConcept C33923547 @default.
• W2783159776 hasConcept C36503486 @default.
• W2783159776 hasConcept C41008148 @default.
• W2783159776 hasConcept C55439883 @default.
• W2783159776 hasConcept C79403827 @default.
• W2783159776 hasConcept C90509273 @default.
• W2783159776 hasConcept C97355855 @default.
• W2783159776 hasConceptScore W2783159776C110251889 @default.
• W2783159776 hasConceptScore W2783159776C111498074 @default.
• W2783159776 hasConceptScore W2783159776C120314980 @default.
• W2783159776 hasConceptScore W2783159776C121332964 @default.
• W2783159776 hasConceptScore W2783159776C134306372 @default.
• W2783159776 hasConceptScore W2783159776C149635348 @default.
• W2783159776 hasConceptScore W2783159776C154945302 @default.
• W2783159776 hasConceptScore W2783159776C168167062 @default.
• W2783159776 hasConceptScore W2783159776C199360897 @default.
• W2783159776 hasConceptScore W2783159776C202973057 @default.
• W2783159776 hasConceptScore W2783159776C33923547 @default.
• W2783159776 hasConceptScore W2783159776C36503486 @default.
• W2783159776 hasConceptScore W2783159776C41008148 @default.
• W2783159776 hasConceptScore W2783159776C55439883 @default.
• W2783159776 hasConceptScore W2783159776C79403827 @default.
• W2783159776 hasConceptScore W2783159776C90509273 @default.
• W2783159776 hasConceptScore W2783159776C97355855 @default.
• W2783159776 hasFunder F4320321001 @default.
• W2783159776 hasIssue "4" @default.
• W2783159776 hasLocation W27831597761 @default.
• W2783159776 hasOpenAccess W2783159776 @default.
• W2783159776 hasPrimaryLocation W27831597761 @default.
• W2783159776 hasRelatedWork W1122109835 @default.
• W2783159776 hasRelatedWork W1563456403 @default.
• W2783159776 hasRelatedWork W1978208568 @default.
• W2783159776 hasRelatedWork W2006962382 @default.

• next