Model matching for finite state machines
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 3, 3117-3124
- https://doi.org/10.1109/cdc.1994.411306
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Using trace theory to model discrete eventsPublished by Springer Nature ,2006
- Methods for automatic design error correction in sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- State minimization of pseudo non-deterministic FSMsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A fully implicit algorithm for exact state minimizationPublished by Association for Computing Machinery (ACM) ,1994
- Supervisory control of a rapid thermal multiprocessorIEEE Transactions on Automatic Control, 1993
- Nonlinear strong model matchingIEEE Transactions on Automatic Control, 1990
- The control of discrete event systemsProceedings of the IEEE, 1989
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential NetworksIEEE Transactions on Electronic Computers, 1965