Modeling admissible behavior using event signals

Luz Pinzon; Mohsen A Jafari; Hans-Michael Hanisch; Peng Zhao

doi:10.1109/tsmcb.2004.825915

Modeling admissible behavior using event signals

IEEE Trans Syst Man Cybern B Cybern. 2004 Jun;34(3):1435-48. doi: 10.1109/tsmcb.2004.825915.

Authors

Luz Pinzon¹, Mohsen A Jafari, Hans-Michael Hanisch, Peng Zhao

Affiliation

¹ Bell Laboratories, Lucent Technologies, San Francisco, CA 94104, USA.

PMID: 15484915
DOI: 10.1109/tsmcb.2004.825915

Abstract

We describe here how to obtain a model for the admissible behavior of a discrete event system that is represented by a safe Petri net (PN) model. The transitions of this PN model may be controllable or uncontrollable. Also given is a sequential specification which is modeled with a special state machine. Then, using the condition and event arcs of net condition/event systems, a combined model of plant and specification is obtained. We use only the structure of this combined model to develop a method which gives the admissible behavior of the system. Thus, we avoid the complexity of a complete state enumeration.

Publication types

Comparative Study
Evaluation Study
Research Support, Non-U.S. Gov't
Validation Study

MeSH terms

Algorithms*
Artificial Intelligence*
Behavior / classification*
Logistic Models*
Neural Networks, Computer*
Pattern Recognition, Automated*
Signal Processing, Computer-Assisted*