State observability and condition observability for a class of interacting discrete event systems

Authors:
Lawrence E. Holloway;Yu Gong;Jeff Ashley
Affiliations:
Department of Electrical Engineering and Center for Manufacturing Systems, University of Kentucky, Lexington, Kentucky 40506, USA;Department of Electrical Engineering and Center for Manufacturing Systems, University of Kentucky, Lexington, Kentucky 40506, USA;Department of Electrical Engineering and Center for Manufacturing Systems, University of Kentucky, Lexington, Kentucky 40506, USA
Venue:
Mathematics and Computers in Simulation
Year:
2006

Citing 4
Cited 0

On observability of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
Petri nets with uncertain markings

APN 90 Proceedings on Advances in Petri nets 1990
Qualitative Diagnosis of Condition Systems

Discrete Event Dynamic Systems
Automated synthesis and composition of taskblocks for control ofmanufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces the concepts of state observability and condition observability for condition systems, a class of systems composed of discrete state components which interact via discrete binary signals called conditions. Given a set of externally observed conditions, state observability implies that the state of the system can be determined from the observations, and condition observability implies that all unobserved input and output conditions of the system can be determined from the observations. In this paper, we present a class of systems which is state observable and condition observable. We present a method to synthesize an observer system to provide state and condition signal estimates for a single component subsystem.