Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems
作者： Houssam Abbas , Bardh Hoxha , Georgios Fainekos , Koichi Ueda
DOI: 10.1109/CYBER.2014.6917426
关键词:
摘要: … By utilizing the notion of robustness for Metric Temporal Logic (MTL) specifications [13], we … to finding a global minimizer for the expected temporal logic robustness. if the minimum is …
elsevier.com
sci-hub.se 参考文章(24)
Stochastic hybrid systems CRC Press. pp. 11- 24 ,(2006) , 10.1201/9781420008548
Håkan L. S. Younes, Reid G. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling computer aided verification. pp. 223- 235 ,(2002) , 10.1007/3-540-45657-0_17
Jeremy Sproston, Decidable Model Checking of Probabilistic Hybrid Automata FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. pp. 31- 45 ,(2000) , 10.1007/3-540-45352-0_5
Peter Müller, Simulation Based Optimal Design Handbook of Statistics. ,vol. 25, pp. 509- 518 ,(2005) , 10.1016/S0169-7161(05)25017-4
Hengyi Yang, Bardh Hoxha, Georgios Fainekos, Querying Parametric Temporal Logic Properties on Embedded Systems Testing Software and Systems. pp. 136- 151 ,(2012) , 10.1007/978-3-642-34691-0_11
G. E. Fainekos, S. Sankaranarayanan, K. Ueda, H. Yazarel, Verification of automotive control applications using S-TaLiRo advances in computing and communications. pp. 3567- 3572 ,(2012) , 10.1109/ACC.2012.6315384
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman, Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures Theoretical Computer Science. ,vol. 412, pp. 2827- 2839 ,(2011) , 10.1016/J.TCS.2010.05.008
Ron Koymans, Specifying real-time properties with metric temporal logic Real-time Systems. ,vol. 2, pp. 255- 299 ,(1990) , 10.1007/BF01995674
Georgios E. Fainekos, George J. Pappas, Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science. ,vol. 410, pp. 4262- 4291 ,(2009) , 10.1016/J.TCS.2009.06.021
Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre, Quantitative automata model checking of autonomous stochastic hybrid systems Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11. pp. 83- 92 ,(2011) , 10.1145/1967701.1967715