区域可达相关论文
近日，吉林市农委植物保护检疫站调查发现，在永吉县口前镇、双河镇和北大壶镇山区坡地和平原低洼地区的高岗、堤田埂、地头发生不同程......
用时间自动机验证一个有穷状态实时系统的正确性,可归结为判定两个时间正则语言的包含问题,亦可归结为判定两个时间正则语言的交是......
这里所探讨的问题是离散线性系统的多变量受限控制问题。对于系统 X<sub>k+1</sub>=AX<sub>k</sub>+BU<sub>k</sub> U<sub>k</sub>......
