论文标题
与空间和时间不确定性观察混合系统观察的时间逻辑推断
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties
论文作者
论文摘要
在本文中，我们提出了一种构建混合系统观察者的机制，以区分混合系统的特定位置。该机制是通过从混合系统中的模拟轨迹中推断公制时间逻辑（MTL）公式设计的。我们首先通过模拟有限的许多轨迹，并用周围的定时管段模拟系统行为。这些时态管段介绍了具有初始状态变化的混合系统中存在的空间和时间不确定性。推断的MTL公式对不同的时光管段进行了分类，因此可用于以可证明正确的方式对混合系统行为进行分类。我们在智能建筑物测试台模型上实施方法，以区分两种房间居住案例。
In this paper, we present a mechanism for building hybrid system observers to differentiate between specific positions of the hybrid system. The mechanism is designed through inferring metric temporal logic (MTL) formulae from simulated trajectories from the hybrid system. We first approximate the system behavior by simulating finitely many trajectories with timerobust tube segments around them. These time-robust tube segments account for both spatial and temporal uncertainties that exist in the hybrid system with initial state variations. The inferred MTL formulae classify different time-robust tube segments and thus can be used for classifying the hybrid system behaviors in a provably correct fashion. We implement our approach on a model of a smart building testbed to distinguish two cases of room occupancy.
