In today's business environment in which coordination and adaptation with constant changes are the only ways of survival, real-time monitoring of activities and making the decisions accordingly are necessary. Since performance measurement cannot be managed independent of business processes, Business Activity Monitoring (BAM) systems should monitor performance metrics based on business processes...

Building performance simulation is being increasingly deployed beyond the building design phase to support efficient building operation. Specifically, the predictive feature of the simulation-assisted building systems control strategy provides distinct advantages in view of building systems with high latency and inertia. Such advantages can be exploited only if model predictions can be relied u...

We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the...

in the current age, the importance of using knowledge as a tool for creativity and innovation at national level is considerable. furthermore, it would be taken into consideration as strategic need in the competition among different countries. hence in this paper, a new knowledge strategic management framework was developed with emphasizing on knowledge based innovation, upon up studying knowled...

Industrial process plants such as chemical reener-ies and electric power generation are examples of continuous-variable dynamic systems (CVDS) whose operation is continuously monitored for abnormal behavior. CVDSs pose a challenging diagnostic problem in which values are continuous (not discrete), relatively few parameters are observable , parameter values keep changing, and diagnosis must be p...

The development of component-based software systems opens the possibility of using model-based diagnosis techniques for large software systems. We have developed a simple monitoring system based on the modeling of the external behavior of software components by Petri nets. With each component is associated a local controller which observes the messages received and sent by the component and com...

Huge financial databases may contain terabytes of data and have truly industrial dimensions. Since the quality of conclusions drawn using the data depends primarily on the information quality, the data has to be to monitored using appropriate methods. This paper discusses statistical model-based methods, including process monitoring approaches, applied with respect to the aggregated data, as we...

We design a leak detection system consisting of an adaptive Luenbergertype observer based on a set of two coupled one dimensional first order nonlinear hyperbolic partial differential equations governing the flow dynamics. It is assumed that measurements are only available at the inlet and outlet of the pipe, and output injection is applied in the form of boundary conditions. Heuristic update l...