Verification of functional constraints for safe product driven control

This publication has 14 references indexed in Scilit:

• Remote Control of Automation Systems for DES Courses
  IEEE Transactions on Industrial Electronics, 2007
• Supervisory synthesis for product-driven automation and its application to a flexible assembly cell
  Control Engineering Practice, 2007
• Auto ID systems and intelligent manufacturing control
  Engineering Applications of Artificial Intelligence, 2003
• Extended structured adaptive supervisory control model of shop floor controls for an e-Manufacturing system
  International Journal of Production Research, 2003
• UppaaL Implementation Secrets
  Lecture Notes in Computer Science, 2002
• A reconfigurable concurrent function block model and its implementation in real-time Java
  Integrated Computer-Aided Engineering, 2002
• Mass customization: Literature review and research directions
  International Journal of Production Economics, 2001
• Toward an implementation of recovery procedures for flexible manufacturing systems supervision
  Computers in Industry, 2000
• A theory of timed automata
  Theoretical Computer Science, 1994
• Maintaining knowledge about temporal intervals
  Communications of the ACM, 1983