Login | Register

Logic diagram verification by modular supervisory control of discrete-event system

Title:

Logic diagram verification by modular supervisory control of discrete-event system

Liu, Yong Chang (2008) Logic diagram verification by modular supervisory control of discrete-event system. Masters thesis, Concordia University.

[img]
Preview
Text (application/pdf)
MR45520.pdf - Accepted Version
1MB

Abstract

Control function verification is an important task in current engineering design. Traditional researches usually focus on the final function validation when the control system has already been implemented on a hardware controller. However, it would be more useful if design errors are found in earlier stages of design. Logic diagram, as a popular middle medium, plays a critical role in the current design practices, especially for medium-sized and large-sized control systems. Therefore, verification of the design specifications of the logic diagrams is an interesting topic in order to find and eliminate the design errors in an early stage. In this thesis, we provide a viable approach to verify the design functions of the logic diagrams which is based on the modular supervisory control of Discrete-Event Systems. We create models for basic logic gates and introduce buffers to obtain automaton representation of logic diagrams After converting the informal verbal specifications to automata, we can verify whether the logic diagram satisfies these specifications with the help of TTCT (a computer program based on automata for analysis and design of supervisory control systems). A formal proof of controllability and a semi-formal proof of nonblocking property are given. An industrial-sized example is studied to demonstrate the feasibility of our methodology.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Liu, Yong Chang
Pagination:xii, 107 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:2008
Thesis Supervisor(s):Gohari, P
ID Code:975187
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 15:44
Last Modified:18 Jan 2018 17:39
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top