...
机译:使用编码决策图表示逻辑控制器状态空间
UNIWERSYTET ZIELONOGÓ
RSKI, INSTYTUT INFORMATYKI I ELEKTRONIKI;
binarne diagramy decyzyjne OBDD; rekonfigurowane sterowniki logiczne; kodowanie stanów; synteza logiczna; weryfikacja formalna;
机译:逻辑控制器分层规范的模型验证
机译:具有时间确定性软件的多核中央逻辑控制器
机译:网络空间中电磁和工作安全问题的表示
机译:使用灰色系统理论直观解决决策问题