Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/11959
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Leduc, Ryan | en_US |
dc.contributor.advisor | Malik, Robi | en_US |
dc.contributor.author | Baloch, Mahvash | en_US |
dc.date.accessioned | 2014-06-18T16:57:42Z | - |
dc.date.available | 2014-06-18T16:57:42Z | - |
dc.date.created | 2012-03-29 | en_US |
dc.date.issued | 2012-04 | en_US |
dc.identifier.other | opendissertations/6886 | en_US |
dc.identifier.other | 7924 | en_US |
dc.identifier.other | 2710877 | en_US |
dc.identifier.uri | http://hdl.handle.net/11375/11959 | - |
dc.description.abstract | <p>Sampled-data supervisory control deals with timed discrete event systems (TDES) where the supervisors are to be implemented as sampled-data controllers. A sampled-data controller views the system as a series of inputs and outputs and is controlled by a periodic clock. It samples its inputs, changes state, and updates its outputs on each clock edge (the tick event). The sampled-data supervisory control framework provides a set of conditions that the TDES system must satisfy to ensure its correct behaviour in order to be implemented as sampled data controllers. A serious limitation for automatic verification of systems is the size of the system's synchronous product. To overcome this limitation, we propose the use of a compositional approach to the verification of sampled-data supervisory control. In this approach, first we recast the required conditions for sampled-data supervisory control in terms of other properties such as language inclusion, nonblocking or controllability, which already have existing compositional methods and algorithms. This makes the sampled-data properties suitable for compositional verification, considerably increasing the size of systems that can be handled using sampled-data supervisory control. We also develop and implement a set of algorithms for the compositional verification of these sampled-data properties. We provide an example of the SD Controlled Flexible Manufacturing System to test our algorithms.</p> | en_US |
dc.subject | Discrete Event Systems | en_US |
dc.subject | Supervisory Control | en_US |
dc.subject | Sampled Data Supervisory Control | en_US |
dc.subject | Compositional Verification | en_US |
dc.subject | Controls and Control Theory | en_US |
dc.subject | Controls and Control Theory | en_US |
dc.title | A Compositional Approach for Verifying Sampled-Data Supervisory Control | en_US |
dc.type | thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degree | Master of Science (MSc) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
fulltext.pdf | 739.17 kB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.