位置：成果数据库 > 会议 > 会议详情页
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets
  • 所属机构名称：西安电子科技大学
  • 会议名称：10th IEEE International Conference on Control and Automation (IEEE ICCA)
  • 时间：2013.6.1
  • 成果类型：会议
  • 相关项目：自动制造系统的Petri网控制器设计及优化
同会议论文项目
自动制造系统的Petri网控制器设计及优化
期刊论文 12 会议论文 19
同项目会议论文
Supervisor design and simplification for automated manufacturing systems using colored Petri nets
A synthesis-centric model-based systems engineering framework for reliable supervision of systems wi
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?
Distributed supervisor synthesis for automated manufacturing systems using Petri nets
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets
Robust supervisor synthesis for automated manufacturing systems using Petri nets
Maximally permissive distributed control of automated manufacturing systems with assembly operations
A Petri net-based distributed control of automated manufacturing systems with assembly operations
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and mu
A comparative approach to supervisor simplification in automated manufacturing systems using Petri n
Robust deadlock control using shared-resources for production systems with unreliable workstations
One computationally improved deadlock prevention policy for flexible manufacturing systems using Pet
A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri
Supervisors and their simplification in automated manufacturing systems via Petri nets
Time-varying automated manufacturing systems and their event-based control: A Petri net approach
Maximally permissive distributed control of large scale automated manufacturing systems modeled with
An approach to specification simplification in automated manufacturing systems using invariance and