From Offline Towards Real-Time Verification for Robot Systems.
Rui WangYingxia WeiHoubing SongYu JiangYong GuanXiaoyu SongXiaojuan LiPublished in: IEEE Trans. Ind. Informatics (2018)
Keyphrases
- real time
- vision system
- autonomous mobile
- telecommunication systems
- mobile robot
- real time systems
- low cost
- knowledge based systems
- complex systems
- intelligent vehicles
- formal methods
- computing systems
- intelligent systems
- expert systems
- robotic systems
- multi robot
- human users
- learning systems
- high speed
- signature verification
- control system
- computer vision