Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings

Zhe Xu, Yi Deng, Agung Julius

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Fingerprint

Dive into the research topics of 'Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings'. Together they form a unique fingerprint.

Engineering & Materials Science