喵ID：7o07kN免责声明

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs

线性随机系统的预测运行时监控及其在无人机地理围栏执法中的应用

基本信息

DOI：
10.1007/978-3-030-32079-9_20
发表时间：
2019
期刊：
Lecture notes in computer science
影响因子：
--
通讯作者：
Sankaranarayanan, Sriram
中科院分区：
文献类型：
--
作者： Yoon, Hansol;Chou, Yi;Chen, Xin;Frew, Eric;Sankaranarayanan, Sriram研究方向： -- MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址

文献摘要

参考文献（32）
被引文献（18）
Shield synthesis
护盾合成
DOI：
10.1007/978-3-319-49052-6_9
发表时间：
2017
期刊：
Formal methods in system design
影响因子：
0.8
作者：
Alshiekh, Mohammed;Bloem, Roderick;Humphrey, Laura;Topcu, Ufuk;Wang, Chao
通讯作者：
Wang, Chao
Specification and evaluation of geofence boundary violation detection algorithms
DOI：
10.1109/icuas.2017.7991472
发表时间：
2017-06
期刊：
2017 International Conference on Unmanned Aircraft Systems (ICUAS)
影响因子：
0
作者：
Mia N. Stevens;H. Rastgoftar;E. Atkins
通讯作者：
Mia N. Stevens;H. Rastgoftar;E. Atkins
C2E2: a tool for verifying annotated hybrid systems
C2E2：用于验证带注释的混合系统的工具
DOI：
发表时间：
2015
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
0
作者：
Parasara Sridhar Duggirala;Matthew Potok;S. Mitra;Mahesh Viswanathan
通讯作者：
Mahesh Viswanathan
Decomposed Reachability Analysis for Nonlinear Systems
DOI：
10.1109/rtss.2016.011
发表时间：
2016-01-01
期刊：
PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
影响因子：
0
作者：
Chen, Xin;Sankaranarayanan, Sriram
通讯作者：
Sankaranarayanan, Sriram
Scalable Stochastic Reachability: Theory, Computation, and Control
可扩展随机可达性：理论、计算和控制
DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Abraham P. Vinod
通讯作者：
Abraham P. Vinod

数据更新时间：{{ references.updateTime }}

关联基金

SHF: Small: Rigorous Synthesis and Verification of Decisions Using Data-Driven Models
批准号：
1815983
批准年份：
2018
资助金额：
49.96
项目类别：
Standard Grant
Sankaranarayanan, Sriram
通讯地址:
--
所属机构:
--
电子邮件地址：
--
免责声明免责声明
1、猫眼课题宝专注于为科研工作者提供省时、高效的文献资源检索和预览服务；
2、网站中的文献信息均来自公开、合规、透明的互联网文献查询网站，可以通过页面中的“来源链接”跳转数据网站。
3、在猫眼课题宝点击“求助全文”按钮，发布文献应助需求时求助者需要支付50喵币作为应助成功后的答谢给应助者，发送到用助者账户中。若文献求助失败支付的50喵币将退还至求助者账户中。所支付的喵币仅作为答谢，而不是作为文献的“购买”费用，平台也不从中收取任何费用，
4、特别提醒用户通过求助获得的文献原文仅用户个人学习使用，不得用于商业用途，否则一切风险由用户本人承担；
5、本平台尊重知识产权，如果权利所有者认为平台内容侵犯了其合法权益，可以通过本平台提供的版权投诉渠道提出投诉。一经核实，我们将立即采取措施删除/下架/断链等措施。
我已知晓