排序方式: 共有2条查询结果,搜索用时 171 毫秒
1
1.
提出的弱引发三态加时变迁Petri网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题 相似文献
2.
该文考虑结构不确定性广义系统的鲁棒稳定性分析及鲁棒控制问题。目的是提出该类系统的鲁棒稳定性条件及鲁棒状态反馈控制律的存在条件。该文利用矩阵测度的概念,提出了一种新的鲁棒稳定性分析方法,分析表明,所得的鲁棒稳定性条件保证广义自治系统对所有容许的不确定性都正则,无脉冲且稳定;并由此得到了由状态反馈作用的鲁棒控制律存在的充分条件;最后给出了鲁棒稳定性分析算例。 相似文献
1