Les systèmes à événements discrets sont des systèmes dynamiques particuliers. Ils
changent d’état de fa¸con discrète et le terme événement est utilisé afin de représenter
l’occurrence de changements discontinus. Ces systèmes sont principalement construits
par l’homme et on les retrouve surtout dans les secteurs manufacturier, de la circu-
lation automobile, des bases de données et des protocoles de communication. Cette
thèse s’intéresse au contrôle des systèmes paramétrés à événements discrets où les
spécifications sont exprimées à l’aide de prédicats et satisfont une condition de similarité.
Des conditions sont données afin de déduire des propriétés, en observation partielle ou
totale, pour un système composé de n processus similaires à partir d’un système com-
posé de n0 processus, avec n ≥ n0. De plus, il est montré comment inférer des politiques
de contrôle en présence de relations d’interconnexion entre les processus. Cette étude
est principalement motivée par la faiblesse des méthodes actuelles de synthèse pour le
traitement des problèmes industriels de taille réelle. / 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.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2009/26696 |
| Date | 11 1900 |
| Creators | Bherer, Hans |
| Contributors | Desharnais, Jules, St-Denis, Richard |
| Publisher | Université Laval |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation |
| Format | application/pdf |
| Rights | © Hans Bherer, 2009 |
Page generated in 0.0017 seconds