图书/期刊关键词搜索结果：HSCC’13：第16届混合系统国际会议论文集：计算和控制——与关键词搜索查询匹配的新结果（每日更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevance 计算机协会：查询关键字搜索 计算机协会 英语-美国 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站 https://dl.acm.org/doi/abs/10.1145/2461328.2461379？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第343-352页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第343-352页<br/> doi:10.1145/2461328.2461379 2013年4月8日T07:00:00Z 离散时间系统的时序逻辑模型预测控制 343 352 2013年4月8日T07:00:00Z 10.1145/2461328.2461379 https://dl.acm.org/doi/abs/10.1145/2461328.2461379？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461378？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第333-342页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第333-342页<br/> 数字对象标识代码：10.1145/2461328.2461378 2013年4月8日T07:00:00Z 线性系统和安全线性时间时序逻辑的规范引导控制器综合 333 342 2013年4月8日T07:00:00Z 10.1145/2461328.2461378 https://dl.acm.org/doi/abs/10.1145/2461328.2461378？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461374？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第303-312页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第303-312页<br/> 数字对象标识代码：10.1145/2461328.2461374 2013年4月8日07:00:00Z 随机混杂系统规范的控制设计 303 312 2013年4月8日T07:00:00Z 2014年10月14日/24613328.2461374 https://dl.acm.org/doi/abs/10.1145/2461328.2461374？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461366？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第243-252页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第243-252页<br/> doi:10.145/2461328.2461366 2013年4月8日T07:00:00Z 有界状态多模系统的安全可调度性 243 252 2013年4月8日T07:00:00Z 10.1145/2461328.2461366 https://dl.acm.org/doi/abs/10.1145/2461328.2461366？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461343？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合动力系统国际会议论文集：计算与控制，第83-88页<br/> HSCC’13：第16届混合系统国际会议论文集：计算与控制，第83-88页<br/> 数字对象标识代码：10.1145/2461328.2461343 2013年4月8日T07:00:00Z CoSyMA公司 83 88 2013年4月8日T07:00:00Z 10.1145/2461328.2461343 https://dl.acm.org/doi/abs/10.1145/2461328.2461343？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461341？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第73-82页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第73-82页<br/> doi:10.1145/2461328.2461341 2013年4月8日T07:00:00Z 用于混合系统镇定的混合控制lyapunov函数 73 82 2013年4月8日T07:00:00Z 10.1145/2461328.2461341 https://dl.acm.org/doi/abs/10.1145/2461328.2461341？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461340？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第63-72页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第63-72页<br/> 数字对象标识代码：10.1145/2461328.2461340 2013年4月8日T07:00:00Z 基于平方和的碰撞和摩擦刚体系统的Lyapunov分析 63 72 2013年4月8日T07:00:00Z 10.1145/2461328.2461340 https://dl.acm.org/doi/abs/10.1145/2461328.2461340？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/2461328.2461330？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F2461328&content=standard&target=topic&sortBy=relevancey HSCC’13：第16届混合系统国际会议论文集：计算和控制，第1-10页<br/> HSCC’13：第16届混合系统国际会议论文集：计算和控制，第1-10页<br/> 数字对象标识代码：10.1145/2461328.2461330 2013年4月8日T07:00:00Z 基于安全规则的违约控制策略综合 1 10 2013年4月8日T07:00:00Z 10.1145/2461328.2461330 https://dl.acm.org/doi/abs/10.1145/2461328.2461330？af=R&ConceptID=1366&ContentGroupKey=10.1145%2F24611328&content=standard&target=topic&sortBy=相关性