13引文
离散时间网络的数据驱动安全验证:一种组合方法
2022
不确定线性系统正则性控制器的形式化综合:一种基于集合的方法
2024
控制势垒函数的验证与综合
2021
根据欧米茄常规规格进行控制器合成:基于漏斗的控制方法
2024
基于集合的不确定线性控制系统ω-正则性控制器综合方法
2022
随机混合系统的自动验证与综合:综述
2021
使用控制屏障证明满足线性时间逻辑约束的必要和充分条件
56参考文献
从小收益理论到大尺度随机系统障碍证书的合成构造
2022
大规模随机切换系统控制障碍证书的组合构造
2020
基于控制屏障证书的随机系统的形式化综合
2021
互联控制系统控制屏障功能的组合构造
2020
基于松弛小增益条件的大尺度随机系统合成验证
2019