机译:基于监督等效的最大允许监督者的成分综合
Department of Signals and Systems Chalmers University of Technology Göteborg 41296 Sweden;
Department of Computer Science University of Waikato Hamilton New Zealand;
Department of Signals and Systems Chalmers University of Technology Göteborg 41296 Sweden;
Department of Signals and Systems Chalmers University of Technology Göteborg 41296 Sweden;
Discrete event systems; Supervisory control; Finite state automata; Model reduction; Synthesis; Controllability; Nonblocking;
机译:利用监督等价的最大允许监督者的构成综合。
机译:下界约束问题的最大允许无阻塞监督者的综合
机译:范围控制问题的最大允许监督者的综合
机译:利用可达性和Petri网结构分析的最大允许监督者综合
机译:临床监督过程中被监督者焦虑和自我效能的多语种综合:荟萃分析和访谈
机译:最佳的屏障预防措施强化监护和与导管相关的血液感染
机译:利用监督等价的最大允许监督者的构成综合。
机译:具有部分观测的监督综合问题中出现的极值和极大子语言。