Verification of Decision Making Behaviour for Heterogeneous Multi-Agent System
Trajectory Modulation Guidance Law for Anti-ship Missiles
Towards Verifiable Approach to Mission Planning for Multiple UAVs
Sensing and Autonomous Urban Reconnaissance Using Unmanned Robotic Vehicles
Robust Nonlinear Design of a High Incidence Missile Autopilot
Pseudolinearing autopilot for a 6-DOF quasi-linear parameter varying missile model
Path Planning of UAVs in Urban Region Using Pythagorean Hodograph Curves
Nonlinear Model Predictive Coordinated Standoff Tracking of Moving Ground Vehicle
Negative-g Trajectory Generation Using Quaternion-Based Inverse Dynamics
Multi-Objective Frequency Loop-Shaping of a Lateral Missile Autopilot
Modeling and Simulation of Fault Tolerant Strategies for A Quad Rotor UAV
Merging Probabilistic Data of Multiple Targets Detected by Multiple Sensors
Low Altitude Airborne SLAM with INS Aided Vision System AIAA Paper
Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
Homing Guidance Law for Reducing Sensitivity on Heading Error