信号时序逻辑相关论文
随着信息物理融合系统（CPS）日益复杂，很难捕获其相关行为并以一种可解释的方式检测它。因此本文提出了一种基于线性支持向量机（LSVM）框......
时序逻辑可通过提供丰富的规范语言来确保系统对任务规范的准确描述和执行。本文使用相关的鲁棒语义来分析信号时序逻辑规范片段下......
近年来,嵌入式软件被广泛应用在一些安全关键领域中,嵌入式软件的需求也日益复杂,其中最为关键的就是需求中包括的实时规范。传统......
在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高。提出了一种终点回溯的规划方法,它是一种适用于连续时间系......
