Houssam Abbas
Georgios E. Fainekos
2015
Towards composition of conformant systems
CoRR
abs/1511.05273
http://arxiv.org/abs/1511.05273
Houssam Abbas
Hans Mittelmann
Georgios E. Fainekos
2014
Formal property verification in a conformance testing framework
Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
155–164
10.1109/MEMCOD.2014.6961854
Houssam Y. Abbas
2015
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems
Arizona State University
http://hdl.handle.net/2286/R.A.150686
Arend Aerts
Mohammad Reza Mousavi
Michel A. Reniers
2016
Model-based testing of cyber-physical systems
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
Robert L. Grossman
Anil Nerode
Anders P. Ravn
Hans Rischel
Hybrid Systems
Springer Berlin Heidelberg
209–229
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
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015)
ACM
101–110
Jyotirmoy V. Deshmukh
Rupak Majumdar
Vinayak S. Prabhu
2015
Quantifying Conformance Using the Skorokhod Metric
Daniel Kroening
S. Corina Păsăreanu
Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015), Part II
Springer
234–250
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
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
127–142
10.1007/978-3-319-17524-9_10
Georgios E. Fainekos
2015
Automotive control design bug-finding with the STaLiRo tool
Proceedings of the American Control Conference (ACC 2015)
IEEE
4096
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
568–578
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
94–101
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
1193–1203
10.1109/TAC.2009.2019791
Narges Khakpour
Mohammad Reza Mousavi
2015
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)
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
105–157
10.1016/S0890-5401(03)00067-1
Morteza Mohaqeqi
Mohammad Reza Mousavi
2016
Sound Test-Suites for Cyber-Physical Systems
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)
IEEE Computer Society
10.1109/TASE.2016.33
Morteza Mohaqeqi
Mohammad Reza Mousavi
Walid Taha
2014
Conformance Testing of Cyber-Physical Systems: A Comparative Study
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
FATES/RV
Springer Berlin Heidelberg
70–84
Paulo Tabuada
2007
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
Proceedings of the 10th International Workshop on Hybrid Systems: Computation and Control (HSCC 2007)
Lecture Notes in Computer Science
4416
Springer
529–542
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
183–196
10.1016/j.automatica.2015.03.004