罗来豹
- 作品数:5 被引量:3H指数:1
- 供职机构:合肥工业大学电气与自动化工程学院更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 混杂系统验证中商迁移系统迁移关系的简化算法
- 混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点,结合凸多面体的性质,给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性定常时,系统可达...
- 方敏李辉罗来豹张雅顺
- 关键词:混杂系统
- 文献传递
- 混杂系统验证中可达集过近似方法的研究
- 混杂系统是连续变量动态系统和离散事件动态系统相结合,并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研究方向,它是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。形式验证的目的是检验混杂系...
- 罗来豹
- 关键词:混杂系统凸多面体离散事件动态系统计算复杂度
- 文献传递
- 混杂系统验证中商迁移系统迁移关系的简化算法
- 混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点,结合凸多面体的性质,给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性定常时,系统可达...
- 方敏李辉罗来豹张雅顺
- 关键词:混杂系统线性定常温度控制
- 文献传递
- 常压炉加热系统形式建模的验证
- 2010年
- 文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压炉加热系统设定的燃料流量是否满足生产工艺要求;经多次验证,最终得到了燃料流量的取值范围。
- 刘震方敏罗来豹李加良
- 关键词:常压炉混合自动机
- 形式验证中近似流管道的算法研究被引量:2
- 2010年
- 混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多面体2种状态可达集近似表示方法进行了分析比较,结合2种方法的优点提出了流管道过近似混合算法以降低保守性和提高运算速度;最后在Matlab环境下实现了混合算法并且验证了1个分段非线性系统实例,验证结果显示了所提混合算法的有效性。
- 罗来豹方敏刘震
- 关键词:可达集凸多面体