Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation
- 1 October 2006
- journal article
- Published by Elsevier in Control Engineering Practice
- Vol. 14 (10) , 1127-1142
- https://doi.org/10.1016/j.conengprac.2006.02.001
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- MODULAR FINITE STATE MACHINES IMPLEMENTED AS EVENT-CONDITION-ACTION SYSTEMSIFAC Proceedings Volumes, 2005
- Automatic logic generation for reconfigurable cell-based manufacturing systemsIFAC Proceedings Volumes, 2004
- Incremental Verification and Synthesis of Discrete-Event Systems Guided by Counter ExamplesIEEE Transactions on Control Systems Technology, 2004
- The practice of industrial logic designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Modular verification of modular finite state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Reconfigurable Manufacturing SystemsCIRP Annals, 1999
- Error-Recovering Supervisory Control of Automated Manufacturing SystemsIntegrated Computer-Aided Engineering, 1996
- Input/output discrete event processes and communication delaysDiscrete Event Dynamic Systems, 1994
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- On Communicating Finite-State MachinesJournal of the ACM, 1983