Robust Temporal Logic Inference for Hybrid System Observation– An Application on Occupancy Detection of Smart Buildings | IEEE Conference Publication | IEEE Xplore