ISBN | 9798380169424 | ||
---|---|---|---|
作者 | Chen, Hongkai. | 授予学位单位 | State University of New York at Stony Brook. |
导师 | Lin, Shan | 学位 | Ph.D. |
学科 | Electrical engineering. Computer science. Computer engineering. | 国籍 | US |
页码/总页数 | 108 p. / 108 | 出版年 | 2023 |
中图分类号 | TN, TP | ||
关键词 | Cyber-Physical Systems Resilience Resilience formulation Resilient control Signal Temporal Logic |