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

Praveen et al., 2022 - Google Patents

Assuring behavior of multirobot autonomous systems with translation from formal verification to ROS simulation

Praveen et al., 2022

Document ID
10642469506899606797
Author
Praveen A
Gupta A
Bhattacharyya S
Muthalagu R
Publication year
Publication venue
IEEE Systems Journal

External Links

Snippet

Formal verification provides assurance to the modeling and design of robotic applications in executing autonomous operations. With the advancement of technologies, robotic applications have evolved to integrate multiple distributed robots. As a result, the integration …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • 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
    • 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
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Model driven
    • 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
    • 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
    • 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
Wilson et al. The robotarium: Globally impactful opportunities, challenges, and lessons learned in remote-access, distributed control of multirobot systems
Garcıa et al. An architecture for decentralized, collaborative, and autonomous robots
Allgöwer et al. Position paper on the challenges posed by modern applications to cyber-physical systems theory
Brugali Model-driven software engineering in robotics: Models are designed to use the relevant things, thereby reducing the complexity and cost in the field of robotics
Praveen et al. Assuring behavior of multirobot autonomous systems with translation from formal verification to ROS simulation
Torens et al. Certification and software verification considerations for autonomous unmanned aircraft
Pradhan et al. Achieving resilience in distributed software systems via self-reconfiguration
St-Onge et al. ROS and Buzz: consensus-based behaviors for heterogeneous teams
Scrapper et al. MOAST and USARSim: a combined framework for the development and testing of autonomous systems
Cecil A conceptual framework for supporting UAV based cyber physical weather monitoring activities
Krummacker et al. Digital Twin Development: Mathematical Modeling
US20130111553A1 (en) System to establish trustworthiness of autonomous agent
Figueroa et al. Risk-reduction autonomy implementation to enable NASA Artemis missions
Caldas et al. Runtime Verification and Field Testing for ROS-Based Robotic Systems
Costa et al. N-learning: An approach for learning and teaching skills in multirobot teams
Armbrust et al. Verification of behaviour networks using finite-state automata
Di Ruscio et al. The role of parts in the system behaviour
Ruchkin Integration beyond components and models: research challenges and directions
Penserini et al. Development framework for DRONEs as smart autonomous systems
Tekinerdogan et al. A feature-based ontology for cyber-physical systems
de Sousa Barros et al. Analysis of design strategies for unmanned aerial vehicles using co-simulation
Buksz et al. Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones
Al-Ali et al. Framework to Relate/Combine Modeling Languages and Techniques
Müller et al. Interoperability Open Architecture of Unmanned Systems
Ordoukhanian Modeling and Simulation Testbed for Unmanned Systems