上海交通大学学报
上海交通大學學報
상해교통대학학보
JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY
2007年
9期
1551-1555
,共5页
Petri网%离散事件系统%监控%线性不等式约束%Parikh向量
Petri網%離散事件繫統%鑑控%線性不等式約束%Parikh嚮量
Petri망%리산사건계통%감공%선성불등식약속%Parikh향량
针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.
針對關于標識嚮量和Parikh嚮量的一般不等式約束的Petri網控製器實現問題,研究控製對象中存在不可控變遷情況下實現Petri網反饋控製器問題.首先利用Petri網的狀態方程把關于標識嚮量和Parikh嚮量的不等式約束轉變成關于Parikh嚮量的不等式約束,由于Petri網中不可控變遷的存在,故不能直接對給定不等式約束進行控製器設計,需要對不等式約束進行轉換.提齣一種新約束轉換技術把不允許轉變為允許不等式約束,然後設計Petri網反饋控製器.最後將該方法與Iordache等人提齣的方法作比較,實驗結果顯示該方法更簡單、更有效.
침대관우표식향량화Parikh향량적일반불등식약속적Petri망공제기실현문제,연구공제대상중존재불가공변천정황하실현Petri망반궤공제기문제.수선이용Petri망적상태방정파관우표식향량화Parikh향량적불등식약속전변성관우Parikh향량적불등식약속,유우Petri망중불가공변천적존재,고불능직접대급정불등식약속진행공제기설계,수요대불등식약속진행전환.제출일충신약속전환기술파불윤허전변위윤허불등식약속,연후설계Petri망반궤공제기.최후장해방법여Iordache등인제출적방법작비교,실험결과현시해방법경간단、경유효.
