连续控制混合自动机
DSpace/Manakin存储库
连续控制混合自动机
Bergstra,J.A。;
加利福尼亚州米德尔堡。
(2004)《计算科学报告》,第04/11卷,第1-53页
(文章)
摘要
我们研究了Bergstra和Middelburg混合系统的过程代数与
Henzinger等人的混合自动机。我们给出了混合系统过程代数中混合自动机的解释,并将其与混合自动机作为时间转换的标准解释进行了比较
…阅读更多
系统。
我们还将同步产品运营商与混合
自动机到进程代数的并行组合运算符。
结果表明,混合自动机的形式化与混合系统的过程代数片段紧密匹配。
我们提出了一种混合自动机形式的改编,它可以产生精确的匹配。
显示较少
下载/全文
通过乌得勒支大学知识库的开放访问版本
关键词:混合系统,混合自动机,混合过渡系统,定时过渡系统,过程代数,连续相对定时,连续控制
国际标准编号:0926-4515
出版商:埃因霍温理工大学
请参见
更多统计信息
关于此项目