Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies
暂无分享,去创建一个
[1] Lionel C. Briand,et al. Search-based automated testing of continuous controllers: Framework, tool support, and case studies , 2015, Inf. Softw. Technol..
[2] Jens Oehlerking,et al. Verifying Properties of an Electro-Mechanical Braking System , 2015, ARCH@CPSWeek.
[3] Faw Haima. Electro-mechanical Braking(EMB)System , 2010 .
[4] Lionel C. Briand,et al. Effective test suites for mixed discrete-continuous stateflow controllers , 2015, ESEC/SIGSOFT FSE.
[5] Lionel C. Briand,et al. MiL testing of highly configurable continuous controllers: scalable search using surrogate models , 2014, ASE.
[6] Sriram Sankaranarayanan,et al. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems , 2013, TECS.
[7] Urska Cvek,et al. High-Dimensional Visualizations , 2002 .
[8] Ian Witten,et al. Data Mining , 2000 .
[9] Norman S. Nise,et al. Control Systems Engineering , 1991 .
[10] อนิรุธ สืบสิงห์,et al. Data Mining Practical Machine Learning Tools and Techniques , 2014 .