Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 477-478

  Shewa, Daniel ^c   Ashley, Jeff ^a   Holloway, Larry ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b Center for Manufacturing   (United States)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONDITION MONITORING; CONTROL SYSTEM ANALYSIS; PETRI NETS;

CONDITION SYSTEMS; DISTRIBUTED MODELS; DISTRIBUTED SYSTEMS;

DISCRETE EVENT SIMULATION;

EID: 34250629565     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/wodes.2006.382524     Document Type: Conference Paper

References (10)

1. R. Sreenivas and B. Krogh, "On condition/event systems with discrete state realizations," Discrete Event Dynamic Systems: Theory and Applications, vol. 1, no. 2, pp. 209-236, May 1991.
2. H.-M. Hanisch, A. Luder, and M. Rausch, "Controller synthesis for net condition/event systems with a solution for incomplete state observation," European Journal of Control, vol. 3, no. 4, pp. 280-291, 1997.
3. S. Kowalewski, Y. Lakhnech, B. Lukoschus, and L. Urbina, "On the composition of condition/event systems," in Proceedings of International Workshop on Discrete Event Systems, WODES98. Cagliari: IEE, August 1998.
4. L. E. Holloway, A. Callahan, J. O-Rear, and X. Guan, "Spectool: Automated synthesis of control code for discrete event controllers," in Discrete Event Systems: Analysis and Control. Kluwer Academic Publishers, 2000.
5. L. E. Holloway, X. Guan, R. Sundaravadivelu, and J. Ashley, "Automated synthesis and composition of taskblocks for control or manufacturing systems," IEEE Transactions on Systems, Man and Cybernetics: Part B, vol. 30, no. 5, pp. 696-712, October 2000.
6. L. E. Holloway, Y. Gong, and J. Ashley, "State observability and condition observability for a class of interacting discrete event systems," Mathematics and Computers in Simulation, vol. 70, no. 5-6, pp. 247-442, 2006.
7. J. Ashley and L. E. Holloway, "Qualitative diagnosis of condition systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 14, no. 4, pp. 395-412, 2004.
8. J. Ashley and L. Holloway, "An equivalent ctl formulation for condition sequences," Discrete Event Dynamic Systems: Theory and Applications, vol. 15, no. 4, pp. 333-348, 2005.
9. (2006). [Online]. Available: http://www2.informatik.hu-berlin.de/top/ pnml/about.html
10. C. Cassandras and S. Lafortune, Introduction to discrete event systems. Kluwer Academic Publishers, 2001.