Sampled-Data Event Contro1 of Hybrid Systems for Contro1 Specifications Given by Predicate
Sampled-Data Event Contro1 of Hybrid Systems for Contro1 Specifications Given by Predicate
复制标题
由谓词给出的 Contro1 规范的混合系统的采样数据事件 Contro1
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Yoshiyuki Tsuchie
中科院分区：
文献类型：
--
作者：
Shigemasa Takai;Yusuke Oka;Naoki Hayashi;Fumiko Harada;Yoshiyuki Tsuchie
具有时钟和非时钟事件的混合系统的建模和验证
DOI：
10.1109/cdc.2001.980198
发表时间：
2001
期刊：
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
影响因子：
--
作者：
B. I. Silva;B. Krogh
通讯作者：
B. Krogh