Lei Feng

Orcid: 0000-0001-5703-5923

Affiliations:
  • KTH Royal Institute of Technology, Stockholm, Sweden
  • University of Toronto, ON, Canada (PhD 2007)


According to our database1, Lei Feng authored at least 64 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Edge-Enabled Adaptive Shape Estimation of 3-D Printed Soft Actuators With Gaussian Processes and Unscented Kalman Filters.
IEEE Trans. Ind. Electron., March, 2024

Computationally Efficient Energy Management for a Parallel Hybrid Electric Vehicle Using Adaptive Dynamic Programming.
IEEE Trans. Intell. Veh., February, 2024

Optimal Gait Control for a Tendon-driven Soft Quadruped Robot by Model-based Reinforcement Learning.
CoRR, 2024

Optimal Gait Design for a Soft Quadruped Robot via Multi-fidelity Bayesian Optimization.
CoRR, 2024

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023
A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems.
Inf. Sci., June, 2023

Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems.
IEEE Access, 2023

Model Abstraction for Discrete-Event Systems Using a SAT Solver.
IEEE Access, 2023

Collaborative Collision Avoidance of Connected Vehicles Using ADMM with PI-Regulated Lagrangian Multipliers.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

A Survey on the Current Trends and Applications of Design Optimization for Compliant and Soft Robotics.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2023

Optimal and Adaptive Engine Switch Control for a Parallel Hybrid Electric Vehicle Using a Computationally Efficient Actor-Critic Method.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2023

2022
Decentralized Convex Optimization for Joint Task Offloading and Resource Allocation of Vehicular Edge Computing Systems.
IEEE Trans. Veh. Technol., 2022

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness.
ACM Trans. Cyber Phys. Syst., 2022

Synthesizing the optimal gait of a quadruped robot with soft actuators using deep reinforcement learning.
Robotics Comput. Integr. Manuf., 2022

Optimal shape morphing control of 4D printed shape memory polymer based on reinforcement learning.
Robotics Comput. Integr. Manuf., 2022

Shape Estimation of a 3D Printed Soft Sensor Using Multi-Hypothesis Extended Kalman Filter.
IEEE Robotics Autom. Lett., 2022

A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories.
Proceedings of the IEEE International Systems Conference, 2022

Balancing Control of Wheeled-Legged Hexapedal Robots for Traversing Rough Terrains.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

Omnidirectional walking of a quadruped robot enabled by compressible tendon-driven soft actuators.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

A Low-Complexity and High-Performance Energy Management Strategy of a Hybrid Electric Vehicle by Model Approximation.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021
Fuel Minimization of a Hybrid Electric Racing Car by Quasi-Pontryagin's Minimum Principle.
IEEE Trans. Veh. Technol., 2021

A Position-Control Based Approach to Haptic Rendering of Stiff Objects.
IEEE Trans. Haptics, 2021

Feedback Control for the Precise Shape Morphing of 4D-Printed Shape Memory Polymer.
IEEE Trans. Ind. Electron., 2021

An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets.
IEEE Trans. Autom. Control., 2021

A Joint-space Position Control-based Approach to Haptic Rendering of Stiff Objects using Gain Scheduling.
J. Intell. Robotic Syst., 2021

A Knowledge Management Approach Supporting Model-Based Systems Engineering.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

Integration of modeling and verification for system model based on KARMA language.
Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

A Bibliometric Analysis on Model-based Systems Engineering.
Proceedings of the IEEE International Symposium on Systems Engineering, 2021

A soft quadruped robot enabled by continuum actuators.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Fuel Minimization of the Electric Engine Cooling System With Active Grille Shutter by Iterative Quadratic Programming.
IEEE Trans. Veh. Technol., 2020

Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2020

Design and closed loop control of a 3D printed soft actuator.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Optimization based path planning for a two-body articulated vehicle.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019
A Binary Controller to Ensure Engine Peak Efficiency for a Parallel Hybrid Electric Car.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle<sup>*</sup>.
Proceedings of the International Conference on Robotics and Automation, 2019

A New Approach to Haptic Rendering by Position Control.
Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

2018
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems.
IEEE Trans Autom. Sci. Eng., 2018

A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems.
IEEE Trans. Autom. Control., 2018

Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Increasing Fuel Efficiency of a Hybrid Electric Competition Car by a Binary Equivalent Consumption Minimization Strategy.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
A Case Study on Achieving Fair Data Age Distribution in Vehicular Communications.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Early Phase Design-Optimization of Mechatronic Systems.
Proceedings of the 5th International Conference on Control, Mechatronics and Automation, 2017

2016
Formulating customized specifications for resource allocation problem of distributed embedded systems.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

A geometric programming approach to the optimization of mechatronic systems in early design stages.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2016

2015
Design-Space Reduction for Architectural Optimization of Automotive Embedded Systems.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014
One-Step Prediction for Improving Gear Changing Control of HEVs.
J. Robotics Mechatronics, 2014

Predictive control of the engine cooling system for fuel efficiency improvement.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013
An architectural approach to the analysis, verification and validation of software intensive embedded systems.
Computing, 2013

Case Studies in Learning-Based Testing.
Proceedings of the Testing Software and Systems, 2013

Fuel efficiency improvement in HEVs using electromechanical brake system.
Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013

Improving fuel economy and robustness of an improved ECMS method.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

A real-time optimal control method for swing-free tower crane motions.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012
Supervisory control of extended finite automata using transition projection.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Abstractions for nonblocking supervisory control of Extended Finite Automata.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2010
On the Computation of Natural Observers in Discrete-Event Systems.
Discret. Event Dyn. Syst., 2010

Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2.
Proceedings of the Computer Safety, 2010

Autonomic Middleware for Automotive Embedded Systems.
Proceedings of the Autonomic Communication, 2010

2008
Supervisory Control Architecture for Discrete-Event Systems.
IEEE Trans. Autom. Control., 2008

Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Designing communicating transaction processes by supervisory control theory.
Formal Methods Syst. Des., 2007

Towards Model-Based Engineering of Self-configuring Embedded Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Nonblocking coordination of discrete-event systems by control-flow nets.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Achieving Online Coordination in Real-Time Collaborative Assembly Modeling: A Supervisory Control Approach.
J. Comput. Inf. Sci. Eng., 2006

2004
Internet-enabled real-time collaborative assembly modeling via an e-Assembly system: status and promise.
Comput. Aided Des., 2004


  Loading...