Fetching the paper…
Reading the bibliography…
Cyber-physical systems (CPS) have been broadly deployed in safety-critical domains, such as automotive systems, avionics, medical devices, etc.
Simulated annealing
Peter JM Van Laarhoven and Emile HL Aarts. 1987 · 1987
Earlier work this paper cites.
No free lunch theorems for optimization
David H Wolpert and William G Macready. 1997 · 1997
Earlier work this paper cites.
Reducing the time complexity of the derandomized evolution strategy with covariance matrix adaptation (CMA-ES)
Nikolaus Hansen, Sibylle D Müller, and Petros Koumoutsakos. 2003 · 2003
Earlier work this paper cites.
Globalized Nelder–Mead method for engineering optimization
Marco A Luersen and Rodolphe Le Riche. 2004 · 2004
Earlier work this paper cites.
A neural network controller for continuum robots
David Braganza, Darren M Dawson, Ian D Walker, and Nitendra Nath. 2007 · 2007
Earlier work this paper cites.
Breach, a toolbox for verification and parameter synthesis of hybrid systems. In CAV . Springer, 167–170
Alexandre Donzé. 2010 · 2010
Earlier work this paper cites.
Robust satisfaction of temporal logic over real-valued signals. In FORMATS . Springer, 92–106
Alexandre Donzé and Oded Maler. 2010 · 2010
Earlier work this paper cites.
S-taliro: A tool for temporal logic falsification for hybrid systems. In TACAS . Springer, 254–257
Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011 · 2011
Earlier work this paper cites.
ISO 26262:Road vehicles - Functional safety
International Organization for Standardization. 2011 · 2011
Earlier work this paper cites.
Powertrain control verification benchmark. In HSCC . 253–262
Xiaoqing Jin, Jyotirmoy V Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. 2014 · 2014
Earlier work this paper cites.
Continuous control with deep reinforcement learning
Timothy P Lillicrap, Jonathan J Hunt, Alexander Pritzel, Nicolas Heess, Tom Erez, Yuval Tassa, David Silver, and Daan Wierstra. 2015 · 2015
Earlier work this paper cites.
Benchmarking deep reinforcement learning for continuous control. In ICML . PMLR, 1329–1338
Yan Duan, Xi Chen, Rein Houthooft, John Schulman, and Pieter Abbeel. 2016 · 2016
Earlier work this paper cites.
Classification and coverage-based falsification for embedded control systems. In CAV . Springer, 483–503
Arvind Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, and Xiaoqing Jin. 2017 · 2017
Cited alongside, same era.
Deep reinforcement learning: A brief survey
Kai Arulkumaran, Marc Peter Deisenroth, Miles Brundage, and Anil Anthony Bharath. 2017 · 2017
Cited alongside, same era.
Safety verification of deep neural networks. In CAV . Springer, 3–29
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu. 2017 · 2017
Cited alongside, same era.
Development of a robust deep recurrent neural network controller for flight applications. In ACC . IEEE, 5336–5342
Scott A Nivison and Pramod P Khargonekar. 2017 · 2017
Cited alongside, same era.
Proximal policy optimization algorithms
John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. 2017 · 2017
Cited alongside, same era.
ISO/PAS 21448: Road vehicles - Safety of the intended functionality
International Organization for Standardization. 2019 · 2019
Later among the works it cites.
Reachnn: Reachability analysis of neural-network controlled systems
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, and Qi Zhu. 2019 · 2019
Later among the works it cites.
Falsification of cyber-physical systems with robustness uncertainty quantification through stochastic optimization with adaptive restart. In CASE . IEEE, 991–997
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, and Georgios Fainekos. 2019 · 2019
Later among the works it cites.
Evaluating model testing and model checking for finding requirements violations in Simulink models. In ESEC/FSE . 1015–1025
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C Briand, Stephen Foster, and David Wolfe. 2019 · 2019
Later among the works it cites.
Star-based reachability analysis of deep neural networks. In FM . Springer, 670–686
Hoang-Dung Tran, Diago Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T Johnson. 2019 · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Addressing function approximation error in actor-critic methods. In ICML . PMLR, 1587–1596
Scott Fujimoto, Herke Hoof, and David Meger. 2018 · 2018
Cited alongside, same era.
Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actor. In ICML . 1861–1870
Tuomas Haarnoja, Aurick Zhou, Pieter Abbeel, and Sergey Levine. 2018 · 2018
Cited alongside, same era.
Output reachable set estimation and verification for multilayer neural networks
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson. 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.
Structured reward shaping using signal temporal logic specifications. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 3481–3486
Anand Balakrishnan and Jyotirmoy V Deshmukh. 2019 · 2019
Cited alongside, same era.
Compositional falsification of cyber-physical systems with machine learning components
Tommaso Dreossi, Alexandre Donzé, and Sanjit A Seshia. 2019 · 2019
Cited alongside, same era.
Later among the works it cites.
Gray-box adversarial testing for control systems with machine learning components. In HSCC . 179–184
Shakiba Yaghoubi and Georgios Fainekos. 2019 · 2019
Later among the works it cites.
Arch-comp 2020 category report: Falsification
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, et al · 2020
Later among the works it cites.
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Taylor T Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, and Chao Huang. 2020 · 2020
Later among the works it cites.
Falsification of cyber-physical systems using deep reinforcement learning
Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, and Jianye Hao. 2020 · 2020
Later among the works it cites.
Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints
Wenliang Liu, Noushin Mehdipour, and Calin Belta. 2021 · 2021
Closest in time.
Adaptive Cruise Control System Using Model Predictive Control
Mathworks. 2021 · 2021
Closest in time.