Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety.
Serhat KahramanMert BulutElif DegirmenciYunus Sabri KircaMetin OzkanAhmet YaziciPublished in: SIU (2023)
Keyphrases
- robotic systems
- robotic tasks
- mobile robot
- online services
- safety analysis
- vision system
- autonomous robots
- software systems
- service providers
- software development
- online learning
- control architecture
- robotic manipulator
- space time
- model checking
- search and rescue
- moving objects
- optical flow
- formal methods
- configuration management
- motion capture
- web services
- image sequences
- multi robot
- source code
- motion planning
- real time
- object manipulation
- imitation learning
- motion estimation
- camera motion
- human motion
- service composition
- service quality
- safety critical
- multi modal
- manipulation tasks
- robot motion
- motion model
- unstructured environments
- protocol specification