Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287636636> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4287636636 abstract "The airworthiness and safety of a non-pedigreed autopilot must be verified, but the cost to formally do so can be prohibitive. We can bypass formal verification of non-pedigreed components by incorporating Runtime Safety Assurance (RTSA) as mechanism to ensure safety. RTSA consists of a meta-controller that observes the inputs and outputs of a non-pedigreed component and verifies formally specified behavior as the system operates. When the system is triggered, a verified recovery controller is deployed. Recovery controllers are designed to be safe but very likely disruptive to the operational objective of the system, and thus RTSA systems must balance safety and efficiency. The objective of this paper is to design a meta-controller capable of identifying unsafe situations with high accuracy. High dimensional and non-linear dynamics in which modern controllers are deployed along with the black-box nature of the nominal controllers make this a difficult problem. Current approaches rely heavily on domain expertise and human engineering. We frame the design of RTSA with the Markov decision process (MDP) framework and use reinforcement learning (RL) to solve it. Our learned meta-controller consistently exhibits superior performance in our experiments compared to our baseline, human engineered approach." @default.
- W4287636636 created "2022-07-25" @default.
- W4287636636 creator A5015231181 @default.
- W4287636636 creator A5033712392 @default.
- W4287636636 creator A5068326377 @default.
- W4287636636 date "2020-10-20" @default.
- W4287636636 modified "2023-09-23" @default.
- W4287636636 title "Runtime Safety Assurance Using Reinforcement Learning" @default.
- W4287636636 doi "https://doi.org/10.48550/arxiv.2010.10618" @default.
- W4287636636 hasPublicationYear "2020" @default.
- W4287636636 type Work @default.
- W4287636636 citedByCount "0" @default.
- W4287636636 crossrefType "posted-content" @default.
- W4287636636 hasAuthorship W4287636636A5015231181 @default.
- W4287636636 hasAuthorship W4287636636A5033712392 @default.
- W4287636636 hasAuthorship W4287636636A5068326377 @default.
- W4287636636 hasBestOaLocation W42876366361 @default.
- W4287636636 hasConcept C105795698 @default.
- W4287636636 hasConcept C106189395 @default.
- W4287636636 hasConcept C111919701 @default.
- W4287636636 hasConcept C112805685 @default.
- W4287636636 hasConcept C121332964 @default.
- W4287636636 hasConcept C127413603 @default.
- W4287636636 hasConcept C132835097 @default.
- W4287636636 hasConcept C133731056 @default.
- W4287636636 hasConcept C134306372 @default.
- W4287636636 hasConcept C154945302 @default.
- W4287636636 hasConcept C159886148 @default.
- W4287636636 hasConcept C168167062 @default.
- W4287636636 hasConcept C18020424 @default.
- W4287636636 hasConcept C200601418 @default.
- W4287636636 hasConcept C203479927 @default.
- W4287636636 hasConcept C33923547 @default.
- W4287636636 hasConcept C36503486 @default.
- W4287636636 hasConcept C41008148 @default.
- W4287636636 hasConcept C6557445 @default.
- W4287636636 hasConcept C86803240 @default.
- W4287636636 hasConcept C97355855 @default.
- W4287636636 hasConcept C97541855 @default.
- W4287636636 hasConcept C98045186 @default.
- W4287636636 hasConceptScore W4287636636C105795698 @default.
- W4287636636 hasConceptScore W4287636636C106189395 @default.
- W4287636636 hasConceptScore W4287636636C111919701 @default.
- W4287636636 hasConceptScore W4287636636C112805685 @default.
- W4287636636 hasConceptScore W4287636636C121332964 @default.
- W4287636636 hasConceptScore W4287636636C127413603 @default.
- W4287636636 hasConceptScore W4287636636C132835097 @default.
- W4287636636 hasConceptScore W4287636636C133731056 @default.
- W4287636636 hasConceptScore W4287636636C134306372 @default.
- W4287636636 hasConceptScore W4287636636C154945302 @default.
- W4287636636 hasConceptScore W4287636636C159886148 @default.
- W4287636636 hasConceptScore W4287636636C168167062 @default.
- W4287636636 hasConceptScore W4287636636C18020424 @default.
- W4287636636 hasConceptScore W4287636636C200601418 @default.
- W4287636636 hasConceptScore W4287636636C203479927 @default.
- W4287636636 hasConceptScore W4287636636C33923547 @default.
- W4287636636 hasConceptScore W4287636636C36503486 @default.
- W4287636636 hasConceptScore W4287636636C41008148 @default.
- W4287636636 hasConceptScore W4287636636C6557445 @default.
- W4287636636 hasConceptScore W4287636636C86803240 @default.
- W4287636636 hasConceptScore W4287636636C97355855 @default.
- W4287636636 hasConceptScore W4287636636C97541855 @default.
- W4287636636 hasConceptScore W4287636636C98045186 @default.
- W4287636636 hasLocation W42876366361 @default.
- W4287636636 hasOpenAccess W4287636636 @default.
- W4287636636 hasPrimaryLocation W42876366361 @default.
- W4287636636 hasRelatedWork W11974374 @default.
- W4287636636 hasRelatedWork W1279312 @default.
- W4287636636 hasRelatedWork W1351191 @default.
- W4287636636 hasRelatedWork W3487692 @default.
- W4287636636 hasRelatedWork W3942861 @default.
- W4287636636 hasRelatedWork W4564113 @default.
- W4287636636 hasRelatedWork W4690878 @default.
- W4287636636 hasRelatedWork W5054234 @default.
- W4287636636 hasRelatedWork W8536059 @default.
- W4287636636 hasRelatedWork W868042 @default.
- W4287636636 isParatext "false" @default.
- W4287636636 isRetracted "false" @default.
- W4287636636 workType "article" @default.