位置：成果数据库 > 期刊 > 期刊详情页
Approach for Transforming Linear Constraints on Petri Nets
  • ISSN号：0018-9286
  • 期刊名称：IEEE TRANSACTIONS ON AUTOMATIC CONTROL
  • 时间：0
  • 页码：2745-2759
  • 相关项目：基于线性约束等价分解简化的Petri网控制器设计
作者： Luo, Jiliang|Nonami, Kenzo|
同期刊论文项目
基于线性约束等价分解简化的Petri网控制器设计
期刊论文 19 会议论文 2 获奖 2 专利 1
同项目期刊论文
基于相似度动态修正的冲突证据组合方法
Fast Learning in Spiking Neural Networks by Learning Rate Adaptation
Maximally permissive supervisor synthesis based on a new constraint transformation method
连续计时离散事件系统监控及其可观性
基于关联矩阵代数运算的逻辑型监控器设计
间歇式化工形式化建模与顺序控制器设计
随机计时离散事件系统的软控制任务研究
基于网结构分解的Petri网分散监控器设计
离散事件系统的无死锁分散监控
基于LPV模型的鲁棒PI控制方法
利用Petri网特征结构的故障诊断方法
PLC程序形式化的设计与验证