Complex mission optimization for multiple-UAVs using linear temporal logic

Proceedings of the American Control Conference

Volumn , Issue , 2008, Pages 2003-2009

  Karaman, Sertac ^a   Frazzoli, Emilio ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; TIMING CIRCUITS;

COMPLEX MISSION; LINEAR TEMPORAL LOGICS; MISSION OBJECTIVES; MISSION PLANNING; RELATIVE TIMING;

TEMPORAL LOGIC;

EID: 52449091906     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2008.4586787     Document Type: Conference Paper

References (17)

1. M. Alighanbari, Y. Kuwata, and J.P. How. Coordination and control of multiple uavs with timing contraints and loitering. In American Control Conference. IEEE, 2003.
2. P.R. Chandler, M. Pachter, D. Swaroop, J.M. Fowler, J.K. Howlett, S. Rasmussen, C. Schumacher, and K. Nygard. Complexity in uav cooperative control. In American Control Conference, 2002.
3. J. Bellingham, M. Tillerson, A. Richards, and J.P. How. Coopertive Control: Models, Applications and Algorithms, chapter Multi-Task Allocation and Path Planning for Cooperating UAVs. Kluwer Academic Publishers, 2001.
4. C. Schumacher, P.R. Chandler, M. Pachter, and L.S. Patcher. Optimization of air vehicles operations using mixed-integer linear programming. Journal of the Operational Research Society, 58:516-527, 2007.
5. A.L. Weinstein and C. Schumacher. Uav scheduling via the vehicle routing problem with time windows. Technical Report AFRL-VA-WPTP-2007-306, Air Force Research Laboratory, January 2007.
6. E.A. Emerson. Handbook of Theoretical Computer Science, chapter Temporal and Modal Logic. Elsevier, 1995.
7. A. Pnueli. The temporal logic of programs. In 18th annual IEEE-CS Symposium on Foundations of Computer Science, pages 46-57, 1977.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
9. E.M. Clarke, O. Grumberg, and D.A. Pled. Model Checking. MIT Press, Cambridge, MA, 1999.
10. D.M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, volume 2 of Oxford Logic Guides, chapter Intervals and Planning. Oxford Science Publications, 1994.
11. A. Fusaoka, H. Seki, and K. Takahashi. A description and reasoning of plant controllers in temporal logic. In Proceedings of the 8th International Joint Conference in Artificial Intelligence, pages 405-408, August 1983.
12. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control (accepted), 2007.
13. P. Tabuada and G.J. Pappas. Linear time logic control of discrete-time linear systems. IEEE Transactions on Automatic Control, 51(12):1862-1877, 2006.
14. R.G. Jeroslow. Logic Based Decision Support: Mixed Integer Model Formulation. Elsevier Science, 1989.
15. H.P. Williams. Logic applied to integer programming and integer programming applied to logic. European Journal of Operational Research, 81:605-616, 1995.
16. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35:407-427, 1999.
17. M. Bowden. Black Hawk Down: A Story of Modern War. Atlantic Monthly Press, Berkeley, CA, 1999.