Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties

Zhe Xu, Yi Deng, Agung Julius

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 infer…