Internet-enabled real-time collaborative assembly modeling via an e-Assembly system: status and promise. - Li Chen; Zhijie Song; Lei Feng 002 (Comput. Aided Des., 2004)

Achieving Online Coordination in Real-Time Collaborative Assembly Modeling: A Supervisory Control Approach. - Lei Feng 002; Li Chen (J. Comput. Inf. Sci. Eng., 2006)

Nonblocking coordination of discrete-event systems by control-flow nets. - Lei Feng 002; Walter Murray Wonham (CDC, 2007)

Towards Model-Based Engineering of Self-configuring Embedded Systems. - De-Jiu Chen; Martin Törngren; Magnus Persson 001; Lei Feng 002; Tahir Naseer Qureshi (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Designing communicating transaction processes by supervisory control theory. - Lei Feng 002; Walter Murray Wonham; P. S. Thiagarajan (Formal Methods Syst. Des., 2007)

Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems. - Lei Feng 002; De-Jiu Chen; Martin Törngren (CDC, 2008)

Supervisory Control Architecture for Discrete-Event Systems. - Lei Feng 002; Walter Murray Wonham (IEEE Trans. Autom. Control., 2008)

Autonomic Middleware for Automotive Embedded Systems. - Richard Anthony; De-Jiu Chen; Martin Törngren; Detlef Scholle; Martin Sanfridson; Achim Rettberg; Tahir Naseer Qureshi; Magnus Persson 001; Lei Feng 002 (Autonomic Communication, 2010)

Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. - Anders Sandberg; De-Jiu Chen; Henrik Lönn; Rolf Johansson 002; Lei Feng 002; Martin Törngren; Sandra Torchiaro; Ramin Tavakoli Kolagari; Andreas Abele (SAFECOMP, 2010)

On the Computation of Natural Observers in Discrete-Event Systems. - Lei Feng 002; Walter Murray Wonham (Discret. Event Dyn. Syst., 2010)

Abstractions for nonblocking supervisory control of Extended Finite Automata. - Mohammad Reza Shoaei; Lei Feng 002; Bengt Lennartson (CASE, 2012)

Supervisory control of extended finite automata using transition projection. - Mohammad Reza Shoaei; Lei Feng 002; Bengt Lennartson (CDC, 2012)

A real-time optimal control method for swing-free tower crane motions. - Wim Devesse; Marcus Ramteen; Lei Feng 002; Jan Wikander (CASE, 2013)

Improving fuel economy and robustness of an improved ECMS method. - Mohammad Khodabakhshian; Lei Feng 002; Jan Wikander (ICCA, 2013)

Fuel efficiency improvement in HEVs using electromechanical brake system. - Mohammad Khodabakhshian; Jan Wikander; Lei Feng 002 (Intelligent Vehicles Symposium, 2013)

Case Studies in Learning-Based Testing. - Lei Feng 002; Simon Lundmark; Karl Meinke; Fei Niu; Muddassar A. Sindhu; Peter Y. H. Wong (ICTSS, 2013)

An architectural approach to the analysis, verification and validation of software intensive embedded systems. - De-Jiu Chen; Lei Feng 002; Tahir Naseer Qureshi; Henrik Lönn; Frank Hagl (Computing, 2013)

Predictive control of the engine cooling system for fuel efficiency improvement. - Mohammad Khodabakhshian; Lei Feng 002; Jan Wikander (CASE, 2014)

One-Step Prediction for Improving Gear Changing Control of HEVs. - Mohammad Khodabakhshian; Lei Feng 002; Jan Wikander (J. Robotics Mechatronics, 2014)

Design-Space Reduction for Architectural Optimization of Automotive Embedded Systems. - Xinhai Zhang; Lei Feng 002; De-Jiu Chen; Martin Törngren (HPCC/CSS/ICESS, 2015)

A geometric programming approach to the optimization of mechatronic systems in early design stages. - Yuchao Li; Anqing Duan; Alexander Gratner; Lei Feng 002 (AIM, 2016)

Formulating customized specifications for resource allocation problem of distributed embedded systems. - Xinhai Zhang; Lei Feng 002; Martin Törngren; De-Jiu Chen (ICCAD, 2016)

Early Phase Design-Optimization of Mechatronic Systems. - Fariba Rahimi; Lei Feng 002; Jan Wikander; Daniel Frede (ICCMA, 2017)

A Case Study on Achieving Fair Data Age Distribution in Vehicular Communications. - Xinhai Zhang; Xinwu Song; Lei Feng 002; Lei Chen; Martin Törngren (RTAS, 2017)

Increasing Fuel Efficiency of a Hybrid Electric Competition Car by a Binary Equivalent Consumption Minimization Strategy. - Tong Liu 017; Lei Feng 002; Mikael Hellgren; Jan Wikander (CASE, 2018)

Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation. - Lars J. Svensson; Lola Masson; Naveen Mohan; Erik Ward; Anna Pernestål Brenden; Lei Feng 002; Martin Törngren (Intelligent Vehicles Symposium, 2018)

A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems. - Huimin Zhang; Lei Feng 002; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2018)

Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems. - Huimin Zhang; Lei Feng 002; Naiqi Wu; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2018)

