摘要
基于过程运行的离散标识(逻辑变量)和剩余时间连续标识(时间变量),提出一种新的混合标识过程/变迁网——变计时过程/变迁网模型.基于该模型,混杂动力学系统离散事件的实时监控、连续子过程的实时调度等问题可得到有效解决.
Based on process running discrete mark (logic variables) and process running remanent time (time variables), a new model of process/transition Petri nets with mixed-mark, named time-varied process/transition Petri nets, is proposed. Many problems of hybrid dynamics systems, such as the integrated modeling of continuous sub-processes, the coupling and joining between discrete variables and continuous states, the real-time supervisory control of discrete events, the real-time scheduling of continuous sub- processes, etc. can be solved effectively with this model.
出处
《控制与决策》
EI
CSCD
北大核心
2004年第11期1275-1277,1281,共4页
Control and Decision
基金
国家自然科学基金资助项目(60274027).
关键词
变计时过程/变迁网
混杂动力学系统
实时监控
实时调度
过程控制
time-varied process/transition Petri net
hybrid dynamics system
real-time supervisory control
real-time scheduling
process control