Fetching the paper…
Reading the bibliography…
Cyber-physical systems (CPSs) are now widely deployed in many industrial domains, e.g., manufacturing systems and autonomous vehicles.
Gedanken-experiments on sequential machines
Edward F Moore et al · 1956
Earlier work this paper cites.
Markov decision processes
Martin L Puterman. 1990 · 1990
Earlier work this paper cites.
Handbook of grid generation
Joe F Thompson, Bharat K Soni, and Nigel P Weatherill. 1998 · 1998
Earlier work this paper cites.
On probabilistic computation tree logic
Frank Ciesinski and Marcus Größer. 2004 · 2004
Earlier work this paper cites.
Hill-climbing search
Bart Selman and Carla P Gomes. 2006 · 2006
Earlier work this paper cites.
Switching and finite automata theory
Zvi Kohavi and Niraj K Jha. 2009 · 2009
Earlier work this paper cites.
Breach, a toolbox for verification and parameter synthesis of hybrid systems.. In CAV , Vol. 10. Springer, 167–170
Alexandre Donzé. 2010 · 2010
Earlier work this paper cites.
Robust satisfaction of temporal logic over real-valued signals. In International Conference on Formal Modeling and Analysis of Timed Systems . Springer, 92–106
Alexandre Donzé and Oded Maler. 2010 · 2010
Earlier work this paper cites.
Ensuring safety, security, and sustainability of mission-critical cyber–physical systems
Ayan Banerjee, Krishna K Venkatasubramanian, Tridib Mukherjee, and Sandeep Kumar S Gupta. 2011 · 2011
Earlier work this paper cites.
PRISM 4.0: Verification of probabilistic real-time systems. In International conference on computer aided verification . Springer, 585–591
Marta Kwiatkowska, Gethin Norman, and David Parker. 2011 · 2011
Earlier work this paper cites.
Challenges and research directions in medical cyber–physical systems
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, et al · 2011
Earlier work this paper cites.
Playing atari with deep reinforcement learning
Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Alex Graves, Ioannis Antonoglou, Daan Wierstra, and Martin Riedmiller. 2013 · 2013
Earlier work this paper cites.
Development of a smart-grid cyber-physical systems testbed. In 2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT) . IEEE, 1–6
Mark J Stanovich, Isaac Leonard, K Sanjeev, Mischa Steurer, Thomas P Roth, Stephen Jackson, and Matthew Bruce. 2013 · 2013
Cited alongside, same era.
Powertrain control verification benchmark. In HSCC . 253–262
Xiaoqing Jin, Jyotirmoy V Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. 2014 · 2014
Cited alongside, same era.
SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and< 0.5 MB model size
Forrest N Iandola, Song Han, Matthew W Moskewicz, Khalid Ashraf, William J Dally, and Kurt Keutzer. 2016 · 2016
Cited alongside, same era.
Understanding uncertainty in cyber-physical systems: a conceptual model. In Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings 12 . Springer, 247–264
Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, and Roland Norgren. 2016 · 2016
Cited alongside, same era.
Deepstellar: Model-based quantitative analysis of stateful deep learning systems. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 477–487
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao. 2019 · 2019
Later among the works it cites.
An introduction to reliability and maintainability engineering
Charles E Ebeling. 2019 · 2019
Later among the works it cites.
Safety and security risk assessment in cyber-physical systems
Xiaorong Lyu, Yulong Ding, and Shuang-Hua Yang. 2019 · 2019
Later among the works it cites.
Marble: model-based robustness analysis of stateful deep learning systems. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering . 423–435
Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, and Jianjun Zhao. 2020 · 2020
Later among the works it cites.
Hybrid system falsification under (in) equality constraints via search space transformation
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Testing cyber-physical systems through bayesian optimization
Jyotirmoy Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak S Prabhu. 2017 · 2017
Cited alongside, same era.
Deep reinforcement learning: An overview
Yuxi Li. 2017 · 2017
Cited alongside, same era.
The history began from alexnet: A comprehensive survey on deep learning approaches
Md Zahangir Alom, Tarek M Taha, Christopher Yakopcic, Stefan Westberg, Paheding Sidike, Mst Shamima Nasrin, Brian C Van Esesn, Abdul A S Awwal, and Vijayan K Asari. 2018 · 2018
Cited alongside, same era.
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.. In ARCH@ ADHS . 208–217
Peter Heidlauf, Alexander Collins, Michael Bolender, and Stanley Bak. 2018 · 2018
Cited alongside, same era.
Nonlinear Model Predictive Control of an Exothermic Chemical Reactor
Mathworks. 2018 · 2018
Cited alongside, same era.
Automatically ‘Verifying’Discrete-Time Complex Systems through Learning, Abstraction and Refinement
Jingyi Wang, Jun Sun, Shengchao Qin, and Cyrille Jegourel. 2018 · 2018
Cited alongside, same era.
Two-layered falsification of hybrid systems guided by monte carlo tree search
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, and Ichiro Hasuo. 2018 · 2018
Cited alongside, same era.
Analyzing and predicting the relation between air–fuel ratio (AFR), lambda ( λ \lambda ) and the exhaust emissions percentages and values of gasoline-fueled vehicles using versatile and portable emissions measurement system tool
Shamil Ahmed Flamarz Al-Arkawazi. 2019 · 2019
Cited alongside, same era.
Zhenya Zhang, Paolo Arcaini, and Ichiro Hasuo. 2020 · 2020
Later among the works it cites.
Robustness and performance of deep reinforcement learning
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon Awad Mohammed Al-Sumaidaee, Taolue Chen, and Wai Lok Woo. 2021 · 2021
Later among the works it cites.
The challenges, approaches, and used techniques of CPS for manufacturing in Industry 4.0: a literature review
Baudouin Dafflon, Nejib Moalla, and Yacine Ouzrout. 2021 · 2021
Later among the works it cites.
Adaptive Cruise Control System Using Model Predictive Control
Mathworks. 2021 · 2021
Later among the works it cites.
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, and L. Ma. 2021 · 2021
Later among the works it cites.
Effective hybrid system falsification using monte carlo tree search guided by QB-robustness. In International Conference on Computer Aided Verification . Springer, 595–618
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, and Jianjun Zhao. 2021 · 2021
Later among the works it cites.
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, and Jianjun Zhao. 2022 · 2022
Later among the works it cites.
Search-Based Testing Approach for Deep Reinforcement Learning Agents
Amirhossein Zolfagharian, Manel Abdellatif, Lionel Briand, Mojtaba Bagherzadeh, et al · 2022
Later among the works it cites.