1. Automatic code generation for reconfigurable cell-based manufacturing systems;Almeida;Proceedings of the IFAC Workshop on Discrete Event Systems.,2004
2. Automatic control of workflow processes using ECA rules;Bae;IEEE Transactions on Knowledge and Data Engineering,2004
3. Active controller: Utilizing active databases for implementing multi-step control of semiconductor manufacturing;Chaudhry;IEEE Transactions on Components, Packaging and Manufacturing Technology Part C: Manufacturing,1998
4. Modular finite state machines for logic control;Endsley;Proceedings of the IFAC Workshop on Discrete Event Systems.,2004
5. Modular verification of modular finite state machines;Endsley;Proceedings of the IEEE Conference on Decision and Control.,2004