Universidade Federal do Rio de Janeiro
Supervisory control of networked discrete event systems with timing structure
Abstract
dc:description.abstractIn this work, we study the supervisory control problem of Networked Discrete Event Systems with Timing Structure (NDESWTS), that is subject to bounded communication delays and intermittent loss of observations. We assume that the communication between the plant and the supervisor is carried out through a network that can have several channels, so that, communication delays may change the order of the observations. We will propose an untimed equivalent model for NDESWTS that represents all possible implications of delays and loss of observations. For this matter, we assume a priori knowledge of the minimal transition activation time and the maximal communication delays, and also take into account possible packet losses. Based on this model, we formulate a networked supervisory control problem and present a necessary and sufficient condition for the existence of a networked supervisor. We also present a systematic way to design networked supervisors, where we use the property of relative observability in order to increase the achieved language permissiveness. In addition, another research topic addressed in this work is the concept of relative observability. In this concern, we propose new algorithms for the verification of relative observability and computation of relatively observable sublanguages, shown to be more efficient than the previous ones proposed in the literature.
Degree
thesis:*- Grantor dc:publisher
- Universidade Federal do Rio de Janeiro
- Year dc:date.issued
- 2017
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Alves, Marcos Vinícius Silva
- Advisor dc:contributor.advisor
-
- Basilio, João Carlos dos Santos
Subjects
dc:subject × 3Rights
dc:rights- Statement dc:rights
-
- Acesso Aberto
- Language dc:language
- por
Identifiers
dc:identifier.*- Handle dc:identifier.uri
- http://hdl.handle.net/11422/6004
- OAI identifier oai:identifier
- oai:pantheon.ufrj.br:11422/6004