Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366999666> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4366999666 abstract "Cyber-physical systems (CPSes), such as autonomous vehicles, use sophisticated components like ML-based controllers. It is difficult to provide evidence about the safe functioning of such components. To overcome this problem, Runtime Assurance Architecture (RTA) solutions have been proposed. The RAP's decision component evaluates the system's safety risk and whenever the risk is higher than acceptable the RTA switches to a safety mode that, for example, activates a controller with strong evidence for its safe functioning. In this way, RTAs increase CPS runtime safety and resilience by recovering the system from higher to lower risk levels. The goal of this paper is to automate recovery proofs of CPSes using RTAs. We first formalize the key verification problems, namely, the decision sampling-time adequacy problem and the time-bounded recoverability problem. We then demonstrate how to automatically generate proofs for the proposed verification problems using symbolic rewriting modulo SMT. Automation is enabled by integrating the rewriting logic tool (Maude), which generates sets of non-linear constraints, with an SMT-solver (Z3) to produce proofs" @default.
- W4366999666 created "2023-04-27" @default.
- W4366999666 creator A5080152569 @default.
- W4366999666 creator A5090498111 @default.
- W4366999666 date "2023-04-23" @default.
- W4366999666 modified "2023-09-30" @default.
- W4366999666 title "Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures" @default.
- W4366999666 doi "https://doi.org/10.48550/arxiv.2304.11564" @default.
- W4366999666 hasPublicationYear "2023" @default.
- W4366999666 type Work @default.
- W4366999666 citedByCount "0" @default.
- W4366999666 crossrefType "posted-content" @default.
- W4366999666 hasAuthorship W4366999666A5080152569 @default.
- W4366999666 hasAuthorship W4366999666A5090498111 @default.
- W4366999666 hasBestOaLocation W43669996661 @default.
- W4366999666 hasConcept C108710211 @default.
- W4366999666 hasConcept C110251889 @default.
- W4366999666 hasConcept C111498074 @default.
- W4366999666 hasConcept C111919701 @default.
- W4366999666 hasConcept C115901376 @default.
- W4366999666 hasConcept C120314980 @default.
- W4366999666 hasConcept C121332964 @default.
- W4366999666 hasConcept C127413603 @default.
- W4366999666 hasConcept C149635348 @default.
- W4366999666 hasConcept C154690210 @default.
- W4366999666 hasConcept C164155591 @default.
- W4366999666 hasConcept C168167062 @default.
- W4366999666 hasConcept C179768478 @default.
- W4366999666 hasConcept C199360897 @default.
- W4366999666 hasConcept C202973057 @default.
- W4366999666 hasConcept C2524010 @default.
- W4366999666 hasConcept C26517878 @default.
- W4366999666 hasConcept C2778770139 @default.
- W4366999666 hasConcept C33923547 @default.
- W4366999666 hasConcept C38652104 @default.
- W4366999666 hasConcept C41008148 @default.
- W4366999666 hasConcept C6943359 @default.
- W4366999666 hasConcept C78519656 @default.
- W4366999666 hasConcept C80444323 @default.
- W4366999666 hasConcept C97355855 @default.
- W4366999666 hasConceptScore W4366999666C108710211 @default.
- W4366999666 hasConceptScore W4366999666C110251889 @default.
- W4366999666 hasConceptScore W4366999666C111498074 @default.
- W4366999666 hasConceptScore W4366999666C111919701 @default.
- W4366999666 hasConceptScore W4366999666C115901376 @default.
- W4366999666 hasConceptScore W4366999666C120314980 @default.
- W4366999666 hasConceptScore W4366999666C121332964 @default.
- W4366999666 hasConceptScore W4366999666C127413603 @default.
- W4366999666 hasConceptScore W4366999666C149635348 @default.
- W4366999666 hasConceptScore W4366999666C154690210 @default.
- W4366999666 hasConceptScore W4366999666C164155591 @default.
- W4366999666 hasConceptScore W4366999666C168167062 @default.
- W4366999666 hasConceptScore W4366999666C179768478 @default.
- W4366999666 hasConceptScore W4366999666C199360897 @default.
- W4366999666 hasConceptScore W4366999666C202973057 @default.
- W4366999666 hasConceptScore W4366999666C2524010 @default.
- W4366999666 hasConceptScore W4366999666C26517878 @default.
- W4366999666 hasConceptScore W4366999666C2778770139 @default.
- W4366999666 hasConceptScore W4366999666C33923547 @default.
- W4366999666 hasConceptScore W4366999666C38652104 @default.
- W4366999666 hasConceptScore W4366999666C41008148 @default.
- W4366999666 hasConceptScore W4366999666C6943359 @default.
- W4366999666 hasConceptScore W4366999666C78519656 @default.
- W4366999666 hasConceptScore W4366999666C80444323 @default.
- W4366999666 hasConceptScore W4366999666C97355855 @default.
- W4366999666 hasLocation W43669996661 @default.
- W4366999666 hasOpenAccess W4366999666 @default.
- W4366999666 hasPrimaryLocation W43669996661 @default.
- W4366999666 hasRelatedWork W1518096547 @default.
- W4366999666 hasRelatedWork W1558598345 @default.
- W4366999666 hasRelatedWork W2071850807 @default.
- W4366999666 hasRelatedWork W2160562204 @default.
- W4366999666 hasRelatedWork W2540053705 @default.
- W4366999666 hasRelatedWork W2755744672 @default.
- W4366999666 hasRelatedWork W2914225034 @default.
- W4366999666 hasRelatedWork W3011488869 @default.
- W4366999666 hasRelatedWork W327065828 @default.
- W4366999666 hasRelatedWork W47563837 @default.
- W4366999666 isParatext "false" @default.
- W4366999666 isRetracted "false" @default.
- W4366999666 workType "article" @default.