作者: Ahmad Reza Shehabinia , Liyong Lin , Rong Su , Chin Soon Chong
DOI: 10.3182/20140514-3-FR-4046.00139
关键词:
摘要: Abstract In this paper, we study the problem of supervisor synthesis for a class discrete event systems optimal throughput based on timed modelling formalism. First, language-based definition concept is presented. Then, formulate with both logic correctness and time-related performance objective, namely throughput. After show existence supremal controllable sublanguage maximum minimum transient makespan, an algorithm provided to compute such supervisor.