An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
暂无分享,去创建一个
[1] John J. Moskwa,et al. Automotive Engine Modeling for Real-Time Control Using MATLAB/SIMULINK , 1995 .
[2] Zohar Manna,et al. From Timed to Hybrid Systems , 1991, REX Workshop.
[3] Sriram Sankaranarayanan,et al. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems , 2011, TACAS.
[4] Sriram Sankaranarayanan,et al. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems , 2013, TECS.
[5] Oded Maler,et al. Robust Satisfaction of Temporal Logic over Real-Valued Signals , 2010, FORMATS.
[6] Qianchuan Zhao,et al. Generating test inputs for embedded control systems , 2003 .
[7] Dirk P. Kroese,et al. The Cross-Entropy Method: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation and Machine Learning , 2004 .
[8] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[9] Kenneth R. Butts,et al. Powertrain control verification benchmark , 2014, HSCC.
[10] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[11] M. D. McKay,et al. A comparison of three methods for selecting values of input variables in the analysis of output from a computer code , 2000 .
[12] Houssam Abbas,et al. Benchmarks for Temporal Logic Requirements for Automotive Systems , 2014, ARCH@CPSWeek.
[13] Sriram Sankaranarayanan,et al. Falsification of temporal properties of hybrid systems using the cross-entropy method , 2012, HSCC '12.
[14] Alexandre Donzé,et al. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems , 2010, CAV.
[15] Bapiraju Vinnakota,et al. Analog and mixed-signal test , 1998 .
[16] Sriram Sankaranarayanan,et al. Verification of automotive control applications using S-TaLiRo , 2012, 2012 American Control Conference (ACC).
[17] Richard J. Beckman,et al. A Comparison of Three Methods for Selecting Values of Input Variables in the Analysis of Output From a Computer Code , 2000, Technometrics.
[18] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[19] Carl E. Rasmussen,et al. Gaussian processes for machine learning , 2005, Adaptive computation and machine learning.
[20] James Kapinski,et al. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems , 2015, NFM.
[21] Takumi Akazaki. Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression , 2016, RV.
[22] Helen Gill,et al. Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).
[23] Carl E. Rasmussen,et al. Gaussian Processes for Machine Learning (GPML) Toolbox , 2010, J. Mach. Learn. Res..
[24] James Kapinski,et al. Stochastic Local Search for Falsification of Hybrid Systems , 2015, ATVA.