Lei Feng
TitleCited byYear
Internet-enabled real-time collaborative assembly modeling via an e-Assembly system: status and promise
L Chen, Z Song, L Feng
Computer-Aided Design 36 (9), 835-847, 2004
1262004
Supervisory control architecture for discrete-event systems
L Feng, WM Wonham
IEEE Transactions on Automatic Control 53 (6), 1449-1461, 2008
1242008
Computationally efficient supervisor design: Control Flow Decomposition
L Feng, WM Wonham
Discrete Event Systems, 2006 8th International Workshop on, 9-14, 2006
97*2006
Computationally efficient supervisor design: Abstraction and modularity
L Feng, WM Wonham
Discrete Event Systems, 2006 8th International Workshop on, 3-8, 2006
882006
On the computation of natural observers in discrete-event systems
L Feng, WM Wonham
Discrete Event Dynamic Systems 20 (1), 63-102, 2010
742010
TCT: A computation tool for supervisory control synthesis
L Feng, WM Wonham
2006 8th International Workshop on Discrete Event Systems, 388-389, 2006
702006
Computationally efficient supervisor design for discrete-event systems
L Feng
University of Toronto, 2007
542007
A structural approach to the non-blocking supervisory control of discrete-event systems
L Feng, K Cai, WM Wonham
The International Journal of Advanced Manufacturing Technology 41 (11-12), 1152, 2009
442009
Integration of learning-based testing and supervisory control for requirements conformance of black-box reactive systems
H Zhang, L Feng, N Wu, Z Li
IEEE Transactions on Automation Science and Engineering 15 (1), 2-15, 2017
402017
Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems
L Feng, DJ Chen, M Törngren
Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 3737-3742, 2008
312008
Designing communicating transaction processes by supervisory control theory
L Feng, WM Wonham, PS Thiagarajan
Formal Methods in System Design 30 (2), 117-141, 2007
292007
A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems
H Zhang, L Feng, Z Li
IEEE Transactions on Automatic Control 63 (10), 3345-3360, 2018
272018
Verifying system behaviors in EAST-ADL2 with the SPIN model checker
L Feng, DJ Chen, H Lönn, M Törngren
2010 IEEE International Conference on Mechatronics and Automation, 144-149, 2010
252010
Computationally efficient supervisor design: Control flow decomposition
L Feng, WM Wonham
2006 8th International Workshop on Discrete Event Systems, 9-14, 2006
252006
Development of a micromirror based laser vector scanning automotive HUD
F Chao, S He, J Chong, R Ben Mrad, L Feng
IEEE International Conference on Mechatronics and Automation, 2011
242011
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2
A Sandberg, DJ Chen, H Lönn, R Johansson, L Feng, M Törngren, ...
Computer Safety, Reliability, and Security, 332-346, 2010
242010
An architectural approach to the analysis, verification and validation of software intensive embedded systems
DJ Chen, L Feng, TN Qureshi, H Lönn, F Hagl
Computing 95 (8), 649-688, 2013
232013
Case studies in learning-based testing
L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong
IFIP International Conference on Testing Software and Systems, 164-179, 2013
222013
Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS
DJ Chen, N Mahmud, M Walker, L Feng, H Lönn, Y Papadopoulos
IFAC Proceedings Volumes 46 (22), 91-96, 2013
202013
Improving Fuel Economy and Robustness of an Improved ECMS Method
M Khodabakhshian, L Feng, J Wikander
The 10th IEEE International Conference on Control and Automation (ICCA), 598-603, 2013
152013
The system can't perform the operation now. Try again later.
Articles 1–20