Blog | 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.

A New Start

Thu, 22 Aug 2024 00:00:00 +0000

Hello Dresden!

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

Attend AFC 2024

Tue, 16 Apr 2024 00:00:00 +0000

Attend 1ST AEROSPACE FRONTIERS CONFERENCE.

Attend ICUS 2023

Mon, 16 Oct 2023 00:00:00 +0000

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

Life Lesson

Wed, 31 May 2023 00:00:00 +0000

import libr
print('hello')

A Life lesson from my supervisor

Human life is very short, time will not wait for us, it will only forget us. The past three years of the epidemic, the past ten years, the past twenty years ……, the dead are like this. The life of a human being is short, and it is as small as a corn in the long river of human history. However, it is a very worthwhile thing to do every time at the interface of the intersection of history, to know the era we live in in the big historical coordinates, and to increase our understanding of life, life and family sentiment.

Our generation is fortunate that we have spanned a century, and even more so a millennium. Looking back, we have also experienced so much in the first 20 years of the new century. What follows has been and will remain an era of heightened uncertainty. Although there have been many ups and downs, in the spatial and temporal coordinates of history, on a world scale, in the 1620s, 1720s, 1820s, 1920s, successive industrial revolutions or wars, human society has spiraled upward, creating social elites or mainstream nations of different eras. From the Chinese perspective, the country was in a period of warlord chaos in the 1920s; a century further back, in the 1820s, China was in the Daoguang period of the Qing Dynasty, and after a brief period of inspirational rule, the humiliating modern history was about to begin. The torrent of the times is vast, and each individual who is wrapped in it, whether to go with the flow or to fight for the flow, is worthy of consideration by each one of us.

In the change to seek a new situation, do a good top-level planning, anchor the direction of development, not only for the country and society, also applies to individuals. In an era of uncertainty, the only way to be transparent and sober is to look at everything in the world with a macro and super-dimensional vision, and to build up our ability to think in terms of framework and reason with logic. The aim is to pay attention to new technologies in the industry and to always be curious and enterprising. At the same time, we should build up our own spiritual land and home while we join the flood of social development, practice scientific and technological changes, and accumulate knowledge and skills, so that each of us can be a complete and rich individual and not be confused, overwhelmed or even lose ourselves in the complicated world. This is an era of flight and uncertainty, but the only thing that is certain and that we can choose and control is that we can work hard to accumulate knowledge and talents and to build our own spiritual home.