Kripke modelling and verification of temporal specifications of a multiple UAV system
暂无分享,去创建一个
Antonios Tsourdos | Rafal Zbikowski | Brian A. White | Gopinadh Sirigineedi | A. Tsourdos | R. Zbikowski | B. White | G. Sirigineedi
[1] Charles Pecheur. Verification and Validation of Autonomy Software at NASA , 2000 .
[2] Michael Huth. Logic In Computer Science , 1999 .
[3] Viktor Schuppan,et al. Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV , 2003, Formal Aspects of Computing.
[4] Antonios Tsourdos,et al. Towards Veriflable Approach to Mission Planning for Multiple UAVs , 2009 .
[5] Martial Hebert,et al. Mobility planning for autonomous navigation of multiple robots in unstructured environments , 1998, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.
[6] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[7] Baltasar Fernández-Manjón,et al. Model-checking for adventure videogames , 2009, Inf. Softw. Technol..
[8] Francesco M. Donini,et al. Web applications design and maintenance using symbolic model checking , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..
[9] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[10] David Notkin,et al. Model checking large software specifications , 1996, SIGSOFT '96.
[11] Timothy W. McLain,et al. Coordinated target assignment and intercept for unmanned air vehicles , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).
[12] Antonios Tsourdos,et al. Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice , 2006, Int. J. Syst. Sci..
[13] Stephan Merz,et al. Model Checking , 2000 .
[14] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[15] Thomas Bak,et al. Planning : A Timed Automata Approach , 2004 .
[16] Antonios Tsourdos,et al. Modelling and Verification of Multiple UAV Mission Using SMV , 2009, FMA.
[17] Mark R. McCord,et al. Roadway traffic monitoring from an unmanned aerial vehicle , 2006 .
[18] Marios M. Polycarpou,et al. Cooperative real-time search and task allocation in UAV teams , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
[19] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[20] Daniela Kotmanova,et al. TEMPORAL LOGIC IN VERIFICATION OF DIGITAL CIRCUITS , 2008 .
[21] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[22] Wolfram Burgard,et al. Coordinated multi-robot exploration , 2005, IEEE Transactions on Robotics.
[23] Jovan D. Boskovic,et al. A multilayer control architecture for unmanned aerial vehicles , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
[24] L. Dubins. On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents , 1957 .
[25] Yuan Lu,et al. Verifying a gigabit ethernet switch using SMV , 2004, Proceedings. 41st Design Automation Conference, 2004..
[26] Thomas Bak,et al. Multi-Robot Motion Planning: A Timed Automata Approach , 2004 .
[27] Marios M. Polycarpou,et al. Multi-UAV Cooperative Search Using an Opportunistic Learning Method , 2007 .
[28] Edmund M. Clarke,et al. MODEL CHECKING OF ROBOTIC CONTROL SYSTEMS , 2005 .
[29] André Osterhues,et al. On variants of the k-Chinese Postman Problem , 2005 .
[30] Moonzoo Kim,et al. Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[31] Tucker R. Balch,et al. Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..
[32] Eric Bonabeau,et al. Evolving behaviors for a swarm of unmanned air vehicles , 2005, Proceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005..
[33] Timothy W. McLain,et al. Decentralized Cooperative Aerial Surveillance Using Fixed-Wing Miniature UAVs , 2006, Proceedings of the IEEE.
[34] Sandeep K. Shukla,et al. A model checking approach to evaluating system level dynamic power management policies for embedded systems , 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.
[35] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .
[36] Jovan D. Boskovic,et al. A Multi-Layer Autonomous Intelligent Control Architecture for Unmanned Aerial Vehicles , 2004, J. Aerosp. Comput. Inf. Commun..
[37] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[38] E. Gat. Autonomy software verification and validation might not be as hard as it seems , 2004, 2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720).
[39] Gerhard Reinelt,et al. A tabu search algorithm for the min-max k-Chinese postman problem , 2006, Comput. Oper. Res..
[40] G. Brat,et al. Challenges in verification and validation of autonomous systems for space exploration , 2005, Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005..
[41] Huaikou Miao,et al. Model Checking-based Verification of Web Application , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
[42] Hyochoong Bang,et al. Multiple Aerial Vehicle Formation Using Swarm Intelligence , 2003 .
[43] Mike Hinchey,et al. Verification and validation of autonomous systems , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.
[44] Walter Truszkowski,et al. Verifying large numbers of cooperating adaptive agents , 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).