Posts | Tianxiong Zhang

🎉🎉🎉 Our paper has been accepted by FM 2026!!!

Fri, 27 Feb 2026 00:00:00 +0000

Our paper Towards a Bigraph Based Digital Twin Framework for Multi-UAS Coordination in IAM, authored by Tianxiong Zhang, has been accepted by The 27th International Symposium on Formal Methods (FM 2026) Doctoral Symposium Track in Tokyo, Japan.

🎉🎉🎉 Our paper has been accepted by ANTS 2026!!!

Fri, 30 Jan 2026 00:00:00 +0000

Our paper Bigraphical Model Checking for Drone Swarm Coordination in Vertiports, authored by Dominik Grzelak, Tianxiong Zhang and Uwe Aßmann, has been accepted by the 15th International Conference on Swarm Intelligence (ANTS’ 2026) in Darmstadt, Germany.

🎉🎉🎉 Our paper has been selected as the cover paper!!!

Tue, 13 Jan 2026 00:00:00 +0000

Our paper: A Bigraph-Based Digital Twin for Multi-UAV Landing Management, authored by Tianxiong Zhang, Dominik Grzelak, Martin Lindner, Hartmut Fricke and Uwe Aßmann, was selected as the cover article for Drones, Volume 10, Issue 1, from over 60 contributions.

Check here: Cover Link and LinkedIn Post

🎉🎉🎉 Our paper has been accepted by DAUS 2026!!!

Mon, 15 Dec 2025 00:00:00 +0000

Our paper A Digital Twin-Driven Multistorey Mapping Framework for Multi-MAV System, authored by Tianxiong Zhang, Victor Victor and Uwe Aßmann, has been accepted by The 2nd International Conference on Drones and Unmanned Systems (DAUS’ 2026) in Salzburg, Austria.

Bigraph Workshop and First TAC Meeting

Fri, 24 Oct 2025 00:00:00 +0000

Participated in the Bigraph Workshop with Michele Sevegnani, and presented the latest research progress.

🎉🎉🎉 Our paper has been selected as the cover paper!!!

Fri, 27 Jun 2025 00:00:00 +0000

Our paper: A Review on the Construction, Modeling, and Consistency of Digital Twins for Advanced Air Mobility Applications, authored by Tianxiong Zhang, Dominik Grzelak, Wanqi Zhao, Md Ashraful Islam, Hartmut Fricke and Uwe Aßmann, was selected as the cover article for Drones, Volume 9, Issue 6, from among more than 60 contributions.

Check here: Cover Link and LinkedIn Post

Joining 2025 AirMetro Summer school in Kamenz

Thu, 29 May 2025 00:00:00 +0000

Photo of Flight test in Kamenz Airport.

Workshop in Meißen

Sun, 24 Nov 2024 00:00:00 +0000

Group photo of RTG AirMetro members in Meißen.

Master's thesis defense

Thu, 16 May 2024 00:00:00 +0000

Master’s Thesis Title: Research on computer vision-based movement conflict detection in aircraft stand

Abstract:

Ensuring the safety of airport surface operations necessitates vigilant monitoring of aircraft and vehicle activities at the aircraft stand. This thesis grounded in computer vision technology, for the detection of aircraft’s key components within the stand and the identification of potential conflicts both among aircraft and between aircraft and Ground Support Equipments (GSEs).

(1) A comparative analysis of video imagery-based aircraft key components detection methods was conducted. An aircraft key components detection dataset within the aircraft stand area was established. The efficacy of conventional image processing algorithms was benchmarked against advanced deep learning-based networks, such as Mask-RCNN for instance segmentation, and ResNet and HRNet for key point detection. This analysis yielded the most effective algorithmic network for key point detection within the aircraft stand.

(2) Optimization of the aircraft keypoint detection network based on video imagery was carried out. Building on the optimal algorithm, an efficient keypoint detection network, SEHRNet, was designed by improving the output feature map coordinate decoding method, incorporating depthwise separable convolution, attention mechanisms, and adding SEBottleneck modules for network optimization. Through ablation experiments and comparisons with similar networks, SEHRNet demonstrated superiority in the task of aircraft key component recognition by significantly reducing network computational complexity and parameter quantity without sacrificing algorithm accuracy.

