高维线性系统安全验证的降阶抽象
摘要
出版物: -
arXiv电子打印 发布日期: 2016年2月 内政部: -
10.48550/arXiv.1602.06417 arXiv公司: -
arXiv:1602.06417 书目代码: -
2016arXiv160206417T 关键词: -
计算机科学-系统与控制
电子打印: 离散事件动态系统的初步审查版本