FRINK Linked Data Fragments server

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

• W2561065014 endingPage "715" @default.
• W2561065014 startingPage "702" @default.
• W2561065014 abstract "Safety-critical systems with decisional abilities, such as autonomous robots, are about to enter our everyday life. Nevertheless, confidence in their behavior is still limited, particularly regarding safety. Considering the variety of hazards that can affect these systems, many techniques might be used to increase their safety. Among them, active safety monitors are a means to maintain the system safety in spite of faults or adverse situations. The specification of the safety rules implemented in such devices is of crucial importance, but has been hardly explored so far. In this paper, we propose a complete framework for the generation of these safety rules based on the concept of safety margin. The approach starts from a hazard analysis, and uses formal verification techniques to automatically synthesize the safety rules. It has been successfully applied to an industrial use case, a mobile manipulator robot for co-working." @default.
• W2561065014 created "2017-01-06" @default.
• W2561065014 creator A5005603490 @default.
• W2561065014 creator A5012140860 @default.
• W2561065014 creator A5036477732 @default.
• W2561065014 creator A5055743536 @default.
• W2561065014 creator A5057916879 @default.
• W2561065014 creator A5060132377 @default.
• W2561065014 date "2018-05-01" @default.
• W2561065014 modified "2023-09-30" @default.
• W2561065014 title "SMOF: A Safety Monitoring Framework for Autonomous Systems" @default.
• W2561065014 cites W1489391022 @default.
• W2561065014 cites W1505741587 @default.
• W2561065014 cites W1963676367 @default.
• W2561065014 cites W1979349468 @default.
• W2561065014 cites W1997363324 @default.
• W2561065014 cites W1998404584 @default.
• W2561065014 cites W2044286462 @default.
• W2561065014 cites W2047192422 @default.
• W2561065014 cites W2050288058 @default.
• W2561065014 cites W2083662988 @default.
• W2561065014 cites W2101623441 @default.
• W2561065014 cites W2123172796 @default.
• W2561065014 cites W2139761653 @default.
• W2561065014 cites W2145071552 @default.
• W2561065014 cites W2167629147 @default.
• W2561065014 cites W2235770863 @default.
• W2561065014 cites W2245024132 @default.
• W2561065014 doi "https://doi.org/10.1109/tsmc.2016.2633291" @default.
• W2561065014 hasPublicationYear "2018" @default.
• W2561065014 type Work @default.
• W2561065014 sameAs 2561065014 @default.
• W2561065014 citedByCount "45" @default.
• W2561065014 countsByYear W25610650142017 @default.
• W2561065014 countsByYear W25610650142018 @default.
• W2561065014 countsByYear W25610650142019 @default.
• W2561065014 countsByYear W25610650142020 @default.
• W2561065014 countsByYear W25610650142021 @default.
• W2561065014 countsByYear W25610650142022 @default.
• W2561065014 countsByYear W25610650142023 @default.
• W2561065014 crossrefType "journal-article" @default.
• W2561065014 hasAuthorship W2561065014A5005603490 @default.
• W2561065014 hasAuthorship W2561065014A5012140860 @default.
• W2561065014 hasAuthorship W2561065014A5036477732 @default.
• W2561065014 hasAuthorship W2561065014A5055743536 @default.
• W2561065014 hasAuthorship W2561065014A5057916879 @default.
• W2561065014 hasAuthorship W2561065014A5060132377 @default.
• W2561065014 hasBestOaLocation W25610650142 @default.
• W2561065014 hasConcept C112930515 @default.
• W2561065014 hasConcept C119857082 @default.
• W2561065014 hasConcept C127413603 @default.
• W2561065014 hasConcept C132835097 @default.
• W2561065014 hasConcept C136197465 @default.
• W2561065014 hasConcept C144133560 @default.
• W2561065014 hasConcept C154945302 @default.
• W2561065014 hasConcept C163707989 @default.
• W2561065014 hasConcept C178790620 @default.
• W2561065014 hasConcept C185592680 @default.
• W2561065014 hasConcept C199360897 @default.
• W2561065014 hasConcept C200601418 @default.
• W2561065014 hasConcept C201995342 @default.
• W2561065014 hasConcept C206355099 @default.
• W2561065014 hasConcept C2777904410 @default.
• W2561065014 hasConcept C2780234205 @default.
• W2561065014 hasConcept C41008148 @default.
• W2561065014 hasConcept C49261128 @default.
• W2561065014 hasConcept C774472 @default.
• W2561065014 hasConcept C90509273 @default.
• W2561065014 hasConceptScore W2561065014C112930515 @default.
• W2561065014 hasConceptScore W2561065014C119857082 @default.
• W2561065014 hasConceptScore W2561065014C127413603 @default.
• W2561065014 hasConceptScore W2561065014C132835097 @default.
• W2561065014 hasConceptScore W2561065014C136197465 @default.
• W2561065014 hasConceptScore W2561065014C144133560 @default.
• W2561065014 hasConceptScore W2561065014C154945302 @default.
• W2561065014 hasConceptScore W2561065014C163707989 @default.
• W2561065014 hasConceptScore W2561065014C178790620 @default.
• W2561065014 hasConceptScore W2561065014C185592680 @default.
• W2561065014 hasConceptScore W2561065014C199360897 @default.
• W2561065014 hasConceptScore W2561065014C200601418 @default.
• W2561065014 hasConceptScore W2561065014C201995342 @default.
• W2561065014 hasConceptScore W2561065014C206355099 @default.
• W2561065014 hasConceptScore W2561065014C2777904410 @default.
• W2561065014 hasConceptScore W2561065014C2780234205 @default.
• W2561065014 hasConceptScore W2561065014C41008148 @default.
• W2561065014 hasConceptScore W2561065014C49261128 @default.
• W2561065014 hasConceptScore W2561065014C774472 @default.
• W2561065014 hasConceptScore W2561065014C90509273 @default.
• W2561065014 hasFunder F4320334960 @default.
• W2561065014 hasIssue "5" @default.
• W2561065014 hasLocation W25610650141 @default.
• W2561065014 hasLocation W25610650142 @default.
• W2561065014 hasLocation W25610650143 @default.
• W2561065014 hasLocation W25610650144 @default.
• W2561065014 hasLocation W25610650145 @default.
• W2561065014 hasOpenAccess W2561065014 @default.
• W2561065014 hasPrimaryLocation W25610650141 @default.
• W2561065014 hasRelatedWork W2090405251 @default.

• next