Modeling Admissible Behavior Using Event Signals

Author

Pinzon, Luz E. ; Jafari, Mohsen A. ; Ama, A. ; Hanisch, Hans-M

Author_Institution

Department of Industrial and Systems Engineering Rutgers, The State University of New Jersey 96 Frelinghuysen Road, Piscataway, NJ 08854, USA pinzon@rutcorrutgers.edu

fYear

2005

fDate

18-22 April 2005

Firstpage

284

Lastpage

291

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 model. The events of this Petri Net 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 ConditionlEvent 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.

Keywords

Discrete Event System (DES); Net Condition/Event Systems (NCES); Petri Net (PN); Sequential Specification; Synthesis; Control system synthesis; Control systems; Discrete event systems; Explosions; Law; Legal factors; Petri nets; State-space methods; Systems engineering and theory; Discrete Event System (DES); Net Condition/Event Systems (NCES); Petri Net (PN); Sequential Specification; Synthesis;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on

Print_ISBN

0-7803-8914-X

Type

conf

DOI

10.1109/ROBOT.2005.1570133

Filename

1570133