Work

An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV

Year: 2016

Type: article

Abstract: In a dynamic environment autonomous robots often encounter unexpected situations that the robots have to deal with in order to continue proceeding their mission.We propose an adaptive goal-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyze for attainment of their goals from current state using the updated environmental model and its capabilities.Information exchange approach utilizes Human-Agent-Robot-Machine-Sensor (HARMS) model to exchange messages between CPS.Model validation method uses NuSMV, which is one of Model Checking tools, to check whether the system can continue its mission toward the goal in the given environment.We explain a practical set up of the model in a situation in which homogeneous robots that has the same capability work in the same environment.

Source: International Journal of Fuzzy Logic and Intelligent Systems

DOI: 10.5391/ijfis.2016.16.2.95

Authors: Yongho Kim, Jin-Woo Jung, John C. Gallagher, Eric T. Matson

Institutions: Purdue University West Lafayette, Dongguk University, Wright State University

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: National Science Foundation, National Research Foundation, National Research Foundation of Korea

Awards: CPS: Synergy: Collaborative Research: Methodologies for Engineering with Plug-and-Learn Components: Formal Synthesis and Analysis Across Abstraction Layers, G285483230, CPS: Synergy: Collaborative Research: Methodologies for Engineering with Plug-and-Learn Components: Formal Synthesis and Analysis Across Abstraction Layers