19 May 2005 Verified models of multiagent systems for vehicle health management
Author Affiliations +
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.
© (2005) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Albert Esterline, Albert Esterline, Bhanu Gandluri, Bhanu Gandluri, Mannur Sundaresan, Mannur Sundaresan, Jagannathan Sankar, 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); doi: 10.1117/12.600017; https://doi.org/10.1117/12.600017
PROCEEDINGS
12 PAGES


SHARE
RELATED CONTENT

Integrated smart structures wingbox
Proceedings of SPIE (September 08 1993)
Soft computing applications at General Electric
Proceedings of SPIE (November 14 2001)
Fuzzy logic for fault diagnosis
Proceedings of SPIE (February 01 1991)

Back to Top