A New Approach to Haptic Rendering by Position Control. - Yang Wang 027; Lei Feng 002; Kjell Andersson (ICCA, 2019)

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*. - Jonas Krook; Lars J. Svensson; Yuchao Li; Lei Feng 002; Martin Fabian (ICRA, 2019)

A Binary Controller to Ensure Engine Peak Efficiency for a Parallel Hybrid Electric Car. - Tong Liu 017; Lei Feng 002; Mikael Hellgren; Jan Wikander (ITSC, 2019)

Optimization based path planning for a two-body articulated vehicle. - Deyuan Chen; Zhiqiang Yang; Lars J. Svensson; Lei Feng 002 (CASE, 2020)

Design and closed loop control of a 3D printed soft actuator. - Qinglei Ji; Xiran Zhang; Mo Chen; Xi Vincent Wang; Lihui Wang 001; Lei Feng 002 (CASE, 2020)

Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems. - Huimin Zhang; Lei Feng 002; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2020)

Fuel Minimization of the Electric Engine Cooling System With Active Grille Shutter by Iterative Quadratic Programming. - Lei Feng 002; Jan Wikander; Zhiwu Li 001 (IEEE Trans. Veh. Technol., 2020)

A soft quadruped robot enabled by continuum actuators. - Seshagopalan Thorapalli Muralidharan; Ruihao Zhu; Qinglei Ji; Lei Feng 002; Xi Vincent Wang; Lihui Wang 001 (CASE, 2021)

A Bibliometric Analysis on Model-based Systems Engineering. - Zihang Li; Jinzhi Lu; Guoxin Wang 001; Lei Feng 002; Didem Gürdür Broo; Dimitris Kiritsis (ISSE, 2021)

Integration of modeling and verification for system model based on KARMA language. - Jie Ding; Michel A. Reniers; Jinzhi Lu; Guoxin Wang 001; Lei Feng 002; Dimitris Kiritsis (DSM@SPLASH, 2021)

A Knowledge Management Approach Supporting Model-Based Systems Engineering. - Pengfei Yang; Jinzhi Lu; Lei Feng 002; Shouxuan Wu; Guoxin Wang 001; Dimitris Kiritsis (WorldCIST (2), 2021)

A Joint-space Position Control-based Approach to Haptic Rendering of Stiff Objects using Gain Scheduling. - Yang Wang 027; Lei Feng 002; Kjell Andersson (J. Intell. Robotic Syst., 2021)

An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets. - Guanghui Zhu; Lei Feng 002; Zhiwu Li 001; Naiqi Wu (IEEE Trans. Autom. Control., 2021)

Feedback Control for the Precise Shape Morphing of 4D-Printed Shape Memory Polymer. - Qinglei Ji; Mo Chen; Chun Zhao; Xiran Zhang; Xi Vincent Wang; Lihui Wang 001; Lei Feng 002 (IEEE Trans. Ind. Electron., 2021)

A Position-Control Based Approach to Haptic Rendering of Stiff Objects. - Yang Wang 027; Lei Feng 002; Kjell Andersson (IEEE Trans. Haptics, 2021)

Fuel Minimization of a Hybrid Electric Racing Car by Quasi-Pontryagin's Minimum Principle. - Tong Liu 017; Lei Feng 002; Wenyao Zhu (IEEE Trans. Veh. Technol., 2021)

A Low-Complexity and High-Performance Energy Management Strategy of a Hybrid Electric Vehicle by Model Approximation. - Tong Liu 017; Wenyao Zhu; Kaige Tan; Mingwei Liu; Lei Feng 002 (CASE, 2022)

Omnidirectional walking of a quadruped robot enabled by compressible tendon-driven soft actuators. - Qinglei Ji; Shuo Fu; Lei Feng 002; George Andrikopoulos; Xi Vincent Wang; Lihui Wang 001 (IROS, 2022)

Balancing Control of Wheeled-Legged Hexapedal Robots for Traversing Rough Terrains. - Anqing Duan; Bin Zhang; Luyin Hu; Lei Feng 002; David Navarro-Alarcon (ROBIO, 2022)

A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories. - Jingqi Chen; Jinzhi Lu; Guoxin Wang 001; Lei Feng 002; Dimitris Kiritsis (SysCon, 2022)

