Robot System Design Procedure Based on a Formal Specification.
Cezary ZielinskiMaksym FigatPublished in: AUTOMATION (2016)
Keyphrases
- formal specification
- design procedure
- design methodology
- model checking
- mobile robot
- object oriented design
- process algebra
- control algorithm
- reverse engineering
- autonomous robots
- formal methods
- neuro fuzzy
- fuzzy controller
- adaptive fuzzy
- software components
- protocol specification
- real time
- business rules
- building blocks
- database