共 50 条
- [2] Coordinated UAV Manoeuvring Flight Formation INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2009, 33 (03): : 375 - 383
- [3] A Verified UAV Flight Plan Generator 2023 IEEE/ACM 11TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2023, : 130 - 140
- [4] JTIDS/INS Based on Global-Measurements Sharing for UAV Flight Formation PROCEEDINGS OF THE 30TH INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2017), 2017, : 718 - 726
- [6] Parametric Statistical Model Checking of UAV Flight Plan FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 57 - 74
- [7] UAV Formation Flight Control and Formation Switch Strategy PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013, : 264 - 269
- [9] Increasing UAV capabilities through autopilot and flight plan abstraction 2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 988 - 997
- [10] On New UAV Formation Flight Control System 2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 3411 - 3414