metric temporal logic; formal verification; flexible manufacturing systems; micro- and macro-steps; non-standard analysis;
机译:柔性制造系统的建模与验证分析:模态逻辑方法
机译:原型验证系统中度量间隔时间逻辑公式的定时自动机
机译:柔性制造系统的自动形式验证
机译:具有公制时间逻辑和非标准分析的柔性制造系统的模块化自动验证
机译:用于逻辑控制的模块化有限状态机:理论,验证和可重构制造系统的应用。
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:跟踪系统的时间逻辑:自动验证