[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Feather et al., 2023 - Google Patents

Assurance for Autonomy–JPL's past research, lessons learned, and future directions

Feather et al., 2023

View PDF
Document ID
16516896911590780349
Author
Feather M
Pinto A
Publication year
Publication venue
2023 IEEE International Conference on Assured Autonomy (ICAA)

External Links

Snippet

Robotic space missions have long depended on automation, defined in the 2015 NASA Technology Roadmaps as “the automatically-controlled operation of an apparatus, process, or system using a pre-planned set of instructions (eg, a command sequence),” to react to …
Continue reading at arxiv.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G06Q10/0631—Resource planning, allocation or scheduling for a business operation
    • G06Q10/06316—Sequencing of tasks or work
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition

Similar Documents

Publication Publication Date Title
Bernard et al. Design of the remote agent experiment for spacecraft autonomy
Bernard et al. Spacecraft autonomy flight experience: The DS1 Remote Agent experiment
Nayak et al. Validating the ds-1 remote agent experiment
Torens et al. Certification and software verification considerations for autonomous unmanned aircraft
Hobbs et al. Space trusted autonomy readiness levels
Kimmel et al. Technology readiness assessment best practices guide
Feather et al. Assurance for Autonomy–JPL’s past research, lessons learned, and future directions
Hayden et al. Diagnostic technology evaluation report for on-board crew launch vehicle
Maimone et al. RP-check: An architecture for spaceflight command sequence validation
Schwabacher et al. Pre-launch diagnostics for launch vehicles
Knight et al. Leveraging multiple artificial intelligence techniques to improve the responsiveness in operations planning: Aspen for orbital express
Johnson et al. The small satellite reliability initiative: A public-private effort addressing smallsat mission confidence
Rochford A Model-Based Systems Engineering Approach to Refueling Satellites
Merladet et al. Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach
Pyrgies Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture
Smith et al. Software Assurance of Autonomous Spacecraft Control
Clements et al. Tailored systems engineering processes for low cost high risk missions
Nelson et al. Formal verification for a next-generation space shuttle
Smith et al. Exploration technologies for operations
Mackey et al. Getting diagnostic reasoning off the ground: maturing technology with TacSat-3
Clements et al. Tailored systems engineering processes for low-cost high-risk missions
Gundy-Burlet MBSE Validation and Verification: Case Study for LADEE
Goodman The space shuttle and GPS: A safety-critical navigation upgrade
Nikora et al. Demonstrating assurance of model-based fault diagnosis systems on an operational mission
Mattenberger et al. Comparative analysis of static and dynamic probabilistic risk assessment