Formalised hybrid control scheme for a UAV group using dubins set and model checking

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2004, Pages 4299-4304

  Jeyaraman, Suresh ^a   Tsourdos, Antonios ^a   Zbikowski, Rafal ^a   White, Brian ^a   Bruyère, Lilian ^a   Rabbath, Camille Alain ^b   Gagnon, Eric ^b  

^a CRANFIELD UNIVERSITY   (United Kingdom)

^b DEFENCE RESEARCH AND DEVELOPMENT CANADA VALCARTIER   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CONSTRAINT THEORY; CONTROL SYSTEMS; DATA REDUCTION; DECISION MAKING; INFORMATION ANALYSIS; MATHEMATICAL MODELS; MOTION PLANNING;

AIR TRAFFIC MANAGEMENT SYSTEMS (ATMS); HYBRID CONTROL SCHEME; MULTI-TASK ALLOCATION; SOFTWARE ENABLED CONTROL (SEC);

UNMANNED VEHICLES;

EID: 14244250644     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2004.1429427     Document Type: Conference Paper

References (21)

1. S. Butenko, R. Murphey, and P. M. Pardalos, Eds., Cooperative Control: Models, Applications and Algorithms. Kluwer Academic Publishers, 2003, vol. 1, ISBN 1-4020-1082-6.
2. T. W. McLain, R. W. Beard, and J. M. Kelsey, "Experimental Demonstration of Multiple Robot Cooperative Target Intercept," Brigham Young University, Tech. Rep., 2001.
3. R. W. Beard, T. W. McLain, and M. Goodrich, "Coordinated Target Assignment and Intercept for Unmanned Air Vehicles," in Proceedings of the IEEE International Conference on Robotics and Automation, vol. 3, May 2002, pp. 2581-2586.
4. A. Garulli, A. Tesi, and A. Vicino, Eds., Robustness in Identification and Control, ser. Lecture Notes in Control and Information Sciences 245, 1999, ch. An Experimental Study of Performance and Fault-Tolerence of a Hybrid Free-Flight Control Scheme, ISBN 1-85233-179-8.
5. P. Soueres, A. Balluchi, and A. Bicchi, "Optimal Feedback Control for Route Tracking with a Bounded-Curvature Vehicle," in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, April 2000, pp. 2473-2478.
6. A. Balluchi, P. Souères, and A. Bicchi, "Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle," in Hybrid Systems: Computation and Control (HSCC), ser. Lecture Notes in Computer Science 2034, March 2001, pp. 133-146.
7. R. Alur, J. Esposito, M. Kim, V. Kumar, et al., "Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination," in Proceedings of the World Congress on Formal Methods, ser. Lecture Notes in Computer Science 1708. Springer-Verlag, 1999, pp. 212-232.
8. R. Alur, A. Das, J. Esposito, R. Fierro, et al., "A Framework and Architecture for Multirobot Coordination," in Seventh International Symposium on Experimental Robotics, December 2000.
9. M. R. A. Huth and M. D. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2000, ISBN 0-521-65602-8.
10. E. M. Clarke Jr., O. Grumberg, and D. A. Peled, Model Checking, 2001, ISBN 0-262-03270-8.
11. S. Jeyaraman, A. Tsourdos, R. Żbikowski, and B. White, "A Study of Kripke Modelling of a Multi-Robot system for Cooperative Control," in IFAC Workshop on Modelling and Analysis of Logic Controlled Dynamic Systems, Irkutsk, Russia, 2003, pp. 68-78.
12. th IFAC Symposium on Automatic Control in Aerospace, 14-18 June 2004.
13. T. Fraichard, A. Scheuer, and R. Desvigne, "From Reeds and Shepp's to Continuous-Curvature Paths," in Proceedings of the International Conference on Advanced Robotics, October 1999, pp. 585-590.
14. A. M. Shkel and V. Lumelsky, "Classification of the Dubins Set," Robotics and Autonomous Systems, vol. 34, no. 4, pp. 179-274, March 2001.
15. J. A. Reeds and L. A. Shepp, "Optimal Paths for a Car that Goes Both Forwards and Backwards," Pacific Journal of Mathematics, vol. 145, no. 2, pp. 367-393, 1990.
16. J. Cooperstein, "O'reilly - Linux Multithreading Advances," URL: http://www.onlamp.com/pub/a/onlamp/2002/11/07/linux-threads.html, November 2002, relevant, as on September 21, 2004.
17. G. J. Holzmann, The SPIN Model Checker. Addison-Wesley, September 2003, ISBN 0-321-22862-6.
18. th International SPIN workshop, ser. Lecture Notes in Computer Science 1885, Sep. 2000, pp. 131-147.
19. G. J. Holzmann and M. H. Smith, "An Automated Verification Method for Distributed Systems Software Based on Model Extraction," IEEE Transactions on Software Engineering, vol. 28, no. 4, pp. 364-377, April 2002, ISSN 0098-5589.
20. _, FeaVer 1.0 User Guide, 1st ed., Lucent Technologies Inc, 2002.
21. K. Havelund, M. Lowry, and J. Penix, "Formal Analysis of a Space-Craft Controller using SPIN," IEEE Transactions on Software Engineering, vol. 27, no. 8, pp. 749-765, August 2001, ISSN 0098-5589.