Functional failure modes cause-consequence logic suited for mobile robots used at scientific facilities.
Douzi Imran KhanSeppo VirtanenPierre BonnalA. K. VermaPublished in: Reliab. Eng. Syst. Saf. (2014)
Keyphrases
- failure modes
- mobile robot
- path planning
- fault tree
- obstacle avoidance
- scientific data
- predicate logic
- logic programming
- multi valued
- classical logic
- autonomous robots
- motion planning
- modal logic
- dynamic environments
- multi robot
- scientific knowledge
- asynchronous circuits
- robot control
- artificial intelligence
- collision avoidance
- unknown environments
- indoor environments
- scientific discovery
- description logics
- motion control
- multiple robots
- mobile robotics
- databases
- science education
- unstructured environments
- neural network