Lei Feng

75 papers A* 2A 3B 3C 2Journal 34Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
A domain knowledge-enhanced MBSE framework for developing knowledge-based inspection systems: A case study on overhead crane inspection.
Comput. Ind. Eng.
Chao Yang, Xiaodu Hu, Zhengyang Wang, Shouxuan Wu, Jinzhi Lu, Lei Feng, Dimitris Kiritsis, Kari Tammi
2025 J jnl
Enhancing smart tightening diagnosis: A transformer-based approach with sensor fusion, self-supervised learning and data augmentation.
Appl. Soft Comput.
Lifei Tang, Dennis Bogatov Wilkman, Lei Feng, Martin Törngren
2025 A* conf
Optimal Gait Control for a Tendon-Driven Soft Quadruped Robot by Model-Based Reinforcement Learning.
ICRA
Xuezhi Niu, Kaige Tan, Didem Gürdür Broo, Lei Feng
2025 J jnl
Optimal gait design for a soft quadruped robot via multi-fidelity Bayesian optimization.
Appl. Soft Comput.
Kaige Tan, Xuezhi Niu, Qinglei Ji, Lei Feng, Martin Törngren
2025 J jnl
Synthesis of Opacity-Enforcing Supervisory Strategies Using Reinforcement Learning.
IEEE Trans Autom. Sci. Eng.
Huimin Zhang, Li Huang, Wanling Huang, Lei Feng, Xianxian Li
2025 — conf
Towards Mitigating Communication Latency Influence in Connected Vehicle Networks by Stochastic Decentralized Model Predictive Control.
ECC
Tong Zhao, Kaige Tan, Lei Feng
2024 — conf
An Event-Triggered Control Mechanism to Improve Online Computation Efficiency of Energy Management Strategies for Hybrid Electric Vehicles.
ITSC
Tong Liu, Kaige Tan, Wenyao Zhu, Peigen Chen, Lei Feng
2024 — conf
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.
ISoLA (3)
Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen
2024 J jnl
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.
CoRR
Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen
2024 J jnl
Computationally Efficient Energy Management for a Parallel Hybrid Electric Vehicle Using Adaptive Dynamic Programming.
IEEE Trans. Intell. Veh.
Tong Liu, Kaige Tan, Wenyao Zhu, Lei Feng
2024 J jnl
Edge-Enabled Adaptive Shape Estimation of 3-D Printed Soft Actuators With Gaussian Processes and Unscented Kalman Filters.
IEEE Trans. Ind. Electron.
Kaige Tan, Qinglei Ji, Lei Feng, Martin Törngren
2024 J jnl
Optimal Gait Control for a Tendon-driven Soft Quadruped Robot by Model-based Reinforcement Learning.
CoRR
Xuezhi Niu, Kaige Tan, Lei Feng
2024 J jnl
Optimal Gait Design for a Soft Quadruped Robot via Multi-fidelity Bayesian Optimization.
CoRR
Kaige Tan, Xuezhi Niu, Qinglei Ji, Lei Feng, Martin Törngren
2024 C conf
Towards Human-Centric Manufacturing: Leveraging Digital Twin for Enhanced Industrial Processes.
IECON
Chao Yang, Hao Yu, Yuan Zheng, Riku Ala-Laurinaho, Lei Feng, Kari Tammi
2023 — conf
A Survey on the Current Trends and Applications of Design Optimization for Compliant and Soft Robotics.
AIM
Seshagopalan Thorapalli Muralidharan, Georgios Andrikopoulos, Lei Feng
2023 J jnl
A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems.
Inf. Sci.
Junjun Yang, Kaige Tan, Lei Feng, ZhiWu Li
2023 — conf
Collaborative Collision Avoidance of Connected Vehicles Using ADMM with PI-Regulated Lagrangian Multipliers.
CASE
Kaige Tan, Lei Feng, Martin Törngren
2023 J jnl
Model Abstraction for Discrete-Event Systems Using a SAT Solver.
IEEE Access
Lihong Cheng, Lei Feng
2023 — conf
Optimal and Adaptive Engine Switch Control for a Parallel Hybrid Electric Vehicle Using a Computationally Efficient Actor-Critic Method.
AIM
Tong Liu, Kaige Tan, Wenyao Zhu, Lei Feng
2023 J jnl
Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems.
IEEE Access
Junjun Yang, Kaige Tan, Lei Feng, Ahmed M. El-Sherbeeny, ZhiWu Li
2022 — conf
A Low-Complexity and High-Performance Energy Management Strategy of a Hybrid Electric Vehicle by Model Approximation.
CASE
Tong Liu, Wenyao Zhu, Kaige Tan, Mingwei Liu, Lei Feng
2022 — conf
A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories.
SysCon
Jingqi Chen, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis
2022 — conf
Balancing Control of Wheeled-Legged Hexapedal Robots for Traversing Rough Terrains.
ROBIO
Anqing Duan, Bin Zhang, Luyin Hu, Lei Feng, David Navarro-Alarcon
2022 J jnl
Decentralized Convex Optimization for Joint Task Offloading and Resource Allocation of Vehicular Edge Computing Systems.
IEEE Trans. Veh. Technol.
Kaige Tan, Lei Feng, György Dán, Martin Törngren
2022 J jnl
Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness.
ACM Trans. Cyber Phys. Syst.
José Manuel Gaspar Sánchez, Nils Jörgensen, Martin Törngren, Rafia Inam, Andrii Berezovskyi, Lei Feng, Elena Fersman, Muhammad Rusyadi Ramli, Kaige Tan
2022 A conf
Omnidirectional walking of a quadruped robot enabled by compressible tendon-driven soft actuators.
IROS
Qinglei Ji, Shuo Fu, Lei Feng, George Andrikopoulos, Xi Vincent Wang, Lihui Wang
2022 J jnl
Optimal shape morphing control of 4D printed shape memory polymer based on reinforcement learning.
Robotics Comput. Integr. Manuf.
Qinglei Ji, Mo Chen, Xi Vincent Wang, Lihui Wang, Lei Feng
2022 J jnl
Shape Estimation of a 3D Printed Soft Sensor Using Multi-Hypothesis Extended Kalman Filter.
IEEE Robotics Autom. Lett.
Kaige Tan, Qinglei Ji, Lei Feng, Martin Törngren
2022 J jnl
Synthesizing the optimal gait of a quadruped robot with soft actuators using deep reinforcement learning.
Robotics Comput. Integr. Manuf.
Qinglei Ji, Shuo Fu, Kaige Tan, Seshagopalan Thorapalli Muralidharan, Karin Lagrelius, David Danelia, Georgios Andrikopoulos, Xi Vincent Wang, Lihui Wang, Lei Feng
2021 — conf
A Bibliometric Analysis on Model-based Systems Engineering.
ISSE
Zihang Li, Jinzhi Lu, Guoxin Wang, Lei Feng, Didem Gürdür Broo, Dimitris Kiritsis
2021 J jnl
A Joint-space Position Control-based Approach to Haptic Rendering of Stiff Objects using Gain Scheduling.
J. Intell. Robotic Syst.
Yang Wang, Lei Feng, Kjell Andersson
2021 — conf
A Knowledge Management Approach Supporting Model-Based Systems Engineering.
WorldCIST (2)
Pengfei Yang, Jinzhi Lu, Lei Feng, Shouxuan Wu, Guoxin Wang, Dimitris Kiritsis
2021 J jnl
A Position-Control Based Approach to Haptic Rendering of Stiff Objects.
IEEE Trans. Haptics
Yang Wang, Lei Feng, Kjell Andersson
2021 — conf
A soft quadruped robot enabled by continuum actuators.
CASE
Seshagopalan Thorapalli Muralidharan, Ruihao Zhu, Qinglei Ji, Lei Feng, Xi Vincent Wang, Lihui Wang
2021 J jnl
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets.
IEEE Trans. Autom. Control.
Guanghui Zhu, Lei Feng, ZhiWu Li, Naiqi Wu
2021 J jnl
Edge computing for cyber-physical systems: A systematic mapping study emphasizing trustworthiness.
CoRR
José Manuel Gaspar Sánchez, Nils Jörgensen, Martin Törngren, Rafia Inam, Andrii Berezovskyi, Lei Feng, Elena Fersman, Muhammad Rusyadi Ramli, Kaige Tan
2021 J jnl
Feedback Control for the Precise Shape Morphing of 4D-Printed Shape Memory Polymer.
IEEE Trans. Ind. Electron.
Qinglei Ji, Mo Chen, Chun Zhao, Xiran Zhang, Xi Vincent Wang, Lihui Wang, Lei Feng
2021 J jnl
Fuel Minimization of a Hybrid Electric Racing Car by Quasi-Pontryagin's Minimum Principle.
IEEE Trans. Veh. Technol.
Tong Liu, Lei Feng, Wenyao Zhu
2021 — conf
Integration of modeling and verification for system model based on KARMA language.
DSM@SPLASH
Jie Ding, Michel A. Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis
2020 J jnl
Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Huimin Zhang, Lei Feng, ZhiWu Li
2020 — conf
Design and closed loop control of a 3D printed soft actuator.
CASE
Qinglei Ji, Xiran Zhang, Mo Chen, Xi Vincent Wang, Lihui Wang, Lei Feng
2020 J jnl
Fuel Minimization of the Electric Engine Cooling System With Active Grille Shutter by Iterative Quadratic Programming.
IEEE Trans. Veh. Technol.
Lei Feng, Jan Wikander, ZhiWu Li
2020 — conf
Optimization based path planning for a two-body articulated vehicle.
CASE
Deyuan Chen, Zhiqiang Yang, Lars J. Svensson, Lei Feng
2019 — conf
A Binary Controller to Ensure Engine Peak Efficiency for a Parallel Hybrid Electric Car.
ITSC
Tong Liu, Lei Feng, Mikael Hellgren, Jan Wikander
2019 — conf
A New Approach to Haptic Rendering by Position Control.
ICCA
Yang Wang, Lei Feng, Kjell Andersson
2019 A* conf
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
ICRA
Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian
2018 J jnl
A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems.
IEEE Trans. Autom. Control.
Huimin Zhang, Lei Feng, ZhiWu Li
2018 — conf
Increasing Fuel Efficiency of a Hybrid Electric Competition Car by a Binary Equivalent Consumption Minimization Strategy.
CASE
Tong Liu, Lei Feng, Mikael Hellgren, Jan Wikander
2018 J jnl
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems.
IEEE Trans Autom. Sci. Eng.
Huimin Zhang, Lei Feng, Naiqi Wu, ZhiWu Li
2018 B conf
Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation.
Intelligent Vehicles Symposium
Lars J. Svensson, Lola Masson, Naveen Mohan, Erik Ward, Anna Pernestål Brenden, Lei Feng, Martin Törngren
2017 A conf
A Case Study on Achieving Fair Data Age Distribution in Vehicular Communications.
RTAS
Xinhai Zhang, Xinwu Song, Lei Feng, Lei Chen, Martin Törngren
2017 — conf
Early Phase Design-Optimization of Mechatronic Systems.
ICCMA
Fariba Rahimi, Lei Feng, Jan Wikander, Daniel Frede
2016 — conf
A geometric programming approach to the optimization of mechatronic systems in early design stages.
AIM
Yuchao Li, Anqing Duan, Alexander Gratner, Lei Feng
2016 A conf
Formulating customized specifications for resource allocation problem of distributed embedded systems.
ICCAD
Xinhai Zhang, Lei Feng, Martin Törngren, De-Jiu Chen
2015 — conf
Design-Space Reduction for Architectural Optimization of Automotive Embedded Systems.
HPCC/CSS/ICESS
Xinhai Zhang, Lei Feng, De-Jiu Chen, Martin Törngren
2014 J jnl
One-Step Prediction for Improving Gear Changing Control of HEVs.
J. Robotics Mechatronics
Mohammad Khodabakhshian, Lei Feng, Jan Wikander
2014 — conf
Predictive control of the engine cooling system for fuel efficiency improvement.
CASE
Mohammad Khodabakhshian, Lei Feng, Jan Wikander
2013 — conf
A real-time optimal control method for swing-free tower crane motions.
CASE
Wim Devesse, Marcus Ramteen, Lei Feng, Jan Wikander
2013 J jnl
An architectural approach to the analysis, verification and validation of software intensive embedded systems.
Computing
De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl
2013 C conf
Case Studies in Learning-Based Testing.
ICTSS
Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
2013 B conf
Fuel efficiency improvement in HEVs using electromechanical brake system.
Intelligent Vehicles Symposium
Mohammad Khodabakhshian, Jan Wikander, Lei Feng
2013 — conf
Improving fuel economy and robustness of an improved ECMS method.
ICCA
Mohammad Khodabakhshian, Lei Feng, Jan Wikander
2012 — conf
Abstractions for nonblocking supervisory control of Extended Finite Automata.
CASE
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
2012 — conf
Supervisory control of extended finite automata using transition projection.
CDC
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
2010 — ch.
Autonomic Middleware for Automotive Embedded Systems.
Autonomic Communication
Richard Anthony, De-Jiu Chen, Martin Törngren, Detlef Scholle, Martin Sanfridson, Achim Rettberg, Tahir Naseer Qureshi, Magnus Persson, Lei Feng
2010 B conf
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2.
SAFECOMP
Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele
2010 J jnl
On the Computation of Natural Observers in Discrete-Event Systems.
Discret. Event Dyn. Syst.
Lei Feng, Walter Murray Wonham
2008 — conf
Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems.
CDC
Lei Feng, De-Jiu Chen, Martin Törngren
2008 J jnl
Supervisory Control Architecture for Discrete-Event Systems.
IEEE Trans. Autom. Control.
Lei Feng, Walter Murray Wonham
2007 J jnl
Designing communicating transaction processes by supervisory control theory.
Formal Methods Syst. Des.
Lei Feng, Walter Murray Wonham, P. S. Thiagarajan
2007 — conf
Nonblocking coordination of discrete-event systems by control-flow nets.
CDC
Lei Feng, Walter Murray Wonham
2007 — conf
Towards Model-Based Engineering of Self-configuring Embedded Systems.
Model-Based Engineering of Embedded Real-Time Systems
De-Jiu Chen, Martin Törngren, Magnus Persson, Lei Feng, Tahir Naseer Qureshi
2006 J jnl
Achieving Online Coordination in Real-Time Collaborative Assembly Modeling: A Supervisory Control Approach.
J. Comput. Inf. Sci. Eng.
Lei Feng, Li Chen
2006 — conf
On the Computation of Natural Observers in Discrete-Event Systems.
CDC
Lei Feng, W. M. Wonham
2004 J jnl
Internet-enabled real-time collaborative assembly modeling via an e-Assembly system: status and promise.
Comput. Aided Des.
Li Chen, Zhijie Song, Lei Feng
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling