[go: up one dir, main page]

Gateau et al., 2012 - Google Patents

Knowledge base for planning, execution and plan repair

Gateau et al., 2012

View PDF
Document ID
9693243032047884546
Author
Gateau T
Severac G
Lesire C
Barbier M
Bensana E
Publication year
Publication venue
PlanEx 2012

External Links

Snippet

Future robotic missions will involve numerous and heterogeneous autonomous robots. The management of these robots, in order to achieve a mission, requires interoperability, not only at low-level communication protocols and operational HMIs, but also at the decision …
Continue reading at pure.tue.nl (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
    • 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
    • G06F9/54—Interprogramme communication; Intertask communication
    • 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
    • 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
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring

Similar Documents

Publication Publication Date Title
US11782442B2 (en) General purpose robotics operating system with unmanned and autonomous vehicle extensions
US9833901B2 (en) General purpose robotics operating system with unmanned and autonomous vehicle extensions
Weyns Architecture-based design of multi-agent systems
Farrell et al. Robotics and integrated formal methods: Necessity meets opportunity
Paolucci et al. A planning component for RETSINA agents
López et al. A framework for building mobile single and multi-robot applications
Kloock et al. An architecture for experiments in connected and automated vehicles
Lincoln et al. Autonomous asteroid exploration by rational agents
Heinzemann et al. vTSL-a formally verifiable DSL for specifying robot tasks
Braberman et al. An extended description of morph: A reference architecture for configuration and behaviour self-adaptation
Valner et al. TeMoto: a software framework for adaptive and dependable robotic autonomy with dynamic resource management
Figueroa et al. Risk-reduction autonomy implementation to enable NASA Artemis missions
Shen et al. Enhancing context-aware reactive planning for unexpected situations of on-orbit spacecraft
Weyns et al. Decentralized control of automatic guided vehicles: applying multi-agent systems in practice
Joyeux et al. A plan manager for multi-robot systems
Gateau et al. Knowledge base for planning, execution and plan repair
Feljan et al. A framework for knowledge management and automated reasoning applied on intelligent transport systems
Mastrogiovanni et al. A system for hierarchical planning in service mobile robotics
Allison et al. An autonomic model-driven architecture to support runtime adaptation in swarm behavior
Kumar et al. Smart Navigation and Management of Vehicle Teleportation Using Qt ROS GUI
Hristozov et al. Modeling aspects of dynamically reconfigurable system of systems
Adams et al. Agent modeling to support allocation decisions in mobile cyber-physical systems
Liu et al. A Dual-Loop Control Model and Software Framework for Autonomous Robot Software
Rezende Silva et al. ROSA: a knowledge-based solution for robot self-adaptation
Talcott Policy-based coordination in PAGODA: A case study