Title :
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
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;
Conference_Titel :
Robotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on
Print_ISBN :
0-7803-8914-X
DOI :
10.1109/ROBOT.2005.1570133
