Monitoring piecewise continuous behaviors by refining semi-quantitative trackers
Bernhard Rinner, Benjamin J. Kuipers · 1999
We present a model-based monitoring method for dynamic systems that exhibit both discrete and continuous behaviors. MIMIC [ Dvorak and Kuipers, 1991 ] uses qualitative and semiquantitative models to monitor dynamic systems even with incomplete knowledge. Recent advances have improved the quality of semi-quantitative behavior predictions, used observations to refine static envelopes around monotonic functions, and provided a semiquantitative system identification method. Using these, we reformulate and extend MIMIC to handle discontinuous changes between models. Each hypothesis being monitored is embodied as a tracker, which uses the observation stream to refine its behavioral predictions, its underlying model, and the time uncertainty of any discontinuous transitions. keywords: model-based monitoring; model refinement, hybrid systems 1 Introduction Physical systems are by nature continuous. However, it is natural to simplify models by abstracting isolated regions o...