By Topic

Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems

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
$33 $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)
B. Gaudin ; IRISA, Campus Universitaire de Beaulieu, 35042 Rennes, France Benoit.Gaudin@irisa.fr ; H. Marchand

We tackle the Non-Blocking Supervisory Control Problem control for Concurrent Discrete Event Systems that are defined by a collection of components that interact with each other. In this study, we first outline the method allowing to solve the state avoidance control problem on concurrent systems. We then present results offering an efficient method to detect deadlock states in the controlled system, which once combined with the previous method, allows us to solve a particular class of the non-blocking state avoidance control problem.

Published in:

Proceedings of the 44th IEEE Conference on Decision and Control

Date of Conference:

12-15 Dec. 2005