基于信号时序逻辑规范的动态系统模型预测监测
摘要
出版物: -
arXiv电子打印 发布日期: 2022年9月 内政部: -
10.48550/arXiv.2209.12493 arXiv: -
arXiv公司:2209.12493 书目代码: -
2022arXiv220912493Y 关键词: -
电气工程与系统科学-系统与控制; 计算机科学-形式语言和自动机理论
电子打印: 本论文被Automatica接受。 arXiv管理说明:大量文本与arXiv重叠:2203.16267