Summary: INTERACTING DISCRETE EVENT SYSTEMS:
MODELLING, VERIFICATION, AND
SUPERVISORY CONTROL
by
Sherif Salah Abdelwahed
A thesis submitted in conformity with the requirements
for the Degree of Doctor of Philosophy
Department of Electrical and Computer Engineering
University of Toronto
c Copyright by Sherif Salah Abdelwahed 2002
For my parents
ii
INTERACTING DISCRETE EVENT SYSTEMS:
MODELLING, VERIFICATION, AND SUPERVISORY CONTROL
A thesis submitted in conformity with the requirements
for the Degree of Doctor of Philosophy
Graduate Department of Electrical and Computer Engineering
University of Toronto
c Copyright by Sherif Salah Abdelwahed, 2002
Abstract

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

Collections: Engineering