位置：立项数据库 > 立项详情页
序状Petri网理论及其应用研究
  • 项目名称：序状Petri网理论及其应用研究
  • 项目类别：青年科学基金项目
  • 批准号：60503027
  • 申请代码：F020101
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：董利达
  • 负责人职称：副教授
  • 依托单位：浙江大学
  • 批准年度：2005
中文摘要：

由于Petri网具有形象直观、数学定义严格和通用性强等特点，已经引入到实时交通调度、通信网络调度、计算机集成制造、并发计算调度等实时监控调度系统研究领域。一般说来，实时性能是实时监控调度系统最重要的性能指标之一，而它在很大程度上取决于监控调度算法的计算复杂性。目前，普遍适用的监控调度算法是基于可达性分析技术的，它是一个NP-Hard问题，很难满足监控调度系统的实时性要求。为此，研究工作者针对某些监控系统的特殊结构例如状态机、标识图等提出了许多具有良好计算性能的调度算法。然而，当前学术界尚未很好解决的普遍存在的不可控子网为序状Petri时的监控调度问题。本课题将首先研究序状Petri网（它是无环网的超集）的结构特点、分析方法和分析工具,以填补现有Petri网理论的空白之处；在此基础上，针对不可控子网为序状Petri网，研究出新型具有良好计算性能的监控调度算法。

中文主题词： Petri网;离散事件系统;调度控制
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 35
  • 15
  • 0
  • 0
  • 0
期刊论文
Network-induced delay-dependent robust guaranteed cost control of network control system with uncert
On dynamics analysis of a new chaotic attracto
一种在非视距环境中的移动节点定位方法
一类动态系统可靠D-稳定性条件-LMI方法
Adaptive SVR image compression with block segmentation
基于CDMA/GPRS/RADIO技术的无线环境监控终端设计
具有方差和区域极点约束的不确定线性系统鲁棒输出反馈控制
Petri net cascade decomposition for reachability analysis and supervisory control
Delay-dependent robust stabilization for uncertain singular systems with discrete and distributed delays
Delay-dependent Robust Singular Systems Stabilization for Uncertain with State Delay
基于小波域多尺度积的心音去噪方法
上证综合指数VaR度量的比较研究
一个Unified系统与Rossler系统的三角函数组合研究
两个修改的统一混沌系统之间的投影错位同步研究
Structure and design method for pulse-triggered flip-flops at switch level
Low power and high speed explicit-pulsed double-edge triggered level converting flip-flop
一个修改的统一混沌系统的反馈同步
Lü系统的线性混合双（单）向耦合混沌同步
结合PCA和JADE的EEG眼电伪迹去除研究
ABAC策略语义表示和决策方法
基于TSTWT网系统的显式控制器设计
一类含T-图环结构受控网显式控制器设计
基于工作流的安全库所替换网特性研究
能够克服局部NLOS影响的自主移动节点定位方法
脑电信号中工频干扰去除的综合研究
Delay-dependent robust stabilization for uncertain singular systems with state delay
基于随机赋时Petri网的车辆交通系统建模与仿真
基于Petri网的车辆交通实时调度研究
一类离散事件系统的监控器综合
针对有限禁止状态的petri网控制器综合
Support vector machine with adaptive parameters in image coding
Delay-dependent robust  control for uncertain singular time-delay systems
Delay-dependent robust stabilization for uncertain singular systems with discrete and distributed de
Petri网的一类禁止状态问题的混合型监控器算法设计
基于位姿评估的无线传感器网络自主移动节点定位技术
会议论文
Guaranteed Cost Control for Uncertain Singular System with Markovian Jumping Parameters
Manipulative Approaches of Lyapunov Function for Stochastic Systems with Time-Delay
An error-resilient coding scheme for still color image wireless transmission in industrial environme
New results on delay-dependent robust H-infinity output feedback control for uncertain system with t
A free-weighting matrices technique for stochastic stability analysis of uncertain singular system w
Delay-Dependent Robust H-Infinity Control for Uncertain Stochastic Systems with State Delay and Para
Stochastic stability analysis for uncertain singular system with Markovian jumping parameters
New condition of delay-dependent robust H-infinity stability for uncertain singular system
Delay-dependent robust H-infinity stability for uncertain discrete-time singular system
Normalized cascade structures and logic control
Robust H-infinity control with alpha-stability constraints for uncertain delay singular systems
Robust D-stability analysis for uncertain singular system
Delay-dependent robust  control for uncertain stochastic systems
Delay-Dependent Robust H∞ Stability and Stabilization for Uncertain Singular System
Delay-dependent stochastic stability of uncertain discrete-time Markovian jump singular system
相关项目
离散事件系统的监督控制重构及其优化方法的研究
期刊论文 14 会议论文 7 专利 1
混杂自控网系统理论与应用研究
期刊论文 10 专利 4
基于Petri网的柔性制造系统高效的死锁预防控制策略的研究
期刊论文 26 会议论文 8
基于广域网的新一代电力远动系统关键问题的研究
期刊论文 29 会议论文 8
基于线性约束等价分解简化的Petri网控制器设计
期刊论文 19 会议论文 2 获奖 2 专利 1
基于资源约束Petri网的过程建模与集成方法
期刊论文 6 获奖 1
基于Petri网的离散事件系统活性监控理论
期刊论文 10 会议论文 5
基于面向资源Petri网的一类可重构制造系统的建模和运行控制
期刊论文 16 会议论文 5 著作 1
跨组织协同工作流挖掘的Petri网融合机理与保性控制技术研究
期刊论文 32 会议论文 15 获奖 22
董利达的项目