Grid-Based Temporal Logic Inference

Vaidyanathan, P; Ivison, R; Bombara, G; DeLateur, NA; Weiss, R; Densmore, D; Belta, C

Vaidyanathan, P (reprint author), Boston Univ, Elect & Comp Engn Dept, Boston, MA 02215 USA.

2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017; ( ):

Abstract

This paper introduces a new algorithm to infer temporal logic properties of a system from data consisting of a set of finite time system traces. We pr......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索