Verified models of multiagent systems for vehicle health management

Albert Esterline; Bhanu Gandluri; Mannur Sundaresan; Jagannathan Sankar

doi:10.1117/12.600017

19 May 2005 Verified models of multiagent systems for vehicle health management

Albert Esterline, Bhanu Gandluri, Mannur Sundaresan, Jagannathan Sankar

Proceedings Volume 5757, Smart Structures and Materials 2005: Modeling, Signal Processing, and Control; (2005) https://doi.org/10.1117/12.600017
Event: SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring, 2005, San Diego, California, United States

Abstract

A multiagent framework for data acquisition, analysis, and diagnosis in health management is proposed. It uses the contract net protocol, a protocol for high-level distributed problem solving that provides adaptive and flexible solutions where task decomposition and assignment of subtasks is natural. Java is used to wrap implementations of existing techniques for individual tasks, such as neural networks or fuzzy rule bases for fault classification. The Java wrapping supplies an agent interface that allows an implementation to participate in the contract net protocol. This framework is demonstrated with a simple Java prototype that monitors a laboratory specimen that generates acoustic emission signals due to fracture-induced failure. A multiagent system that conforms to our framework can focus resources as well as select important data and extract important information. Such a system is extensible and decentralized, and redundancy in it provides fault tolerance and graceful degradation. Finally, the flexibility inherent in such a system allows new strategies to develop on the fly. The behavior of a non-trivial concurrent system (such as multiagent systems) is too complex and uncontrollable to be thoroughly tested, so methods have been developed to check the design of a concurrent system against formal specifications of the system’s behavior. We review one such method-model checking with SPIN-and discuss how it can be used to verify control aspects of multiagent systems that conform to our framework.

Citation Download Citation

Albert Esterline, Bhanu Gandluri, Mannur Sundaresan, and Jagannathan Sankar "Verified models of multiagent systems for vehicle health management", Proc. SPIE 5757, Smart Structures and Materials 2005: Modeling, Signal Processing, and Control, (19 May 2005); https://doi.org/10.1117/12.600017

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available