Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications.
Daniel GritznerJoel GreenyerPublished in: STAF Workshops (2017)
Keyphrases
- control flow
- formal specification
- code generation
- attribute grammars
- mobile robot
- multi robot
- data flow
- control system
- unit testing
- source code
- process algebra
- delay insensitive
- specification language
- cooperative
- real time
- industrial robots
- robotic systems
- human robot interaction
- autonomous systems
- asynchronous circuits
- autonomous robots
- robot soccer
- high level
- reactive systems
- java code
- tactile sensing
- multi robot systems
- search and rescue
- artificial agents
- model checking
- programming language
- case study