• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Timed Fault Tolerant Supervisory Control

Alsuwaidan, Amal January 2016 (has links)
With the ever growing complexity of computer-controlled systems, the need for discrete- event systems has emerged. Many contributions have been done to improve and dis- cuss discrete-event system properties. In this thesis, we investigate the problem of fault tolerance in timed discrete-event systems. Our goal is to establish a timed fault tolerant supervisory control approach. We start by presenting our settings and providing different fault scenarios. We then provide four fault tolerant definitions to verify that the system will remain controllable in each scenario. Also, we introduce algorithms to verify timed controllability for each scenario. We implement a tool extension for the software research tool, DESpot, to verify timed controllability. Furthermore, we implement a tool extension to verify fault tolerant untimed controllability and nonblocking, and timed fault tolerant controllability for the fault scenarios. Finally, we present a simple example to illustrate our approach. / Thesis / Master of Applied Science (MASc)

Page generated in 0.181 seconds