Houssam Abbas & Georgios E. Fainekos (2015):
Towards composition of conformant systems.
CoRR abs/1511.05273.
Available at http://arxiv.org/abs/1511.05273.
Houssam Abbas, Hans Mittelmann & Georgios E. Fainekos (2014):
Formal property verification in a conformance testing framework.
In: Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on,
pp. 155–164,
doi:10.1109/MEMCOD.2014.6961854.
Houssam Y. Abbas (2015):
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.
Arizona State University.
Available at http://hdl.handle.net/2286/R.A.150686.
Arend Aerts, Mohammad Reza Mousavi & Michel A. Reniers (2016):
Model-based testing of cyber-physical systems.
In: Cyber-Physical Systems: Foundations, Principles and Applications.
Elsevier.
To appear.
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger & Pei Hsin Ho (1993):
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems.
In: Robert L. Grossman, Anil Nerode, Anders P. Ravn & Hans Rischel: Hybrid Systems.
Springer Berlin Heidelberg,
pp. 209–229,
doi:10.1007/3-540-57318-6_30.
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský & Dejan Nickovic (2015):
Complete Composition Operators for IOCO-Testing Theory.
In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015).
ACM,
pp. 101–110.
Jyotirmoy V. Deshmukh, Rupak Majumdar & Vinayak S. Prabhu (2015):
Quantifying Conformance Using the Skorokhod Metric.
In: Daniel Kroening & S. Corina Păsăreanu: Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015), Part II.
Springer,
pp. 234–250,
doi:10.1007/978-3-319-21668-3_14.
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin & Jyotirmoy V. Deshmukh (2015):
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
In: Klaus Havelund, Gerard J. Holzmann & Rajeev Joshi: Proceedings of the 7th International Symposium of NASA Formal Methods (NFM 2015),
Lecture Notes in Computer Science 9058.
Springer,
pp. 127–142,
doi:10.1007/978-3-319-17524-9_10.
Georgios E. Fainekos (2015):
Automotive control design bug-finding with the STaLiRo tool.
In: Proceedings of the American Control Conference (ACC 2015).
IEEE,
pp. 4096,
doi:10.1109/ACC.2015.7171969.
Antoine Girard & George J. Pappas (2011):
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.
European Journal of Control 17(5-6),
pp. 568–578,
doi:10.3166/ejc.17.568-578.
A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto & George J. Pappas (2009):
Approximate equivalence and synchronization of metric transition systems.
Systems & Control Letters 58(2),
pp. 94–101,
doi:10.1016/j.sysconle.2008.09.001.
A. Agung Julius & George J. Pappas (2009):
Approximations of Stochastic Hybrid Systems.
IEEE Trans. Automat. Contr. 54(6),
pp. 1193–1203,
doi:10.1109/TAC.2009.2019791.
Narges Khakpour & Mohammad Reza Mousavi (2015):
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).
In: Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015),
LIPIcs–Leibniz International Proceedings in Informatics.
Nancy Lynch, Roberto Segala & Frits Vaandrager (2003):
Hybrid I/O automata.
Information and Computation 185(1),
pp. 105–157,
doi:10.1016/S0890-5401(03)00067-1.
Morteza Mohaqeqi & Mohammad Reza Mousavi (2016):
Sound Test-Suites for Cyber-Physical Systems.
In: Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016).
IEEE Computer Society,
doi:10.1109/TASE.2016.33.
Morteza Mohaqeqi, Mohammad Reza Mousavi & Walid Taha (2014):
Conformance Testing of Cyber-Physical Systems: A Comparative Study.
In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVOCS 2014),
Electronic Communications of the EASST 70.
Michiel van Osch (2006):
Hybrid input-output conformance and test generation.
In: FATES/RV.
Springer Berlin Heidelberg,
pp. 70–84.
Paulo Tabuada (2007):
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.
In: Proceedings of the 10th International Workshop on Hybrid Systems: Computation and Control (HSCC 2007),
Lecture Notes in Computer Science 4416.
Springer,
pp. 529–542,
doi:10.1007/978-3-540-71493-4_41.
Majid Zamani, Alessandro Abate & Antoine Girard (2015):
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Automatica 55,
pp. 183–196,
doi:10.1016/j.automatica.2015.03.004.