论文信息 - Formal Modeling, Design, and Verification Techniques for a Complex, Cooperative UAV Monitoring Task - 字舞流文

Formal Modeling, Design, and Verification Techniques for a Complex, Cooperative UAV Monitoring Task

Laura Humphrey | Zachry Basnight

[1] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[2] Gerard J. Holzmann,et al. An improvement in formal verification , 1994, FORTE.

[3] Emilio Frazzoli,et al. Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning , 2008 .

[4] Kenneth L. McMillan,et al. Induction in Compositional Model Checking , 2000, CAV.

[5] Natarajan Shankar,et al. Experiments in Theorem Proving and Model Checking for Protocol Verification , 1996, FME.

[6] Michael Wooldridge,et al. Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

[7] Matthew Duquette,et al. The Common Mission Automation Services Interface , 2011 .

[8] T. Shima,et al. Branch and bound tree search for assigning cooperating UAVs to multiple tasks , 2006, 2006 American Control Conference.

[9] Antonios Tsourdos,et al. Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network , 2010 .

[10] Wright-Patterson Afb,et al. Effects-Level Models for UAV Simulation , 2009 .

[11] Antonios Tsourdos,et al. Modelling and Verification of Multiple UAV Mission Using SMV , 2009, FMA.

[12] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[13] Zachry H. Basnight,et al. Simulating Cooperative Control Algorithms Using MATLAB, Simulink, and AMASE , 2010 .