Zhennan Fei

According to our database, Zhennan Fei authored at least 29 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

From Concept to Capability: Evaluating 3D Gaussian Splatting for Synthetic Scene Editing in Autonomous Driving.

Ali Nouri, Yifei Zhang, Yifan Zhang, Tayssir Bouraffa, Zhennan Fei, Zijian Han, Håkan Sivencrona, Anders Heyden

CoRR, May, 2026

HASCO: A Hybrid AI Simulation Compiler for Semantic Accident Reconstruction.

Edin Jelacic, Rong Gu, Cristina Seceleanu, Ning Xiong, Peter Backeman, Tiberiu Seceleanu, Zhennan Fei, Ali Nouri

Proceedings of the 30th Ada-Europe International Conference on Reliable Software Technologies, 2026

2025

Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value Analysis.

Pengcheng Wu, Sadegh Rahrovani, Zhennan Fei, Derong Yang, Stina Carlsson, Martin Törngren

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

Large Language Models in Code Co-generation for Safe Autonomous Vehicles.

Ali Nouri, Beatriz Cabrero-Daniel, Zhennan Fei, Krishna Ronanki, Håkan Sivencrona, Christian Berger

Proceedings of the Computer Safety, Reliability, and Security, 2025

An LLM and Embeddings-Based Multi-agentic System for Knowledge Graph Construction and Verification.

Miranda R. Martínez Rodríguez, Ali Nouri, Zhennan Fei, Maria M. Hedblom

Proceedings of the PRIMA 2025: Principles and Practice of Multi-Agent Systems, 2025

On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software.

Ali Nouri, Johan Andersson, Kailash De Jesus Hornig, Zhennan Fei, Emil Knabe, Håkan Sivencrona, Beatriz Cabrero-Daniel, Christian Berger

Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering, 2025

2024

MEEAFusion: Multi-Scale Edge Enhancement and Joint Attention Mechanism Based Infrared and Visible Image Fusion.

Yingjiang Xie, Zhennan Fei, Da Deng, Lingshuai Meng, Fu Niu, Jinggong Sun

Sensors, September, 2024

Correlation of Software-in-the-Loop Simulation with Physical Testing for Autonomous Driving.

Zhennan Fei, Mikael Andersson, Andreas Tingberg

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

2023

Automated Pedestrian Tracking Based on Improved ByteTrack.

Qiuxing Zhang, Fanghua Yang, Feng Li, Zhennan Fei, Yingjiang Xie, Da Deng

Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

2020

Supervisory Control Theory in System Safety Analysis.

Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control.

Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson

Proceedings of the 17th European Control Conference, 2019

2016

Robust deadlock avoidance for sequential resource allocation systems with resource outages.

Spyros A. Reveliotis, Zhennan Fei

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Symbolic Supervisory Control of Timed Discrete Event Systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2015

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.

Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2015

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques.

Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Invariant-based Supervisory Control of Switched Discrete Event Systems.

Spyros A. Reveliotis, Zhennan Fei

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Symbolic Supervisory Control of Resource Allocation Systems.

Zhennan Fei

PhD thesis, 2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2014

Symbolic Representation and Computation of Timed Discrete-Event Systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

IEEE Trans Autom. Sci. Eng., 2014

Supervisory Control for State-Vector Transition Models - A Unified Approach.

Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2014

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.

Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.

Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

State-vector transition model applied to supervisory control.

Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Symbolic computation of nonblocking control function for timed discrete event systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.

Zhennan Fei, Knut Åkesson, Bengt Lennartson

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Modeling sequential resource allocation systems using Extended Finite Automata.

Zhennan Fei, Sajed Miremadi, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011