Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/19102
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Leduc, Ryan | - |
dc.contributor.author | Alsuwaidan, Amal | - |
dc.date.accessioned | 2016-04-20T17:33:04Z | - |
dc.date.available | 2016-04-20T17:33:04Z | - |
dc.date.issued | 2016 | - |
dc.identifier.uri | http://hdl.handle.net/11375/19102 | - |
dc.description.abstract | 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. | en_US |
dc.language.iso | en | en_US |
dc.subject | TDES, DES, fault tolerant | en_US |
dc.title | Timed Fault Tolerant Supervisory Control | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Master of Applied Science (MASc) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Alsuwaidan_Amal_A_2016April_MASc.pdf | Thesis | 2.58 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.