in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

extended kalman filtering (ekf) is a nonlinear dynamic data reconciliation (nddr) method. one of its main advantages is its suitability for on-line applications. this paper presents an on-line nddr method using ekf. it is implemented for two case studies, temperature measurements of a distillation column and concentration measurements of a cstr. in each time step, random numbers with zero mean ...