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

Figueroa et al., 2022 - Google Patents

Risk-reduction autonomy implementation to enable NASA Artemis missions

Figueroa et al., 2022

View PDF
Document ID
17913471151868901695
Author
Figueroa F
Underwood L
Morris J
Walker M
Brown R
Publication year
Publication venue
2022 IEEE Aerospace Conference (AERO)

External Links

Snippet

To achieve NASA's Artemis program mission objectives a high level of autonomy that is ubiquitous throughout the systems that are being developed will be necessary. The autonomous systems of Artemis will require a distributed autonomy capability, with …
Continue reading at ntrs.nasa.gov (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
    • 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
    • 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/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements

Similar Documents

Publication Publication Date Title
Cardoso et al. Heterogeneous verification of an autonomous curiosity rover
Mirakhorli et al. Using tactic traceability information models to reduce the risk of architectural degradation during system maintenance
Frank et al. Developing decision aids to enable human spaceflight autonomy
Figueroa et al. Risk-reduction autonomy implementation to enable NASA Artemis missions
De Vin et al. Information fusion for simulation based decision support in manufacturing
Lutz et al. Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle
Flückiger et al. Service oriented robotic architecture for space robotics: Design, testing, and lessons learned
Praveen et al. Assuring behavior of multirobot autonomous systems with translation from formal verification to ROS simulation
US8898736B2 (en) System to establish trustworthiness of autonomous agent
Marsh The ISA expert system: a prototype system for failure diagnosis on the space station
McGhan et al. A risk-aware architecture for resilient spacecraft operations
Mueller et al. Introduction of a Dedicated Platform Level for IMA Systems Development With an Extensive Automation Tool Support
Baumgart et al. A state-based extension to STPA for safety-critical system-of-systems
Baumgart et al. A Process to Support Safety Analysis for a System-of-Systems
Caldas et al. Runtime Verification and Field Testing for ROS-Based Robotic Systems
Madni et al. Formal and probabilistic modeling in design of resilient systems and system-of-systems
Baumgart et al. A Model-Based Approach to Document a System-of-Systems
Kransner et al. Integrating autonomy technologies into an embedded spacecraft system-flight software system engineering for new millennium
Webster et al. Formal verification of astronaut-rover teams for planetary surface operations
Chanthery et al. Applying active diagnosis to space systems by on-board control procedures
Brat et al. Verification of plans and procedures
Feather et al. Assurance for Autonomy–JPL’s past research, lessons learned, and future directions
Dowdeswell Diagnostic Belief-Desire-Intention Agents for Distributed IEC 61499 Fault Diagnosis
Whitman et al. IV&V Assurance Case Design for Artemis II
Dennehy et al. The development of nasa's fault management handbook