Lei Feng
Orcid: 0000-0001-5703-5923Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
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
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
IEEE Trans. Haptics, 2021
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
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021
Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021
Proceedings of the IEEE International Symposium on Systems Engineering, 2021
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
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020
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
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
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017
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
J. Robotics Mechatronics, 2014
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
Proceedings of the Testing Software and Systems, 2013
Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012
2010
Discret. Event Dyn. Syst., 2010
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2.
Proceedings of the Computer Safety, 2010
Proceedings of the Autonomic Communication, 2010
2008
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
Formal Methods Syst. Des., 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
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