Controller synthesis for parameterized discrete event systems

Authors: Bherer, Hans
Advisor: Desharnais, Jules; St-Denis, Richard
Abstract: Discrete event systems are a special type of dynamic systems. The state of these systems changes only at discrete instants of time and the term event is used to represent the occurrence of discontinuous changes. These systems are mostly man-made and arise in the domains of manufacturing systems, traffic systems, database management systems and communication protocols. This thesis investigates the control of parameterized discrete event systems when specifications are given in terms of predicates and satisfy a similarity assumption. For systems consisting of similar processes under total or partial observation, conditions are given to deduce properties of a system of n processes from properties of a system of n0 processes, with n ≥ n0. Furthermore, it is shown how to infer a control policy for the former from the latter’s, while taking into account interconnections between processes. This study is motivated by a weakness in current synthesis methods that do not scale well to huge systems.
Document Type: Thèse de doctorat
Issue Date: 2009
Open Access Date: 16 April 2018
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
Description SizeFormat 
26696.pdfTexte691.01 kBAdobe PDFThumbnail
All documents in CorpusUL are protected by Copyright Act of Canada.