![](https://img-blog.csdnimg.cn/20201014180756780.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
强化学习
文章平均质量分 93
zoe_ed
这个作者很懒,什么都没留下…
展开
-
【阅读笔记】Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinf
【论文阅读】Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox同一批作者另一篇发表在International Conference on Formal Engineering MethodsICFEM 2018: Formal Methods and Software Engineering pp 89-105 上原创 2021-11-25 16:05:41 · 327 阅读 · 0 评论 -
【阅读笔记】Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control
目录摘要introduction系统模型和问题的公式摘要这篇文章提出了一种新的可达性分析方法,来验证基于强化学习控制器的CPS系统的安全性。文中的方法是基于两种高效而精确的可达集计算方法的,利用这些算法,通过逐步搜索一个不能建立系统安全性的临界初始条件来确定具有神经网络控制器的安全临界系统是安全的初始条件。我们在NNV(一种用于神经网络和神经网络控制系统的最新验证工具)中实施我们的方法,并通过...原创 2020-04-15 13:29:07 · 685 阅读 · 0 评论 -
【阅读笔记】Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
FM2018 Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning(International Symposium on Formal Methods)摘要摘要Introduction摘要随着软件和分布式计算的迅速发展,信息物理系统(CPS)被广泛应用于许多领域,如智能电网,自动驾驶汽车等。由于软...原创 2020-04-01 01:12:57 · 742 阅读 · 0 评论 -
【阅读笔记】Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study
Hybrid Systems: Computation and ControlHSCC 2019文章目录摘要Introduction基于学习控制系统的形式化模型摘要RL在游戏方面取得的成就主要用于具有离散环境和主体的系统。在安全-计算机-物理系统应用中使用RL的一个关键问题是 在确保他们安全的同时还要使他们能够学习是很困难的。本文提出了一种用于学习非线性连续动力学控制系统安全策略的框架 F...原创 2020-03-17 03:12:19 · 1368 阅读 · 1 评论