control of real-time discrete-event systems subject to predicate-based constraints.
Series: Canadian theses = Thèses canadiennes
Publisher: National Library of Canada = Bibliothèque nationale du Canada
Published: 1997
Place of publication: Ottawa
Language: eng
Number of pages: 193
Notes: Thesis (Ph.D.)--University of Toronto, 1997.

Includes bibliographical references.