Lei Feng

Lei Feng

Associate Professor

Phone: +46 8 790 76 49
E-mail: lfeng@kth.se
Visiting address: Brinellvägen 83

Teaching

From year 2012 to 2015, I was a teacher of the Master level course MF2044 Embedded Systems for Mechatronics, II.

Since year 2013, I have been the responsible teacher and examiner of the project course

MF2063 Embedded Systems Design Project

Since year 2016, I have been the responsible teacher and examiner of the Master level course

MF2007 Dynamics and Motion Control

Research

My research interests include the following topics.

  • Model-based design, verification, and optimization of distributed real-time and embedded systems, including model checking, architecture design and optimization, etc.

  • Supervisory control of discrete-event systems.

  • Energy management control of conventional and hybrid automobiles.

  • Design, simulation, and implementation of advanced automotive control functions.

Selected Publications

My Google Scholar Citations

Ph.D. Thesis

  • Lei Feng, Computationally Efficient Supervisor Design for Discrete-Event Systems, Ph.D. Thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada.[ Thesis (pdf 13.1 MB) ]

Peer-reviewed Journal Articles

  • Junhui Liu, Lei Feng, Zhiwu Li, "The Optimal Road Grade Design for Minimizing Ground Vehicle Energy Consumption", Energies, 10(5), 2017. [ Link to full text]

  • Huimin Zhang, Lei Feng, Naiqi Wu, and Zhiwu Li, "Integration of Learning-based Testing and Supervisory Control for Requirements Conformance of Black-box Reactive Systems", IEEE Transactions on Automation Science and Engineering, Accepted in April 2017.

  • M. Khodabakhshian, Lei Feng, S. Börjesson, O. Lindgärde, and Jan Wikander, "Reducing Auxiliary Energy Consumption of Heavy Trucks by Onboard Prediction and Real-time Optimization", Applied Energy, Volume 188, pages 652-671, 2017. [Link to the journal webpage]

  • O. Lindgärde, Lei Feng, A. Tenstam, and M. Soderman, "Optimal Vehicle Control for Fuel Efficiency", SAE International Journal of Commercial Vehicles, 8(2): 682-694, 2015.

  • M.K. Khodabakhshian, Lei Feng, and Jan Wikander, "One-Step Prediction for Improving Gear Changing Control of HEVs", Journal of Robotics and Mechatronics, 26(6): 799-808, 2014.

  • D.J. Chen, Lei Feng, T.N. Qureshi, H. Lönn, and F. Hagl, “An Architectural Approach to the Analysis, Verification and Validation of Software Intensive Embedded Systems”, Computing, 95(8): 649-688, 2013. [ Full Text (pdf 1.8 MB) ]

  • Lei Feng and W.M. Wonham, “On the Computation of Natural Observers in Discrete-Event Systems”, Discrete Event Dynamic Systems: Theory and Applications, 20(1):63-102, 2010. [ Full Text (pdf 312 kB) ]

  • Lei Feng, K. Cai, and W.M. Wonham “A Structural Approach to the Nonblocking Supervisory Control of Discrete-Event Systems”, International Journal of Advanced Manufacturing Technology, 41(11-12): 1152-1168, 2009.[ Full Text (pdf 396 kB) ]

  • Lei Feng and W.M. Wonham, “Supervisory Control Architecture for Discrete-Event Systems”, IEEE Transactions on Automatic Control, 53(6): 1449-1461, 2008.[ Full Text (pdf 477 kB) ]

  • Lei Feng, W.M. Wonham, and P.S. Thiagarajan, “Designing Communicating Transaction Processes by Supervisory Control Theory”, Formal Methods in System Design, 30(2):117-141, Apr. 2007.[ Full Text (pdf 578 kB) ]

  • Lei Feng and L. Chen, “Achieving Online Coordination in Real-Time Collaborative Assembly Modeling: A Supervisory Control Approach”, ASME Journal of Computing and Information Science in Engineering, 6(3): 252-262, Sep. 2006.[ Full Text (PDF 278 kB) ]

  • L. Chen, Z. Song, Lei Feng, "Internet-Enabled Real-Time Collaborative Assembly Modeling via An e-Assembly Systems: Status and Promise", Computer-Aided Design, 36:835-847, 2004.

