Hierarchical interface-based non-blocking verification

Canadian Conference on Electrical and Computer Engineering

Volumn 1, Issue , 2000, Pages 1-6

  Leduc, R J ^a   Brandin, B A ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SYSTEM; HIERARCHICAL INTERFACE; HIERARCHICAL METHOD; NONBLOCKING VERIFICATION;

COMBINATORIAL MATHEMATICS; COMPUTER PROGRAMMING LANGUAGES; HIERARCHICAL SYSTEMS; HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS; SET THEORY; SYSTEMS ANALYSIS;

INTERFACES (COMPUTER);

EID: 0033687276     PISSN: 08407789     EISSN: None     Source Type: Journal    
DOI: 10.1109/CCECE.2000.849658     Document Type: Article

References (20)

1. N. Alsop. Formal Techniques for the Procedural Control of Industrial Processes. PhD thesis, Department of Chemical Engineering and Chemical Technology, Imperial College of Science, Technology and Medicine, London, 1996.
2. Rajeev Alur and Thomas A. Henzinger. Local live-ness for compositional modelling of fair reactive systems. In Proc. of seventh Int. Conf. on Computer-aided Verification, Lecture Notes in Computer Science, pages 166-179, 1995.
3. Adnan Aziz, Vigyan Singhal, and Gitanjali M. Swamy. Minimizing interacting finite state machines: A compositional approach to language containment. In Proc. of IEEE Int. Conf. on Computer Design: VLSI in Computers and Processors, pages 255-261, Cambridge, Massachusetts, Oct 1994.
4. Bertil Brandin and Francois Charbonnier. The supervisory control of the automated manufacturing system of the AIP. In Proc. Rensselaer's 1994 Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, pages 319-324, Troy, Oct 1994.
5. Y. Brave and M. Heymann. Control of discrete event systems modeled as hierarchical state machines. IEEE Trans, on Automatic Control, 38(12):1803-1819, Dec 1993.
6. P.E. Caines and-Y.J. Wei. The hierarchical lattices of a finite machine. Systems Control Letters, 25:257263, July 1995.
7. Peyman Gohari-Moghadam. A linguistic framework for controlled hierarchical DES. Master's thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ont, 1998.
8. Susanne Graf and Bernhard Steffen. Compositional minimization of finite state systems. In Proc. of the 1990 Workshop on Computer-Aided Verfication, pages 186-196, June 1990.
9. Ryan Leduc. PLC implementation of a DES supervisor for a manufacturing testbed: An implementation perspective. Master's thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ont, 1996.
10. Ryan. Leduc. Interfaced-Based Hierarchical Supervisory Control. PhD thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ont, in preparation.
11. F. Lin and W.M. Wonham. Decentralized control and coordination of discrete-event systems with partial observations. In Proc. 27th IEEE Conf. Decision Contr., pages 1125-1130, Dec 1988.
12. Hong Liu, Jun-Cheol Park, and Raymond E. Miller. On hybrid synthesis for hierarchical structured petri nets. Technical report, Department of Computer Science, University of Maryland, College Park, MD, 1996.
13. Chuan Ma. A computational approach to top-down hierarchical supervisory control of DES. Master's thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ont, 1999.
14. Karen Rudie and W.M. Wonham. Think globally, act locally: decentralized supervisory control. IEEE Trans, on Automatic Control, 37(11):1692-1708, Nov 1992.
15. Reprinted in F.A. Sadjadi (Ed.), Selected Papers on Sensor and Data Fusion, 1996; ISBN 0-81942265-7.
16. Bing Wang. Top-down design for RW supervisory control theory. Master's thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ont, 1995.
17. K.C. Wong. Discrete-Event Control Architecture: An Algebraic Approach. PhD thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ont, 1994.
18. W.M. Wonham. Notes on Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto, 1999. Notes and CTCT software can be downloaded at http://odin.control.toronto.edu/DES/.
19. H. Zhong and W.M. Wonham. On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans, on Automatic Control, 35(10):1125-1134, Oct 1990.
20. Meng Chu Zhou, David T. Wang, and Israel Mayk. Using petri nets for object-oriented design of command and control systems. International Journal of Intelligent Control and Systems, 2(2):287-300, 1998.