Projects

Runtime-Assured Digital Twins for Safe UAS Operations
The video illustrates how formal runtime verification, physical UAS execution, and operator monitoring are integrated into a closed-loop framework for safe UAS operations in a discretised 3D airspace.
Runtime-Assured Digital Twins for Safe UAS Operations
3D Reconstruction of Chengde Airport, China
A high-fidelity 3D reconstruction of Chengde Airport, China, was generated from UAV aerial imagery, followed by point cloud processing and refinement.
3D Reconstruction of Chengde Airport, China
3D Reconstruction of TB-20 aircraft using 3D Gaussian Splitting and Unreal Engine 5
Creating a realistic 3D representation of the TB-20 Aircraft for digital twin simulation.
3D Reconstruction of TB-20 aircraft using 3D Gaussian Splitting and Unreal Engine 5