Shape Estimation of a 3D Printed Soft Sensor Using Multi-Hypothesis Extended Kalman Filter. - Kaige Tan; Qinglei Ji; Lei Feng 002; Martin Törngren (IEEE Robotics Autom. Lett., 2022)

Optimal shape morphing control of 4D printed shape memory polymer based on reinforcement learning. - Qinglei Ji; Mo Chen; Xi Vincent Wang; Lihui Wang 001; Lei Feng 002 (Robotics Comput. Integr. Manuf., 2022)

Synthesizing the optimal gait of a quadruped robot with soft actuators using deep reinforcement learning. - Qinglei Ji; Shuo Fu; Kaige Tan; Seshagopalan Thorapalli Muralidharan; Karin Lagrelius; David Danelia; Georgios Andrikopoulos; Xi Vincent Wang; Lihui Wang 001; Lei Feng 002 (Robotics Comput. Integr. Manuf., 2022)

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness. - José Manuel Gaspar Sánchez; Nils Jörgensen; Martin Törngren; Rafia Inam; Andrii Berezovskyi; Lei Feng 002; Elena Fersman; Muhammad Rusyadi Ramli; Kaige Tan (ACM Trans. Cyber Phys. Syst., 2022)

Decentralized Convex Optimization for Joint Task Offloading and Resource Allocation of Vehicular Edge Computing Systems. - Kaige Tan; Lei Feng 002; György Dán; Martin Törngren (IEEE Trans. Veh. Technol., 2022)

Optimal and Adaptive Engine Switch Control for a Parallel Hybrid Electric Vehicle Using a Computationally Efficient Actor-Critic Method. - Tong Liu 017; Kaige Tan; Wenyao Zhu; Lei Feng 002 (AIM, 2023)

A Survey on the Current Trends and Applications of Design Optimization for Compliant and Soft Robotics. - Seshagopalan Thorapalli Muralidharan; Georgios Andrikopoulos; Lei Feng 002 (AIM, 2023)

Collaborative Collision Avoidance of Connected Vehicles Using ADMM with PI-Regulated Lagrangian Multipliers. - Kaige Tan; Lei Feng 002; Martin Törngren (CASE, 2023)

Model Abstraction for Discrete-Event Systems Using a SAT Solver. - Lihong Cheng; Lei Feng 002 (IEEE Access, 2023)

Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems. - Junjun Yang; Kaige Tan; Lei Feng 002; Ahmed M. El-Sherbeeny; Zhiwu Li 001 (IEEE Access, 2023)

A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems. - Junjun Yang; Kaige Tan; Lei Feng 002; Zhiwu Li 001 (Inf. Sci., 2023)

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. - Rong Gu; Kaige Tan; Andreas Holck Høeg-Petersen; Lei Feng 002; Kim Guldstrand Larsen (ISoLA (3), 2024)

An Event-Triggered Control Mechanism to Improve Online Computation Efficiency of Energy Management Strategies for Hybrid Electric Vehicles. - Tong Liu 017; Kaige Tan; Wenyao Zhu; Peigen Chen; Lei Feng 002 (ITSC, 2024)

Optimal Gait Control for a Tendon-driven Soft Quadruped Robot by Model-based Reinforcement Learning. - Xuezhi Niu; Kaige Tan; Lei Feng 002 (CoRR, 2024)

Computationally Efficient Energy Management for a Parallel Hybrid Electric Vehicle Using Adaptive Dynamic Programming. - Tong Liu 017; Kaige Tan; Wenyao Zhu; Lei Feng 002 (IEEE Trans. Intell. Veh., 2024)

Edge-Enabled Adaptive Shape Estimation of 3-D Printed Soft Actuators With Gaussian Processes and Unscented Kalman Filters. - Kaige Tan; Qinglei Ji; Lei Feng 002; Martin Törngren (IEEE Trans. Ind. Electron., 2024)

Optimal gait design for a soft quadruped robot via multi-fidelity Bayesian optimization. - Kaige Tan; Xuezhi Niu; Qinglei Ji; Lei Feng 002; Martin Törngren (Appl. Soft Comput., 2025)

Enhancing smart tightening diagnosis: A transformer-based approach with sensor fusion, self-supervised learning and data augmentation. - Lifei Tang; Dennis Bogatov Wilkman; Lei Feng 002; Martin Törngren (Appl. Soft Comput., 2025)

Synthesis of Opacity-Enforcing Supervisory Strategies Using Reinforcement Learning. - Huimin Zhang; Li Huang; Wanling Huang; Lei Feng 002; Xianxian Li (IEEE Trans Autom. Sci. Eng., 2025)