School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan;
Department of Computing and Software, McMaster University, Hamilton, Canada;
School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan;
Autonomous driving; Platoon control Formal verification;
机译:自动驾驶汽车排的正式验证
机译:联网自动驾驶汽车排的合并策略,轨迹规划和控制
机译:基于事件触发控制策略的自主车辆容错排载压力
机译:正式验证排控制策略
机译:对排中的车辆进行效率驱动的攻击:本地车辆控制,排控制策略和传动系统技术注意事项。
机译:网络物理系统中控制模块的正式验证
机译:自动驾驶汽车排的正式验证
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术