By Topic

Design of T-liveness enforcing supervisors in Petri nets

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)
Iordache, M.V. ; Dept. of Electr. Eng., Univ. of Notre Dame, IN, USA ; Antsaklis, P.J.

This paper presents a procedure for the design of supervisors that enforce the transitions in a given set T to be live. T-liveness enforcement corresponds to full liveness enforcement when T equals the total set of transitions. Rather than assuming a given initial marking, this procedure generates at every iteration a convex set of admissible initial markings. In the case of full liveness enforcement and under certain conditions also in the case of T-liveness enforcement, the convex set of each iteration includes the set of markings for which liveness/T-liveness can be enforced. When the procedure terminates, and if it terminates, the final convex set contains only markings for which T-liveness can be enforced. Then, the supervisor keeping the Petri net (PN) marking in this convex set can be easily designed using the place invariant based approach. This paper focuses on the fully controllable and observable PNs. Several extensions of the procedure, including to partially controllable and observable PNs, are outlined.

Published in:

Automatic Control, IEEE Transactions on  (Volume:48 ,  Issue: 11 )