总体而言，本文提出了面向信息物理系统的不确定性时空建模语言SELus。针对信息物理系统中存在的不确定性行为以及时空属性，它能够很好地对该类特性进行描述和建模。SELus的语义与Lustre以及其它同步语言保持一致，文中给出了SELus的抽象语法并解释了其语义。之后，本文使用SELus描述了自动驾驶变道系统和转向控制系统，并且对其时空属性进行了量化分析。在这个过程中，具体说明了SELus语言的使用方法和建模能力。结果表明，SELus能够有效地表达信息物理系统中的不确定性行为和时空属性。
参考文献（略）