Peer-reviewed Conference Papers

  • X. Zhang, X. Song, Lei Feng, L. Chen, and M. Törngren, "A Case Study on Achieving Fair Data Age Distribution in Vehicular Communications", in Proceedings of 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, Pittsburg, PA, 2017
  • X. Zhang, Lei Feng, M. Törngren, and D. Chen, "Formulating Customized Specifications for Resource Allocation Problem of Distributed Embedded Systems", in Proceedings of the 2016 International Conference on Computer Aided Design, Austin, TX, 2016.
  • Y. Li, A. Duan, A. Gratner, and Lei Feng, "A Geometric Programming Approach to the Optimization of Mechatronic Systems in Early Design Stages", in Proceedings of the 2016 IEEE International Conference on Advanced Intelligent Mechatronics, Banff, Alberta, Canada, 2016.
  • X.Zhang, Lei Feng, D.J. Chen, and M. Törngren, "Design-Space Reduction for Architectural Optimization of Automotive Embedded Systems", in Proceedings of the 12th IEEE International Conference on Embedded Software and Systems, New York, NY, 2015.
  • M. K. Khodabakhshian, Lei Feng, and Jan Wikander, "Fuel Saving Potential of Optimal Engine Cooling System", in Proceedings of the 12th International Symposium on Advanced Vehicle Control, Tokyo, Japan, 2014.

  • M. K. Khodabakhshian, Lei Feng, and Jan Wikander, "Predictive Control of the Engine Cooling System for Fuel Efficiency Improvement", in Proceedings of the 2014 IEEE Conference on Automation Science and Engineering, Taipei, Taiwan, 2014.

  • Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, and Muddassar A. Sindhu, Peter Y.H. Wong, "Case Studies in Learning-Based Testing", in Testing Software and Systems, LNCS 8254, pp 164-179, Springer Berlin Heidelberg, 2013.

  • W. Devesse, M. Ramteen, Lei Feng, and Jan Wikander, "A Real-Time Optimal Control Method for Swing-Free Tower Crane Motions", in Proceedings of the 2013 IEEE Conference on Automation Science and Engineering, Madison, Wisconsin, USA, 2013. (Best Student Paper Award)

  • M. K. Khodabakhshian, Lei Feng, and Jan Wikander, “Improvement of Fuel Efficiency and Drivability using Simple Prediction for Gear Changing”, in Proceedings of the 7th IFAC Symposium on Advances in Automotive Control, Tokyo, Japan, 2013.

  • M. K. Khodabakhshian, Lei Feng, and Jan Wikander, ”Fuel Efficiency Improvement in HEVs using Electromechanical Brake System”, in Proceedings of 2013 IEEE Intelligent Vehicles Symposium, Gold Coast, Australia, 2013.

  • M. K. Khodabakhshian, Lei Feng, and Jan Wikander, “Improving Fuel Economy and Robustness of an Improved ECMS Method”, in Proceedings of the 10th IEEE International Conference on Control and Automation, Hangzhou, China, 2013.

  • M. K. Khodabakhshian, Lei Feng, and Jan Wikander, “Optimization of Gear Shifting and Torque Split for Improved Fuel Efficiency and Drivability of HEVs”, in Proceedings of SAE 2013 World Congress, Detroit, MI, 2013.

  • M. R. Shoaei, Lei Feng, Bengt Lennartson, “Supervisory Control of Extended Finite Automata Using Transition Projection”, in Proceedings of 2012 Conference on Decision and Control, Dec. 2012, Hawaii, USA.[ Full Text (pdf 153 kB) ]

  • M. R. Shoaei, Lei Feng, Bengt Lennartson, “Abstractions for Nonblocking Supervisory Control of Extended Finite Automata”, in Proceedings of 2012 IEEE Conference on Automation Science and Engineering, Aug. 2012, Seoul, Korea. (Best Student Paper Award)[ Full Text (pdf 153 kB) ]

  • J. Hellgren, Lei Feng, B. Andersson, and R. Blanc, “An Experimental System for Battery Management Algorithm Development”, in Proceedings of the 25th World Battery, Hybrid and Fuel Cell Electric Vehicle Symposium & Exhibition, Shenzhen, China, Nov. 5-9, 2010.[ Full Text (pdf 313 kB) ]

  • Lei Feng, DeJiu Chen, Henrik Lönn, and Martin Törngren, “Verifying EAST-ADL2 Behavior Model with the SPIN Model Checker”, in Proceedings of 2010 IEEE International Conference on Mechatronics and Automation (ICMA 2010), Xi'an, China, Aug. 4-7, 2010. (Best Conference Paper Award)[ Full Text (pdf 153 kB) ]

  • Lei Feng, DeJiu Chen, and Martin Törngren, “Self Configuration of Dependent Tasks for Dynamically Reconfigurable Automotive Embedded Systems”, in Proceedings of the 47th IEEE Conference on Decision and Control, pp. 3737-3742, Cancun, Mexico, Dec. 2008.[ Full Text (pdf 106 kB) ]

  • Lei Feng and W.M. Wonham, “Nonblocking Coordination of Discrete-Event Systems by Control-Flow Nets”, in Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, LA, Dec. 2007.[ Full Text (pdf 195 kB) ]

  • Lei Feng and W.M. Wonham, “Computationally Efficient Supervisor Design: Modularity and Abstraction”, in Proceedings of the 8th International Workshop of Discrete-Event Systems, pp. 3-8, Ann Arbor, MI, Jul. 2006.[ Full Text (pdf 109 kB) ]

  • Lei Feng and W.M. Wonham, “Computationally Efficient Supervisor Design: Control-Flow Decomposition”, in Proceedings of the 8th International Workshop of Discrete-Event Systems, pp. 9-14, Ann Arbor, MI, Jul. 2006.[ Full Text (pdf 105 kB) ]

Book Chapters

  • DeJiu Chen, Martin Törngren, Magnus Persson, Lei Feng, and Tahir Naseer Qureshi, “Towards Model-Based Engineering of Self-Configuring Embedded Systems”, in Model-Based Engineering of Embedded Real-Time Systems, H. Giese, B. Rumpe, B. Schätz (editors), Springer Verlag, 2009.

  • R. Anthony, D. Chen, M. Törngren, D. Scholle, M. Sanfridson, A. Rettberg, T. Naseer, M. Persson, and Lei Feng, “Autonomic Middleware for Automotive Embedded Systems”, Autonomic Communication, A. Vasilakos, M. Parashar, S. Karnouskos, and W. Pedrysz (editors), Springer Verlag, 2009.[ Full Text (pdf 1.5 MB) ]

Software

  The C++ program for computing the coarest quasi-congruence and the natural observer of a given deterministic finite automaton, based on my paper "On the Computation of Natural Observers in Discrete-Event Systems", is available for sharing. Please send an email to me for the source code and use instruction.

Top page top