欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
立项数据库
> 立项详情页
基于逻辑动态系统的代数状态空间理论的Petri 网系统建模及分析
项目名称:基于逻辑动态系统的代数状态空间理论的Petri 网系统建模及分析
项目类别:面上项目
批准号:61573199
项目来源:国家自然科学基金
研究期限:1900-01-01-1900-01-01
项目负责人:陈增强
依托单位:南开大学
批准年度:2015
成果综合统计
成果类型
数量
期刊论文
会议论文
专利
获奖
著作
5
0
0
0
0
期刊论文
一类Petri网系统建模与可达性分析的STP方法
带有同步变迁的有界Petri网系统的建模及可达性分析
带有未知参数和通讯时延的多智能体蜂拥控制
Algebraic state space approach to model and control combined automata
Petri网信标和陷阱计算的矩阵半张量积方法
陈增强的项目
基于群体智能的复杂系统建模分析与协同控制研究
期刊论文 52
会议论文 6
非线性多智能体系统的分布式输出调节控制研究
期刊论文 98
会议论文 24
超混沌理论及在数字喷泉码中的应用研究
期刊论文 13
基于定量反馈理论(QFT)的预测控制系统的分析设计与应用
期刊论文 98
会议论文 13