Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.
Victor BandurWolfram KahlAlan WassyngPublished in: FMICS (2012)
Keyphrases
- finite state machines
- low cost
- petri net
- finite state automata
- control system
- program synthesis
- written in natural language
- finite automata
- model checking
- texture synthesis
- process control
- design considerations
- assembly systems
- specification language
- process planning
- tree automata
- simulation model
- data acquisition
- timed automata
- robotic tasks