Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata).
Sebastian PanekOlaf StursbergSebastian EngellPublished in: Autom. (2008)
Keyphrases
- production scheduling
- timed automata
- model checking
- reachability analysis
- theorem prover
- single machine
- process planning
- theorem proving
- first order logic
- job shop scheduling problem
- real time systems
- real time
- manufacturing systems
- reinforcement learning
- neural network
- computational complexity
- computer vision
- genetic algorithm