中国科学技术信息研究所--国家工程技术数字图书馆

System Analysis With Signal Temporal Logic: Monitoring, Motion Planning, and Data Mining

[学位论文]

Yan, Ruixuan.
Rensselaer Polytechnic Institute.

原文获取收藏分享

ISBN	9798379613471
作者	Yan, Ruixuan.	授予学位单位	Rensselaer Polytechnic Institute.
导师	Julius, Agung	学位	Ph.D.
学科	Electrical engineering. Computer engineering. Systems science.	国籍	US
页码/总页数	240 p. / 240	出版年	2023
中图分类号	TN, N94
关键词	Signal Temporal Logic Data mining System analysis Motion planning

相关论文

Thermal-Hydraulic System Analysis of a Proposed 1 MWth Nuclear Gas Cooled Microreactor

Decision-Making and Control of an Autonomous Agent in Interaction with Partially-Known Agents

An STL-Based Resilience Formulation and Control for Cyber-Physical Systems

Probabilistic Verification and Synthesis for Temporal Logic Robot Tasks

Safety Assurance of Autonomous Learning-Enabled Cyber Physical Systems

相关机构

University of South Carolina.

University of Delaware.

State University of New York at Stony Brook.

Cornell University.

Vanderbilt University.

相关关键词