Constraint-based task programming with CAD semantics: From intuitive specification to real-time control.
Nikhil SomaniAndre GaschlerMarkus RickertAlexander Clifford PerzyloAlois C. KnollPublished in: IROS (2015)
Keyphrases
- real time control
- specification language
- control system
- programming language
- flexible manufacturing systems
- reactive systems
- operational semantics
- formal semantics
- specification languages
- object oriented data models
- computer aided
- object oriented
- logic programming
- machining processes
- active rules
- computer aided design
- formal specification
- formal language
- conceptual schema
- constraint satisfaction
- action language
- strong robustness
- definition language
- control flow
- computer graphics
- programming environment
- design process
- semantic information
- object oriented programming
- model checking
- object oriented databases
- temporal logic
- real time