搜索筛选:
搜索耗时1.7624秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：罗来豹,
来源：合肥工业大学 年份：2010
混杂系统是连续变量动态系统和离散事件动态系统相结合，并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研究方向，它是分析在给定的初始条件下，系统的可......
[期刊论文] 作者：罗来豹,方敏,刘震,
来源：合肥工业大学学报：自然科学版 年份：2010
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精...
[期刊论文] 作者：刘震,方敏,罗来豹,李加良,,
来源：合肥工业大学学报(自然科学版) 年份：2010
文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的...
[会议论文] 作者：方敏,李辉,罗来豹,张雅顺,
来源：第29届中国控制会议 年份：2010
混杂系统的形式验证中，确定近似商迁移系统的迁移关系，需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点，结合凸多面体的性质，给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性定常时，系统可达集的演化规律并加以证明。依据这......
相关搜索：