(3) Development of a single aircraft key component activity conflict detection algorithm. A camera imaging coordinate conversion algorithm for fixed cameras was developed to achieve precise conversion from two-dimensional images to three-dimensional world coordinates. Based on the kinematic model of aircraft taxiing processes, conflict detection algorithms for aircraft wingtips and engine safety areas were designed, and experimental validation was conducted with an apron physical sandbox, maintaining F1-scores above 90%.

(4) By introducing a kinematic model of support vehicles within the stand area, safety zone delineation for multiple key components of the aircraft was completed, and a multi-key component activity conflict detection algorithm was designed. This allowed for real-time, refined perception of potential conflicts involving multiple vulnerable and costly components within the stand area and the effective integration of multi-component conflict perception. Algorithm validation showed that all safety zones achieved F1-scores above 90%, with an average F1-score of 95% and an average frame rate above 20, indicating the strong accuracy and real-time capability of the conflict determination algorithms designed in this study.

(5) A visualization algorithm verification software platform based on PyQt5 was developed. This software, based on video image monitoring, possesses features such as algorithm model selection, parameter setting, real-time display, as well as program operation and alarm information display, and algorithm validation was performed through this software platform. This research enhances the intelligence level and conflict warning accuracy of the aircraft stand area monitoring system, providing algorithm support for remote control towers and automated control systems.

Key words: Airport, Aircraft Stand, Conflict Detection, Computer Vision, Keypoint Detection

Posts | Tianxiong Zhang

🎉🎉🎉 Our paper has been accepted by FM 2026!!!

Our paper Towards a Bigraph Based Digital Twin Framework for Multi-UAS Coordination in IAM, authored by Tianxiong Zhang, has been accepted by The 27th International Symposium on Formal Methods (FM 2026) Doctoral Symposium Track in Tokyo, Japan.

🎉🎉🎉 Our paper has been accepted by ANTS 2026!!!

Our paper Bigraphical Model Checking for Drone Swarm Coordination in Vertiports, authored by Dominik Grzelak, Tianxiong Zhang and Uwe Aßmann, has been accepted by the 15th International Conference on Swarm Intelligence (ANTS’ 2026) in Darmstadt, Germany.

🎉🎉🎉 Our paper has been selected as the cover paper!!!

Our paper: A Bigraph-Based Digital Twin for Multi-UAV Landing Management, authored by Tianxiong Zhang, Dominik Grzelak, Martin Lindner, Hartmut Fricke and Uwe Aßmann, was selected as the cover article for Drones, Volume 10, Issue 1, from over 60 contributions.

Check here: Cover Link and LinkedIn Post

🎉🎉🎉 Our paper has been accepted by DAUS 2026!!!

Our paper A Digital Twin-Driven Multistorey Mapping Framework for Multi-MAV System, authored by Tianxiong Zhang, Victor Victor and Uwe Aßmann, has been accepted by The 2nd International Conference on Drones and Unmanned Systems (DAUS’ 2026) in Salzburg, Austria.

Bigraph Workshop and First TAC Meeting

Participated in the Bigraph Workshop with Michele Sevegnani, and presented the latest research progress.

🎉🎉🎉 Our paper has been selected as the cover paper!!!

Check here: Cover Link and LinkedIn Post

Joining 2025 AirMetro Summer school in Kamenz

Photo of Flight test in Kamenz Airport.

Workshop in Meißen

Group photo of RTG AirMetro members in Meißen.

Master's thesis defense

Master’s Thesis Title: Research on computer vision-based movement conflict detection in aircraft stand

Abstract:

Attend AFC 2024

Attend 1ST AEROSPACE FRONTIERS CONFERENCE.

Attend ICUS 2023

Attend The 6th IEEE International Conference on Unmanned Systems, ICUS 2023.