机译:将Simulink模型转换为IEC 61499功能块,以验证分布式控制系统
University of Auckland, Electrical and Computer Engineering, Level 2, Science Centre, 38 Princes Street, Auckland 1041, New Zealand;
University of Auckland, Electrical and Computer Engineering, Level 2, Science Centre, 38 Princes Street, Auckland 1041, New Zealand;
simulation; distributed systems; IEC 61499; MATLAB simulink; function blocks;
机译:使用IEC 61499功能块重新设计分布式PLC控制系统
机译:使用IEC 61499功能块的医疗设备的即插即用设计和分布式逻辑控制
机译:从IEC61131到IEC61499的嵌入式控制和自动化中的功能块模型
机译:IEC 61499功能块的正式建模与验证在过渡系统的基础上
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:自我控制的病例系列研究以验证坚持β-受体阻滞剂在心肌梗死二级预防中的作用
机译:错误:用抽象状态机和SMV执行语义的IEC61499功能块的正式建模和验证