随着系统复杂性的提高和系统规模的扩大，单一使用连续动态系统理论或离散事件系统理论来描述系统模型，不足以完整表征系统变化。现实......

本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件......

应用统一建模语言UML与模型检验工具PHAVer（Polyhedral Hybrid Automaton verifier）相结合的方法,研究CTCS-3级列控系统RBC控车场景：......