青岛科技大学  English 
赵文仓
赞  

教师拼音名称:zhaowencang

手机版

访问量:

最后更新时间:..

基于微分动态逻辑的液压运动系统的分析与验证

关键字:液压运动系统;;混成系统;;微分动态逻辑

摘要:液压运动系统既包含连续过程也包含离散过程,可以认为是一个混成系统,在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个问题,以经典液压运动系统为例,结合专业知识,用微分方程对整个系统运动过程进行详细描述。结合微分动态逻辑和混成程序建立模型,通过工具KeYmaera来验证所建模型的正确性及液压运动系统运动的安全性。结果表明,所建模型正确,安全性良好。该方法适合应用于此类系统的建模与验证过程。

卷号:v.29;No.126

期号:02

是否译文:

崂山校区 - 山东省青岛市松岭路99号   
四方校区 - 山东省青岛市郑州路53号   
中德国际合作区(中德校区) - 山东省青岛市西海岸新区团结路3698号
高密校区 - 山东省高密市杏坛西街1号   
济南校区 - 山东省济南市文化东路80号©2015 青岛科技大学    
管理员邮箱:master@qust.edu.cn