论文阅读
关注
分享
扫一扫
Simon_Sha
这个作者很懒，什么都没留下…
展开
-
论文阅读笔记-Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
文章目录AbstractIntroductionPerliminariesProblem Statement and ApproachProblem StatementOur ApproachPolynomial Rule GenerationAbstract本文针对神经网络控制的连续动力系统做可达集的过近似分析来验证其安全属性。具体来说，本文对神经网络控制器做局部多项式逼近，计算严格的误差；...原创 2020-04-24 21:27:06 · 685 阅读 · 1 评论 -
论文阅读笔记-The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical
文章目录AbstractIntroductionRelated WorkProblem Statement and BackgroundSafety Certification with Lyapunov FunctionsComputing SOS Lyapunov FunctionsLearning Lyapunov CandidatesConstruction of a Neural Net...原创 2020-04-08 19:24:12 · 1489 阅读 · 0 评论 -
论文阅读笔记-Safe Reinforcement Learning via Online Shielding
文章目录AbstractIntroductionPreliminariesAbstract本文关注已知动力模型的情况，目标是验证仿真学到的策略满足一个给定的安全约束。已有的方法收到很多限制-如不可扩展到高维状态空间，且仅能验证固定环境的安全性。本文提出一个基于shielding的方法，当需要的时候用一个候补策略来覆盖学到的策略以保证安全性。本文的策略是一种online的策略，在保证高效的计算效...原创 2020-03-23 17:52:01 · 1587 阅读 · 0 评论