Constraints-based complex behavior in rich environments
IVA'10 Proceedings of the 10th international conference on Intelligent virtual agents
A compositional framework for programming stochastically interacting robots
International Journal of Robotics Research
Generalized rabin(1) synthesis with applications to robust system synthesis
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Designing petri net supervisors for multi-agent systems from LTL specifications
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Autonomous Agents and Multi-Agent Systems
Minimum attention controller synthesis for omega-regular objectives
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Optimal path planning for surveillance with temporal-logic constraints*
International Journal of Robotics Research
Situation understanding bot through language and environment
HRI '12 Proceedings of the seventh annual ACM/IEEE international conference on Human-Robot Interaction
Partial-Observation Stochastic Games: How to Win When Belief Fails
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Automatic behavior composition synthesis
Artificial Intelligence
Least-violating control strategy synthesis with safety rules
Proceedings of the 16th international conference on Hybrid systems: computation and control
Iterative temporal motion planning for hybrid systems in partially unknown environments
Proceedings of the 16th international conference on Hybrid systems: computation and control
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Formalizing and reasoning about quality
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
A survey of partial-observation stochastic parity games
Formal Methods in System Design
Hi-index | 0.00 |
This paper provides a framework to automatically generate a hybrid controller that guarantees that the robot can achieve its task when a robot model, a class of admissible environments, and a high-level task or behavior for the robot are provided. The desired task specifications, which are expressed in a fragment of linear temporal logic (LTL), can capture complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting, which results in a novel paradigm for sensor-based temporal-logic-motion planning. As one robot is part of the environment of another robot, our sensor-based framework very naturally captures multirobot specifications in a decentralized manner. Our computational approach is based on first creating discrete controllers satisfying specific LTL formulas. If feasible, the discrete controller is then used to guide the sensor-based composition of continuous controllers, which results in a hybrid controller satisfying the high-level specification but only if the environment is admissible.