Movatterモバイル変換

[0]ホーム
URL:

Harbin et al., 2023 - Google Patents

Model-driven design space exploration for multi-robot systems in simulation

Harbin et al., 2023

ViewHTML
Document ID
14916266450886529678
Author
Harbin J
Gerasimou S
Matragkas N
Zolotas T
Calinescu R
Alpizar Santana M
Publication year
Publication venue
Software and Systems Modeling

External Links

Snippet

Multi-robot systems are increasingly deployed to provide services and accomplish missions whose complexity or cost is too high for a single robot to achieve on its own. Although multi- robot systems offer increased reliability via redundancy and enable the execution of more …
Continue reading atlink.springer.com (HTML) (other versions)

Classifications

The classifications are assigned by a computer and are not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the classifications listed.
    • 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
    • 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
    • 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
    • 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
    • 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
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/004—Artificial life, i.e. computers simulating life
    • 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
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a programme unit and a register, e.g. for a simultaneous processing of several programmes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • 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

Similar Documents

PublicationPublication DateTitle
Vermesan et al.Internet of robotic things intelligent connectivity and platforms
Harel et al.Autonomics: In search of a foundation for next-generation autonomous systems
Vermesan et al.Next generation Internet of Things: Distributed intelligence at the edge and human machine-to-machine cooperation
WeynsArchitecture-based design of multi-agent systems
Tsigkanos et al.Architecting dynamic cyber-physical spaces
Zhou et al.A comprehensive technological survey on the dependable self-management CPS: From self-adaptive architecture to self-management strategies
Warden et al.Towards ontology-based multiagent simulations: The plasma approach
Gabor et al.The scenario coevolution paradigm: adaptive quality assurance for adaptive systems
Harbin et al.Model-driven design space exploration for multi-robot systems in simulation
Harbin et al.Model-driven simulation-based analysis for multi-robot systems
Farinelli et al.Interacting with team oriented plans in multi-robot systems
Hoffmann et al.Autonomous agent behaviour modelled in PRISM–A case study
Cox JrAnswerable and unanswerable questions in risk analysis with open‐world novelty
Hussain et al.Finite state automaton based control system for walking machines
Belzner et al.Collective autonomic systems: towards engineering principles and their foundations
Marah et al.An architecture for intelligent agent-based digital twin for cyber-physical systems
Yang et al.vGOAL: a GOAL-based specification language for safe autonomous decision-making
Di Torrepadula et al.Smart Ecosystems and Digital Twins: an architectural perspective and a FIWARE-based solution
Bernon et al.Engineering self-organising systems
Castro et al.of Intelligent Cyber-Physical Systems
RueßSystems challenges for trustworthy embodied systems
VermesanNext generation internet of things–distributed intelligence at the edge and human-machine interactions
Kim et al.Dependability-enhanced unified modeling and simulation methodology for Critical Infrastructures
Huang et al.Multi-Agent Coordination
Vistbakka et al.Deriving mode logic for autonomous resilient systems
[8]ページ先頭
©2009-2025 Movatter.jp