STL Robustness Risk over Discrete-Time Stochastic Processes

STL Robustness Risk over Discrete-Time Stochastic Processes
复制标题

离散时间随机过程的 STL 鲁棒性风险

DOI:
10.1109/cdc45484.2021.9683305
复制
发表时间:
2021
期刊:
2021 60th IEEE Conference on Decision and Control (CDC
影响因子:
--
通讯作者:
Pappas, George J.
Pappas, George J.
中科院分区:
--
文献类型:
--
作者:
Lindemann, Lars;Matni, Nikolai;Pappas, George J.

文献摘要

参考文献

被引文献

相似文献

信号时态逻辑公式的度量
DOI: --
发表时间: 2018
期刊: IEEE Conference on Decision and Control
影响因子: --
作者:
C. Madsen;P. Vaidyanathan;Sadra Sadraddini;C. Vasile;Nicholas A. DeLateur;Ron Weiss;D. Densmore;C. Belta
通讯作者: C. Belta
安全总比后悔好:风险意识非线性贝叶斯估计
DOI: --
发表时间: 2020
期刊: IEEE International Conference on Acoustics, Speech, and Signal Processing
影响因子: --
作者:
Dionysios S. Kalogerias;Luiz F. O. Chamon;George Pappas;Alejandro Ribeiro
通讯作者: Alejandro Ribeiro
时间一致、风险敏感的模型预测控制框架:理论和算法
DOI: --
发表时间: 2019
影响因子: 6.8
作者:
Sumeet Singh;Yinlam Chow;Anirudha Majumdar;M. Pavone
通讯作者: M. Pavone
DOI: 10.1145/3127041.3127045
发表时间: 2017
期刊: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
影响因子: --
作者:
Jiwei Li;P. Nuzzo;A. Sangiovanni;Y. Xi;Dewei Li
通讯作者: Dewei Li
不确定性下的规范挖掘与鲁棒设计
DOI: 10.1145/3358231
发表时间: 2019
期刊: ACM Transactions on Embedded Computing Systems (TECS)
影响因子: --
作者:
Panagiotis Kyriakis;Jyotirmoy V. Deshmukh;P. Bogdan
通讯作者: P. Bogdan