Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311868740> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4311868740 endingPage "16" @default.
- W4311868740 startingPage "3" @default.
- W4311868740 abstract "Aerospace systems are inherently stochastic and increasingly data-driven, thus hard to formally verify. Data-driven statistical models can be used to estimate the state and classify potentially anomalous conditions of aerospace systems from multiple heterogeneous sensors with high accuracy. In this paper, we consider the problem of precisely bounding the regions in the sensor input space of a stochastic system in which safe state classification can be formally proven. As an archetypal application, we consider a statistical model created to detect aerodynamic stall in a prototype wing retrofitted with piezoelectric sensors and used to generate data in a wind tunnel for different flight states. We formally define safety envelopes as regions parameterized by [Formula: see text] and [Formula: see text], to respectively capture how model-predictable observed sensor values are, and given these values, how likely the model’s accurate state classification is. Safety envelopes are formalized in the Agda proof assistant, used to also generate formally verified runtime monitors for sensor data stream analyses in the Haskell programming language. We further propose a new metric for model classification quality, evaluate it on our wing prototype model, and compare it to the model restricted to two different fixed airspeeds, and enhanced to a continuous Gaussian process regression model. Safety envelopes are an important step in formally verifying precise probabilistic properties of data-driven models used in stochastic aerospace systems and could be used by advanced control algorithms to maintain these systems well within safe operation boundaries." @default.
- W4311868740 created "2023-01-01" @default.
- W4311868740 creator A5017232258 @default.
- W4311868740 creator A5024783327 @default.
- W4311868740 creator A5050778106 @default.
- W4311868740 creator A5074078780 @default.
- W4311868740 date "2023-01-01" @default.
- W4311868740 modified "2023-10-01" @default.
- W4311868740 title "Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models" @default.
- W4311868740 cites W1977444293 @default.
- W4311868740 cites W2016647275 @default.
- W4311868740 cites W2147877794 @default.
- W4311868740 cites W2156889477 @default.
- W4311868740 cites W2161219194 @default.
- W4311868740 cites W2167724537 @default.
- W4311868740 cites W2496670332 @default.
- W4311868740 cites W2585978604 @default.
- W4311868740 cites W2590655739 @default.
- W4311868740 cites W2623121719 @default.
- W4311868740 cites W2787596386 @default.
- W4311868740 cites W2789883881 @default.
- W4311868740 cites W2963637004 @default.
- W4311868740 cites W2990340099 @default.
- W4311868740 cites W300871591 @default.
- W4311868740 cites W3037926246 @default.
- W4311868740 cites W3095468590 @default.
- W4311868740 cites W3097523446 @default.
- W4311868740 cites W3097763172 @default.
- W4311868740 cites W3120090185 @default.
- W4311868740 doi "https://doi.org/10.2514/1.i011073" @default.
- W4311868740 hasPublicationYear "2023" @default.
- W4311868740 type Work @default.
- W4311868740 citedByCount "1" @default.
- W4311868740 countsByYear W43118687402023 @default.
- W4311868740 crossrefType "journal-article" @default.
- W4311868740 hasAuthorship W4311868740A5017232258 @default.
- W4311868740 hasAuthorship W4311868740A5024783327 @default.
- W4311868740 hasAuthorship W4311868740A5050778106 @default.
- W4311868740 hasAuthorship W4311868740A5074078780 @default.
- W4311868740 hasConcept C105795698 @default.
- W4311868740 hasConcept C11413529 @default.
- W4311868740 hasConcept C121332964 @default.
- W4311868740 hasConcept C127413603 @default.
- W4311868740 hasConcept C146978453 @default.
- W4311868740 hasConcept C154945302 @default.
- W4311868740 hasConcept C163716315 @default.
- W4311868740 hasConcept C167740415 @default.
- W4311868740 hasConcept C33923547 @default.
- W4311868740 hasConcept C41008148 @default.
- W4311868740 hasConcept C49937458 @default.
- W4311868740 hasConcept C61326573 @default.
- W4311868740 hasConcept C62520636 @default.
- W4311868740 hasConcept C72434380 @default.
- W4311868740 hasConceptScore W4311868740C105795698 @default.
- W4311868740 hasConceptScore W4311868740C11413529 @default.
- W4311868740 hasConceptScore W4311868740C121332964 @default.
- W4311868740 hasConceptScore W4311868740C127413603 @default.
- W4311868740 hasConceptScore W4311868740C146978453 @default.
- W4311868740 hasConceptScore W4311868740C154945302 @default.
- W4311868740 hasConceptScore W4311868740C163716315 @default.
- W4311868740 hasConceptScore W4311868740C167740415 @default.
- W4311868740 hasConceptScore W4311868740C33923547 @default.
- W4311868740 hasConceptScore W4311868740C41008148 @default.
- W4311868740 hasConceptScore W4311868740C49937458 @default.
- W4311868740 hasConceptScore W4311868740C61326573 @default.
- W4311868740 hasConceptScore W4311868740C62520636 @default.
- W4311868740 hasConceptScore W4311868740C72434380 @default.
- W4311868740 hasFunder F4320306076 @default.
- W4311868740 hasFunder F4320338279 @default.
- W4311868740 hasIssue "1" @default.
- W4311868740 hasLocation W43118687401 @default.
- W4311868740 hasOpenAccess W4311868740 @default.
- W4311868740 hasPrimaryLocation W43118687401 @default.
- W4311868740 hasRelatedWork W1439409549 @default.
- W4311868740 hasRelatedWork W1501302278 @default.
- W4311868740 hasRelatedWork W1603968847 @default.
- W4311868740 hasRelatedWork W1966390754 @default.
- W4311868740 hasRelatedWork W2046904092 @default.
- W4311868740 hasRelatedWork W2346076952 @default.
- W4311868740 hasRelatedWork W2351491280 @default.
- W4311868740 hasRelatedWork W2386767533 @default.
- W4311868740 hasRelatedWork W303980170 @default.
- W4311868740 hasRelatedWork W4290792893 @default.
- W4311868740 hasVolume "20" @default.
- W4311868740 isParatext "false" @default.
- W4311868740 isRetracted "false" @default.
- W4311868740 workType "article" @default.