Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Blocking Detection in Discrete Event Systems Sherif Abdelwahed
 

Summary: Blocking Detection in Discrete Event Systems
Sherif Abdelwahed
sherif.abdelwahed@vanderbilt.edu
Institute for Software Integrated Systems
Vanderbilt University
Nashville, TN, USA
W. M. Wonham
wonham@control.toronto.edu
Department of Electrical Engineering
University of Toronto
Toronto, Ontario, Canada
Abstract
In this paper we present an approach for blocking de-
tection in multiprocess DES. In the proposed approach,
potential blocking states are first identified by examin-
ing shared transitions in the system components and
then tested for their reachability.
1 Introduction
Blocking is a major problem in multiprocess discrete
event systems (DES). Blocking originates from the na-

  

Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University

 

Collections: Engineering