Modeling of discrete event systems using finite state machines with parameters

IEEE Conference on Control Applications - Proceedings

Volumn 1, Issue , 2000, Pages 941-946

  Chen, Yi Liang ^a   Lin, Feng ^a  

^a ROCKWELL SCIENCE CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE MACHINES; MODELING MECHANISM;

CONTROL SYSTEM SYNTHESIS; FINITE AUTOMATA; MATHEMATICAL MODELS; PARAMETER ESTIMATION; SCADA SYSTEMS; SET THEORY; STATE ESTIMATION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0034478161     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. G. Cohen, S. Gaubert, and J.P. Quadrat. Timed-event graphs with multipliers and homogeneous min-plus systems. IEEE Transactions on Automatic Control, 43(9):1296-1302, 1998.
2. K.-T. Cheng and A. S. Krishnakumar. Automatic generation of functional vectors using the extended finite state machine model. ACM Trans, on Design Automation of Electronic Systems, l(l):57-79, 1996.
3. C. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer, 1999.
4. Y.-L. Chen and F. Lin. Hierarchical modeling and control using finite stat.e machines with parameters. Technical report, Rockwell Science Center, 2000.
5. P. W. Glynn. A GSMP formalism for discrete event systems. Proceedings of IEEE, 77(l):14-23,1989.
6. L. E. Holloway, B. H. Krogh, and A. Giua. A survey of petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7(2), 1997.
7. M. Heymann, F. Lin, and G. Meyer. Synthesis of minimally restrictive controllers for a class of hybrid systems. Hybrid Systems IV, Lecture Notes in Computer Science, 1201, 1997.
8. R. Kumar and M. Heymann. Masked prioritized synchronization for interaction and control of discrete event systems. IEEE Transactions on Automatic Control, 2000. To appear.
9. F. Lin and W. M. Wonham. On observability of discrete event systems. Information Sciences, 44(3):173-198, 1988.
10. Y. Li and W. M. Wonham. Control of vector discrete-event systems I-the base model. IEEE Transactions on Automatic Control, 38(8):1214-1227, 1993.
11. Y. Li and W. M. Wonham. Control of vector discrete-event systems II-controller synthesis. IEEE Transactions on Automatic Control, 39(3):512-531, 1994.
12. J. L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, 1981.
13. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(l):206-230, 1987.
14. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of IEEE, 77(l):81-98, 1989.