By Topic

On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Provan, G. ; Rockwell Sci. Center, Thousand Oaks, CA, USA ; Yi-Liang Chen

Shows the relationship between two discrete event system representations, finite state machines and causal networks. Finite state machine models have been used extensively for the supervisory control of logical (and timed, with some extension) discrete event systems. On the other hand, causal networks have been applied mainly to the diagnosis of discrete event systems. Advances in finite-state-machine based diagnosis and causal-network-based control have prompted an interest in understanding the relationship between these two representations. We describe initial findings concerning the mappings between these two representations for modeling synchronous system components, and discuss the implications of their relationships. We demonstrate the relationship using an example of a factory conveyor system

Published in:

Decision and Control, 2000. Proceedings of the 39th IEEE Conference on  (Volume:1 )

Date of Conference: