Matches in SemOpenAlex for { <https://semopenalex.org/work/W2968313390> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2968313390 abstract "This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). The safety controller has three fundamental components: a performance controller, a backup controller, and an assurance mechanism. The assurance mechanism uses a monitor, constructed as a finite state machine (FSM), to analyze a suggested performance control input and search for system trajectories that are bad prefixes of the system specification. A fault flag from the assurance mechanism denotes a potentially dangerous future system state and triggers a sequence of inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a non-deterministic cyber-physical system." @default.
- W2968313390 created "2019-08-22" @default.
- W2968313390 creator A5010552433 @default.
- W2968313390 creator A5033268677 @default.
- W2968313390 creator A5041459160 @default.
- W2968313390 date "2019-08-08" @default.
- W2968313390 modified "2023-09-27" @default.
- W2968313390 title "Monitor-Based Runtime Assurance for Temporal Logic Specifications" @default.
- W2968313390 cites W1480034495 @default.
- W2968313390 cites W1483893502 @default.
- W2968313390 cites W1489501223 @default.
- W2968313390 cites W1498432697 @default.
- W2968313390 cites W1540883472 @default.
- W2968313390 cites W1607353007 @default.
- W2968313390 cites W1881030807 @default.
- W2968313390 cites W2027769154 @default.
- W2968313390 cites W2068341689 @default.
- W2968313390 cites W2142493442 @default.
- W2968313390 cites W2165364079 @default.
- W2968313390 cites W2174998149 @default.
- W2968313390 cites W2613128170 @default.
- W2968313390 cites W2785700716 @default.
- W2968313390 cites W2883923349 @default.
- W2968313390 cites W2914283047 @default.
- W2968313390 cites W2963575966 @default.
- W2968313390 cites W828139470 @default.
- W2968313390 hasPublicationYear "2019" @default.
- W2968313390 type Work @default.
- W2968313390 sameAs 2968313390 @default.
- W2968313390 citedByCount "0" @default.
- W2968313390 crossrefType "posted-content" @default.
- W2968313390 hasAuthorship W2968313390A5010552433 @default.
- W2968313390 hasAuthorship W2968313390A5033268677 @default.
- W2968313390 hasAuthorship W2968313390A5041459160 @default.
- W2968313390 hasConcept C111472728 @default.
- W2968313390 hasConcept C111919701 @default.
- W2968313390 hasConcept C112805685 @default.
- W2968313390 hasConcept C127413603 @default.
- W2968313390 hasConcept C138885662 @default.
- W2968313390 hasConcept C149635348 @default.
- W2968313390 hasConcept C167822520 @default.
- W2968313390 hasConcept C199360897 @default.
- W2968313390 hasConcept C200601418 @default.
- W2968313390 hasConcept C203479927 @default.
- W2968313390 hasConcept C2780945871 @default.
- W2968313390 hasConcept C41008148 @default.
- W2968313390 hasConcept C48103436 @default.
- W2968313390 hasConcept C6557445 @default.
- W2968313390 hasConcept C79403827 @default.
- W2968313390 hasConcept C86803240 @default.
- W2968313390 hasConcept C89611455 @default.
- W2968313390 hasConceptScore W2968313390C111472728 @default.
- W2968313390 hasConceptScore W2968313390C111919701 @default.
- W2968313390 hasConceptScore W2968313390C112805685 @default.
- W2968313390 hasConceptScore W2968313390C127413603 @default.
- W2968313390 hasConceptScore W2968313390C138885662 @default.
- W2968313390 hasConceptScore W2968313390C149635348 @default.
- W2968313390 hasConceptScore W2968313390C167822520 @default.
- W2968313390 hasConceptScore W2968313390C199360897 @default.
- W2968313390 hasConceptScore W2968313390C200601418 @default.
- W2968313390 hasConceptScore W2968313390C203479927 @default.
- W2968313390 hasConceptScore W2968313390C2780945871 @default.
- W2968313390 hasConceptScore W2968313390C41008148 @default.
- W2968313390 hasConceptScore W2968313390C48103436 @default.
- W2968313390 hasConceptScore W2968313390C6557445 @default.
- W2968313390 hasConceptScore W2968313390C79403827 @default.
- W2968313390 hasConceptScore W2968313390C86803240 @default.
- W2968313390 hasConceptScore W2968313390C89611455 @default.
- W2968313390 hasLocation W29683133901 @default.
- W2968313390 hasOpenAccess W2968313390 @default.
- W2968313390 hasPrimaryLocation W29683133901 @default.
- W2968313390 hasRelatedWork W1545082371 @default.
- W2968313390 hasRelatedWork W1904025428 @default.
- W2968313390 hasRelatedWork W1966911833 @default.
- W2968313390 hasRelatedWork W1992277778 @default.
- W2968313390 hasRelatedWork W199507398 @default.
- W2968313390 hasRelatedWork W2001091950 @default.
- W2968313390 hasRelatedWork W2005196560 @default.
- W2968313390 hasRelatedWork W2025167661 @default.
- W2968313390 hasRelatedWork W2038469972 @default.
- W2968313390 hasRelatedWork W2090965073 @default.
- W2968313390 hasRelatedWork W2091747983 @default.
- W2968313390 hasRelatedWork W2103186599 @default.
- W2968313390 hasRelatedWork W2279014940 @default.
- W2968313390 hasRelatedWork W2779332716 @default.
- W2968313390 hasRelatedWork W2895957339 @default.
- W2968313390 hasRelatedWork W2912520094 @default.
- W2968313390 hasRelatedWork W3093599819 @default.
- W2968313390 hasRelatedWork W3108405703 @default.
- W2968313390 hasRelatedWork W3176360342 @default.
- W2968313390 hasRelatedWork W3209001840 @default.
- W2968313390 isParatext "false" @default.
- W2968313390 isRetracted "false" @default.
- W2968313390 magId "2968313390" @default.
- W2968313390 workType "article" @default.