基于因果关系的列控系统模型约简方法
来源：同济大学学报·自然科学版杂志2016年第11期北京时间：
作者：周庭梁
单位：同济大学 道路与交通工程教育部重点实验室,卡斯柯信号有限公司,华东师范大学,华东师范大学,同济大学 道路与交通工程教育部重点实验室
摘要：在基于安全需求对验证问题进行投影的方法基础上，针对投影出的验证子问题，提出了基于因果关系的变量约简方法，定义了环境变量间的因果关系，归纳出基本的因果关系组合，并提炼出变量约简规则，通过变量约减减少了验证问题的状态空间.采用国内某地铁线路的相关数据进行建模和验证，结果表明，该方法能够有效降低系统验证复杂度.
关键词：需求验证, 变量约简, 因果关系, 列车运行控制系统
基金资助：国家自然科学基金项目（91418203）
