Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools

Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
复制标题

动力系统的假设/保证合同：理论和计算工具

DOI：
--
复制
发表时间：
2020
期刊：
IFAC Conference on Analysis and Design of Hybrid Systems
影响因子：
--
通讯作者：
K. Johansson
K. Johansson
中科院分区：
--
文献类型：
--
作者：
Miel Sharf;B. Besselink;A. Molin;Qiming Zhao;K. Johansson

文献摘要

被引文献

相似文献