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

Madni et al., 2019 - Google Patents

Formal and probabilistic modeling in design of resilient systems and system-of-systems

Madni et al., 2019

Document ID
5911156271916407726
Author
Madni A
Sievers M
Erwin D
Publication year
Publication venue
AIAA Scitech 2019 Forum

External Links

Snippet

II. Introduction esilience is a dynamic property of individual systems and system-of-systems (SoS) that enables them to provide useful service in the face of external, systemic, and human-triggered disruptions [1, 2, 3]. A multi-UAV swarm is an example of a SoS. Examples …
Continue reading at arc.aiaa.org (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
    • 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
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G06N3/04—Architectures, e.g. interconnection topology
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • 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
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • 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
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks
    • 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
    • G06Q50/00—Systems or methods specially adapted for a specific business sector, e.g. utilities or tourism
    • G06Q50/10—Services
    • G06Q50/20—Education

Similar Documents

Publication Publication Date Title
Wilkins A call for knowledge-based planning
Vachtsevanos et al. Resilient design and operation of cyber physical systems with emphasis on unmanned autonomous systems
Roberts et al. Iterative goal refinement for robotics
JP2008537262A (en) Decision support method and system
Schmill et al. The metacognitive loop and reasoning about anomalies
Evertsz et al. A framework for modelling tactical decision-making in autonomous systems
Madni et al. Formal and probabilistic modeling in design of resilient systems and system-of-systems
Rouff et al. Experiences applying formal approaches in the development of swarm-based space exploration systems
Boy Design for safety: a cognitive engineering approach
WO2013066809A1 (en) System to establish trustworthiness of autonomous agent
Choi et al. Verification of heterogeneous multi-agent system using MCMAS
Frank Reflecting on planning models: A challenge for self-modeling systems
Figueroa et al. Risk-reduction autonomy implementation to enable NASA Artemis missions
Bieger et al. Requirements for general intelligence: A case study in trustworthy cumulative learning for air traffic control
Abeywickrama et al. Engineering responsible and explainable models in human-agent collectives
Castro et al. Challenges in the operation and design of intelligent cyber-physical systems
Valerdi et al. Engineering Systems Integration, Testing, and Validation
Alali et al. Bayesian reinforcement learning for navigation planning in unknown environments
Madni et al. Affordable resilience
Corker Computational human performance models and air traffic management
Insaurralde Software programmed by artificial agents toward an autonomous development process for code generation
Schmidt et al. Exploring a maximal number of relevant obstacles for testing uavs
Zhang et al. Flight mission modeling based on BDI Petri net
Marsh et al. An initial agent behaviour modelling and definition methodology as applied to unmanned aerial vehicle simulations
Cheney et al. Development, Test and Evaluation of Autonomous Unmanned Aerial Systems in A Simulated Wide Area Search Scenario: An Implementation of the Autonomous Systems Reference Architecture