LTL Templates for Play-Calling Supervisory Control
- 1 January 2016
- conference paper
- conference paper
- Published by American Institute of Aeronautics and Astronautics (AIAA)
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Multi-Unmanned Aerial Vehicle Systems Control via Flexible Levels of Interaction: An Adaptable Operator-Automation Interface Concept DemonstrationPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2013
- Supervisory Control State Diagrams to Depict Autonomous ActivityPublished by Defense Technical Information Center (DTIC) ,2013
- A Framework for Modeling and Simulation of the ArtificialPublished by Springer Science and Business Media LLC ,2013
- Multi-agent coordination techniques for multi-robot task allocation and multi-robot area coveragePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Linear temporal logic vehicle routing with applications to multi‐UAV mission planningInternational Journal of Robust and Nonlinear Control, 2011
- The Common Mission Automation Services InterfacePublished by American Institute of Aeronautics and Astronautics (AIAA) ,2011
- LTLMoP: Experimenting with language, Temporal Logic and robot controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Receding horizon temporal logic planning for dynamical systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Temporal-Logic-Based Reactive Mission and Motion PlanningIEEE Transactions on Robotics, 2009
- Bridging the gap between planning and schedulingThe Knowledge Engineering Review, 2000