Tianxiong Zhang

About

Tianxiong Zhang

PhD Researcher

Technische Universität Dresden

I am a research assistant at the Chair of Software Technology (ST group), Technische Universität Dresden, where I am pursuing my PhD under the guidance of Prof. Uwe Aßmann. I am also a member of RTG 2947 “AirMetro”, led by Prof. Hartmut Fricke.

My research focuses on formal model-based digital twins for Advanced Air Mobility (AAM) operations, including their integration with computer vision for perception and situational awareness, and robotics for autonomous coordination at airport surfaces.

Selected Publications

A Bigraph-Based Digital Twin for Multi-UAV Landing Management
Applications of Innovative Air Mobility (IAM) place high demands on the safe coordination of multiple UAVs and UAV-tailored takeoff and …
Tianxiong Zhang, Dominik Grzelak, Martin Lindner, Hartmut Fricke, Uwe Aßmann
PDF Cite DOI
A Bigraph-Based Digital Twin for Multi-UAV Landing Management
A Review on Constructing, Modeling and Consistency of Digital Twins for AAM Applications
The advent of Advanced Air Mobility (AAM) presents a transformative solution to multi-modal transportation. However, coordinating …
Tianxiong Zhang, Dominik Grzelak, Wanqi Zhao, Md Ashraful Islam, Hartmut Fricke, Uwe Aßmann
PDF Cite DOI
A Review on Constructing, Modeling and Consistency of Digital Twins for AAM Applications
Aircraft engine danger areas incursion detection using keypoint detection and IoT
Operational safety at airports has long been a subject of active research, with a growing focus on the safety of aircraft stands in …
Tianxiong Zhang, Zhiqiang Zhang, Xinping Zhu, Honghao Chen, Jiajun Li, Yuming Zhong
PDF Cite DOI
Aircraft engine danger areas incursion detection using keypoint detection and IoT
Detection and Control Framework for Unpiloted Ground Support Equipment within the Aircraft Stand
The rapid advancement in Unpiloted Robotic Vehicle technology has significantly influenced ground support operations at airports, …
Tianxiong Zhang, Zhiqiang Zhang, Xinping Zhu
PDF Cite DOI
Detection and Control Framework for Unpiloted Ground Support Equipment within the Aircraft Stand
SEHRNet - A Lightweight, High-Resolution Network for Aircraft Keypoint Detection
Current research on apron conflict detection is often limited to the interaction between the aircraft as a whole and other objects, …
Zhiqiang Zhang, Tianxiong Zhang, Xinping Zhu, Jiajun Li
PDF Cite DOI
SEHRNet - A Lightweight, High-Resolution Network for Aircraft Keypoint Detection
Research on Conflict Detection Model for Taxi‐in Process on the Apron Based on Aircraft Wingtip Keypoint Detection
Apron safety is critical to aviation operations and aprons are prone to wingtip scraping accidents. However, few studies have been …
Tianxiong Zhang, Xinping Zhu, Jiajun Li, Honghao Chen, Zhihan Li
PDF Cite DOI
Research on Conflict Detection Model for Taxi‐in Process on the Apron Based on Aircraft Wingtip Keypoint Detection
See all on Google Scholar

Demonstrations

*
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

News

🎉🎉🎉 Our paper has been accepted by FM 2026!!!
Our paper Towards a Bigraph Based Digital Twin Framework for Multi-UAS Coordination in IAM has been accepted by FM 2026.
Last updated on Feb 2026 1 min read Blog
🎉🎉🎉 Our paper has been accepted by FM 2026!!!
🎉🎉🎉 Our paper has been accepted by ANTS 2026!!!
Our paper Bigraphical Model Checking for Drone Swarm Coordination in Vertiports has been accepted by ANTS 2026.
Last updated on Jan 2026 1 min read Blog
🎉🎉🎉 Our paper has been accepted by ANTS 2026!!!
🎉🎉🎉 Our paper has been selected as the cover paper!!!
Our paper A Bigraph-Based Digital Twin for Multi-UAV Landing Management has been selected as the cover paper from over 60 submissions.
Last updated on Jan 2026 1 min read Blog
🎉🎉🎉 Our paper has been selected as the cover paper!!!
🎉🎉🎉 Our paper has been accepted by DAUS 2026!!!
Our paper A Digital Twin-Driven Multistorey Mapping Framework for Multi-MAV System has been accepted by DAUS 2026.
Last updated on Dec 2025 1 min read Blog
🎉🎉🎉 Our paper has been accepted by DAUS 2026!!!
Bigraph Workshop and First TAC Meeting
Presented current research progress.
Last updated on Oct 2025 1 min read Blog
Bigraph Workshop and First TAC Meeting
See all posts

Contact

I am happy to supervise Bachelor’s and Master’s theses on topics related to digital twins, computer vision, and robotics in air transportation. Feel free to reach out.