1–20 von 103 Ergebnissen
|

    Synthesizing FDIR Recovery Strategies

    Freier Zugriff
    Müller, Sascha | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: Formal Methods

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Freier Zugriff
    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2017
    Schlagwörter: Formal Methods

    Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees

    Freier Zugriff
    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: Formal Methods

    Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection

    Freier Zugriff
    Wang, Ke‐Ming / Wang, Xia / Wang, Zheng et al. | Wiley | 2022
    Schlagwörter: Formal logic , Formal methods

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Freier Zugriff
    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2017
    Schlagwörter: Formal Methods

    PuRSUE -from specification of robotic environments to synthesis of controllers

    Freier Zugriff
    Bersani, Marcello M. / Soldo, Matteo / Menghi, Claudio et al. | BASE | 2020
    Schlagwörter: formal methods

    Runtime Verification

    Alwyn E Goodloe | NTRS
    Schlagwörter: Formal Methods

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    P. Rajagopal / J. B. Dabney / J. M. Badger | NTIS | 2023
    Schlagwörter: Formal methods

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2021
    Schlagwörter: Formal methods

    Flying Blind: Keeping aircraft safe without a pilot on board.

    Aaron Michael Dutle | NTRS
    Schlagwörter: formal methods

    Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees

    Freier Zugriff
    Mikaelyan, Liana / Müller, Sascha / Gerndt, Andreas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: Formal Methods

    Formal Methods for Unmanned Aircraft Systems

    Aaron Dutle | NTRS
    Schlagwörter: Formal Methods

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    James B Dabney / Pavan Rajagopal / Julia M Badger | NTRS
    Schlagwörter: Formal Methods

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    Pavan Rajagopal / James B. Dabney / Julia M. Badger | NTRS
    Schlagwörter: Formal Methods

    Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

    Freier Zugriff
    Grundt, Dominik / Köhne, Anna / Saxena, Ishan et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: Autonomous Driving Formal Methods Verification & Validation Complex System Requirements

    Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving

    Freier Zugriff
    Karlsson, Jesper | BASE | 2022
    Schlagwörter: Formal Methods

    Certification for Machine Learning

    Natasha Neogi | NTRS
    Schlagwörter: Formal Methods

    Experience with Formal Methods Techniques at the Jet Propulsion Laboratory from a Quality Assurance Perspective

    Rick Covington / Kelly, John C. | NTRS | 1993
    Schlagwörter: Methods , Formal

    Creating Formal Characterizations of Routine Contingency Management in Commercial Aviation

    Natasha Neogi / Jon Holbrook / Daniel Griessler et al. | NTRS
    Schlagwörter: Formal Methods

    Safety and Public Acceptance

    Natasha Neogi | NTRS
    Schlagwörter: Formal Methods