Traffic networks; linear temporal logic; piecewise affine dynamical systems; ramp metering;
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:基于时间逻辑规范的交通网络控制
机译:针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
机译:线性时间逻辑规范中的高速公路交通控制
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:高速公路网络协调交通控制与路径引导的优化方法
机译:1来自时态逻辑规范的流量网络控制