Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots.
Zhe XuSayan SahaBotao HuSandipan MishraA. Agung JuliusPublished in: IEEE Trans Autom. Sci. Eng. (2019)
Keyphrases
- temporal logic
- controller design
- model checking
- nonlinear systems
- control system
- control scheme
- modal logic
- control strategies
- mobile robot
- modular robots
- dynamic model
- verification method
- computer simulation
- multi robot
- inference process
- adaptive control
- computation tree logic
- temporal knowledge
- genetic algorithm
- mazurkiewicz traces
- control strategy
- fuzzy logic controller
- autonomous robots
- humanoid robot
- linear temporal logic
- belief revision
- inference engine
- learning rate
- reactive systems
- robotic systems
- path planning