IEEE Robotics & Automation Magazine · 2011 · 122 citations · 31 references
EngineeringComputer ScienceRobotics EngineeringRobot ControlRoboticsControl SystemsHigh-level SynthesisLogic SynthesisReal-time ControlRobot Control ArchitectureTemporal LogicControl Logic GenerationControl SynthesisController SynthesisRobot Code GenerationState Space ExplosionTemporal Logic ReasoningTemporal Synthesis
In this article, we presented an overview of how temporal logic synthesis, coupled with abstractions and continuous bisimilar controllers, can be used to generate high-level, reactive robot control. We illustrated the ideas using the DUC mission, and we presented two approaches to deal with the inherent state explosion problem.
31
Discrete abstractions of hybrid systems
Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere et al. · Proceedings of the IEEE · 2000 · 816 citations · Full text
Synthesis of Reactive(1) designs
Roderick Bloem, Barbara Jobstmann, Nir Piterman et al. · Journal of Computer and System Sciences · 2011 · 468 citations · Full text