Specification and synthesis of control software for flexible manufacturing systems.
Patricia Gutierrez-RoblesErnesto López-MelladoAntonio Ramírez-TreviñoPublished in: SMC (2000)
Keyphrases
- flexible manufacturing systems
- control software
- manufacturing systems
- real time control
- control system
- dynamic scheduling
- formal specification
- high level
- program synthesis
- real time
- information systems
- texture synthesis
- knowledge base
- database
- formal methods
- formal verification
- software engineering
- data sets
- image sequences
- website
- provably correct