By Topic

On forbidden state problems for a class of controlled 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

3 Author(s)
Boel, R.K. ; Vakgroep Elektrische Energietechniek, Ghent Univ., Belgium ; Ben-Naoum, L. ; Van Breusegem, V.

This paper treats the forbidden state problem for the class of discrete-event dynamical systems (DEDS's) which can be modeled as controlled state machines (CtlSM's). CtlSM's constitute a special class of controlled Petri nets (CtlPN's) where no synchronization requirements are included in the system model. Synchronization and other safety requirements are modeled via sets of forbidden states. In this paper we study methods guaranteeing these constraints by disabling some of the controllable transitions. We assume that the full state is observable. Control logic synthesis taking into account the graphical representation of CtlSM's and the distributed state representation in terms of markings is proposed and justified. Two examples-the cat-and-mouse game and a model of a metro line-illustrate the theoretical results

Published in:

Automatic Control, IEEE Transactions on  (Volume:40 ,  Issue: 10 )