Lei Feng

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

Teaching

Since year 2012, I have been teaching the Master level course MF2044 Embedded Systems for Mechatronics, II.

My research interests include the following topics.

Model-based design, verification, and control synthesis of distributed real-time and embedded systems, including the Supervisory Control Theory of Discrete-Event Systems, model checking, architecture design and analysis, etc.
Development and application of the architecture description languages EAST-ADL.
Energy management control of conventional and hybrid automobiles.
Design, simulation, and implementation of advanced automotive control functions.

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) ]

DeJiu 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, Available Online, March 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) ]

M. K. Khodabakhshian, Lei Feng, and Jan Wikander, “Improvement of Fuel Efficiency and Drivability using Simple Prediction for Gear Changing”, in Proceedings of the 7^th 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 10^th 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 25^th 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 47^th 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 46^th 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 8^th 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 8^th International Workshop of Discrete-Event Systems, pp. 9-14, Ann Arbor, MI, Jul. 2006.[ Full Text (pdf 105 kB) ]

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) ]