Lei Feng
Title
Cited by
Cited by
Year
Supervisory control architecture for discrete-event systems
L Feng, WM Wonham
IEEE Transactions on Automatic Control 53 (6), 1449-1461, 2008
1462008
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
1302004
Computationally efficient supervisor design: Control Flow Decomposition
L Feng, WM Wonham
Discrete Event Systems, 2006 8th International Workshop on, 9-14, 2006
103*2006
TCT: A computation tool for supervisory control synthesis
L Feng, WM Wonham
2006 8th International Workshop on Discrete Event Systems, 388-389, 2006
892006
On the computation of natural observers in discrete-event systems
L Feng, WM Wonham
Discrete Event Dynamic Systems 20 (1), 63-102, 2010
862010
Computationally efficient supervisor design for discrete-event systems
L Feng
University of Toronto, 2007
592007
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
522009
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
502017
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
372018
Elasto-dynamic Optimization of A 5-DoF Parallel Kinematic Machine Considering Parameter Uncertainty
T Sun, B Lian, Y Song, L Feng
IEEE/ASME Transactions on Mechatronics, 2019
342019
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
342008
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
322011
Designing communicating transaction processes by supervisory control theory
L Feng, WM Wonham, PS Thiagarajan
Formal Methods in System Design 30 (2), 117-141, 2007
302007
Supervisory Control of Timed Discrete-Event Systems Subject to Communication Delays and Non-FIFO Observations
A Rashidinejad, M Reniers, L Feng
IFAC-PapersOnLine 51 (7), 456-463, 2018
292018
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
282013
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
282010
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
282010
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
272013
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
272013
Computationally efficient supervisor design: Control flow decomposition
L Feng, WM Wonham
2006 8th International Workshop on Discrete Event Systems, 9-14, 2006
272006
The system can't perform the operation now. Try again later.
Articles 1–20