SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods-Reference-Cited by-同舟云学术

SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods

Published:2022-05-04 Issue: Volume: Page:
ISSN:
Container-title:25th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Thorpe Adam¹,Oishi Meeko¹

Affiliation:

1. University Of New Mexico, United States

Funder

NSF

National Science Foundation

NASA University Leadership initiative

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3501710.3519525

Reference57 articles.

1. Martín Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin Sanjay Ghemawat Ian Goodfellow Andrew Harp Geoffrey Irving Michael Isard Yangqing Jia Rafal Jozefowicz Lukasz Kaiser Manjunath Kudlur Josh Levenberg Dandelion Mané Rajat Monga Sherry Moore Derek Murray Chris Olah Mike Schuster Jonathon Shlens Benoit Steiner Ilya Sutskever Kunal Talwar Paul Tucker Vincent Vanhoucke Vijay Vasudevan Fernanda Viégas Oriol Vinyals Pete Warden Martin Wattenberg Martin Wicke Yuan Yu and Xiaoqiang Zheng. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. https://www.tensorflow.org/ Software available from tensorflow.org. Martín Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin Sanjay Ghemawat Ian Goodfellow Andrew Harp Geoffrey Irving Michael Isard Yangqing Jia Rafal Jozefowicz Lukasz Kaiser Manjunath Kudlur Josh Levenberg Dandelion Mané Rajat Monga Sherry Moore Derek Murray Chris Olah Mike Schuster Jonathon Shlens Benoit Steiner Ilya Sutskever Kunal Talwar Paul Tucker Vincent Vanhoucke Vijay Vasudevan Fernanda Viégas Oriol Vinyals Pete Warden Martin Wattenberg Martin Wicke Yuan Yu and Xiaoqiang Zheng. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. https://www.tensorflow.org/ Software available from tensorflow.org.

2. ARCH-COMP19 Category Report: Stochastic Modelling

3. ARCH-COMP20 Category Report: Stochastic Models

4. Alessandro Abate , HAP Blom , Nathalie Cauchi , Sofie Haesaert , Arnd Hartmanns , Kendra Lesser , Meeko Oishi , Vignesh Sivaramakrishnan , and Sadegh Soudjani . 2018. ARCH-COMP18 Category Report: Stochastic Modelling. EPiC Series in Computing 54 ( 2018 ). Alessandro Abate, HAP Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, and Sadegh Soudjani. 2018. ARCH-COMP18 Category Report: Stochastic Modelling. EPiC Series in Computing 54 (2018).

5. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Characterizing the Effect of Mind Wandering on Braking Dynamics in Partially Autonomous Vehicles;ACM Transactions on Cyber-Physical Systems;2024-07-29

2. Fast Attack Recovery for Stochastic Cyber-Physical Systems;2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS);2024-05-13

3. Classification of Human Learning Stages via Kernel Distribution Embeddings;IEEE Open Journal of Control Systems;2024

4. Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

5. A novel on–off linear quadratic regulator control approach for satellite rendezvous;Aerospace Systems;2023-06-23