Browsing Engineering (Faculty of) by Supervisor "Thistle, John"
Now showing items 1-2 of 2
-
Analysis of Parameterized-Chain Networks: The Dependency Graph and Its Full, Consistent Subgraphs
(University of Waterloo, 2016-08-17)This thesis studies algorithmic aspects of deadlock analysis for parameterized networks of discrete-event systems. A parameterized network consists of a finite, but arbitrarily large, number of interacting finite-state ... -
A Graph-Transformation Modelling Framework for Supervisory Control
(University of Waterloo, 2016-06-10)Formal design methodologies have the potential to accelerate the development and increase the reliability of supervisory controllers designed within industry. One promising design framework which has been shown to do so ...