Logic diagram verification by modular supervisory control of discrete-event system
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 earlie...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2008
|
| Online Access: | http://spectrum.library.concordia.ca/975187/1/MR45520.pdf Liu, Yong Chang <http://spectrum.library.concordia.ca/view/creators/Liu=3AYong_Chang=3A=3A.html> (2008) Logic diagram verification by modular supervisory control of discrete-event system. Masters thesis, Concordia University. |