机译:扩展状态机与应用到子组件和控制器自动推导的象征性细化
Amer Univ Sharjah Coll Engn Sharjah U Arab Emirates;
Univ Ottawa Sch Elect Engn & Comp Sci Ottawa ON Canada;
Requirements/specifications; component design and refinement; discrete event control systems; extended state machines; submodule construction and automatic derivation of a component behavior;
机译:符号控制器综合的反馈细化关系
机译:通过自动平衡时间和空间来完善符号分区
机译:自动调节用于单回路和多回路应用的商用PID控制器
机译:扩展的最小控制综合算法的推导及其在交流电机速度控制中的应用
机译:人行道控制器:从实验和应用中推导到人体结构互动研究
机译:生物植入应用中的功率放大器自动频率控制器:问题和挑战
机译:符号控制器综合的反馈精化关系