Yao Feng
***** ********** *****, **********, ** *8167
Cell: 312-***-****
Email: acd61i@r.postjobfree.com, acd61i@r.postjobfree.com
Professional Skills:
- Matlab, Simulink, PLC(Step 7 & WinCC), AMESim, ROS(Robot Operation System), C/C++, Java, R,
M.S. Office;
- System Modelling, Model-Based Fault Detection and Monitoring, Controller design, System
Identification, Digital Signal Processing, Particle Filtering, State estimation/observation, Formal
verification, Monte Carlo Markov Decision Process, Robotics, Motion planning, Arduino, CAN bus,
HIL Simulation, Embedded System Development Process.
Projects:
Monitoring and Fault-Detection Technique for Safety Critical Cyber-Physical Systems (NSF funded),
2010 until now
- Modelled Cyber-Physical Systems and safety specifications using stochastic hybrid automata;
- Developed monitoring strategies for hybrid automata with respect to safety and liveness properties;
- Developed Hierarchical Particle Filter for hybrid state estimation/observation in hybrid systems;
- Developed Matlab codes for hybrid automata modelling and Particle Filtering (PF) estimation
algorithm;
- Applied the developed monitoring strategies in a simulated powertrain system and tested
monitoring accuracy with Matlab and Simulink;
- Developed Generalized Model-Based Fault Detection and Identification technique for system
malfunction/failure modes which may not be modelled in hybrid automata;
- Applying the methodologies to a physical lab-built mobile robot (Lynxmotion Rover) with stochastic
failures for validation in real-time system;
Mobile Robots development using ROS, 2012 until now
- Built the hardware part and circuits of Lynxmotion Rover and programmed on Arduino to
implement and the low level control and correct the inaccuracy using PID control;
- Designed and developed software package for operation and sensor integration of Lynxmotion
Rover using ROS;
- Modelled the dynamics of Lynxmotion Rover and implemented using C++;
- Implemented robot navigation algorithm in a 2-D plane using C++;
The Modeling and Simulation of Argon Blowing Control System of Ladle Furnace (National 985),
2007-2009
- Investigated the physical laws of the argon blowing dynamic process in a ladle furnace and built the
parameterized model using System Identification toolbox of Simulink;
- Imported the model in CFD simulation software, Fluent6.2, and determined the parameter through
simulation results and model validation;
- Designed fuzzy logic feedback controller using Simulink toolbox-Fuzzy logic controller for the argon
blowing process and verified the system design in Simulink.
Experience:
Research / Teaching Assistant, Jan 2010-May 2014
Department of ECE, University of Illinois, Chicago
Courses: ECE 350, Principles of Automatic Control; ECE 311, Modern Communication;
ECE 341, Probability and Random Process in Engineering.
Project Team Member, Sep 2007- Jul 2009
Semi-simulated Ladle Furnace Control Lab (National 985), Northeastern University, Shenyang, China
- Designed and assembled the controller equipment and low voltage control cabinet given Auto CAD
layout design;
- Enabled device communication with CAN bus.
- Programmed on Siemens S7-300 and S7-400 PLC using Step 7;
- Set up and implemented the monitoring and reporting tasks (data and log) on the HIL control
process of the simulated ladle furnace plant using HMI software WinCC and Crystal Reports.
Control Engineer Intern, Apr 2007 – Jun, 2007
Anshan Iron and Steel Corporation, Anshan, China
- Understood steel production process including ;
- Collected and analyzed field data for furnace temperature estimation and prediction models;
- Developed stepping beam hydraulic control and temperature PID control algorithm in Step 7;
Test Engineer Intern, Jun 2006-Aug 2007
Neusoft Corporation, Shenyang, China
- Designed, customized and tested user interfaces for different users of Philips CT scanner.
Education:
Ph.D. candidate, Electrical Engineering, Aug 2009 - now GPA: 3.75
University of Illinois, Chicago, IL
B.S., Automation, July 2008 GPA: 3.60
- Northeastern University (China), Shenyang, Liaoning
Publications and talks:
A. Prasad Sistla, Milos Zefran and Yao Feng, Monitorability of Stochastic Dynamic Systems,
Proceedings of the 23rd International Conference on Computer Aided Verification, 2011
A. Prasad Sistla, Milos Zefran and Yao Feng, Runtime Monitoring of Stochastic Cyber -Physical
Systems with Hybrid State, 2nd International Conference on Runtime Verification, 2012
A. Prasad Sistla, Milos Zefran, Yao Feng and Yue Ben, Timely Monitoring of Partially Observable
Stochastic Systems, Proceedings of the 17th International Conference on Hybrid Systems:
Computation and Control, 2014
“Timely Monitoring of Cyber-Physical Systems”, Sept 20-21, 2013, in the Midwest Verification Day
2013 (MVD'13), University of Illinois, Chicago, IL
Awards and Honors:
Second Prize in China Undergraduate Mathematical Contest in Modeling (CUMCM), 2006
Top Student Award, Northeastern University, 2007
Excellent Graduate, Northeastern University, 2008
Extracurricular Activities:
Volunteer at World Expo in Shenyang, Apr-Aug 2006
Serve in Chinese Students and Scholars Association @UIC(CSSA@UIC), 2009-2011
Amateur belly dance learner since 2007