[go: up one dir, main page]

Mösenlechner, 2016 - Google Patents

The Cognitive Robot Abstract Machine: a framework for cognitive robotics

Mösenlechner, 2016

Document ID
7765063128497212077
Author
Mösenlechner L
Publication year

External Links

Continue reading at scholar.google.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G06F8/315—Object-oriented languages
    • 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/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G06F9/4428—Object-oriented
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/45—Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • 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
    • 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
    • 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

Similar Documents

Publication Publication Date Title
US9327403B2 (en) Advanced behavior engine
Ghallab et al. Automated planning and acting
Han et al. Building the foundation of robot explanation generation using behavior trees
Brunner et al. RAFCON: A graphical tool for engineering complex, robotic tasks
Saldhana et al. Formalization of object behavior and interactions from UML models
Jiang et al. Open-world reasoning for service robots
Banusić et al. PGCD: robot programming and verification with geometry, concurrency, and dynamics
Harel et al. Wise computing: toward endowing system development with proactive wisdom
Valner et al. Unified meaning representation format (UMRF)-a task description and execution formalism for HRI
Mösenlechner The Cognitive Robot Abstract Machine: a framework for cognitive robotics
Bensalem et al. Toward a more dependable software architecture for autonomous robots
Cowley et al. Towards language-based verification of robot behaviors
Lange et al. General-Purpose Robotic Navigation via LVLM-Orchestrated Perception, Reasoning, and Acting
Mösenlechner The Cognitive Robot Abstract Machine
Björklund et al. Towards efficient code synthesis from statecharts
Adam et al. Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse.
Stirewalt Automatic generation of interactive systems from declarative models
Lestingi et al. HRC-Team: A model-driven approach to formal verification and deployment of collaborative robotic applications
Winikoff An AgentSpeak meta-interpreter and its applications
Chaar A methodology for developing real-time control software for efficient and dependable manufacturing systems
Canciani et al. A context-oriented extension of F
D'Osualdo Verification of message passing concurrent systems
Pierce Enhancing the usability of rely-guarantee conditions for atomicity refinement
Kilaru PLASA: Programming Language for Synchronous Agents
Darolți Software engineering for robotics: an autonomous robotic vacuum cleaner for solar panels