Real life business processes change over time, in both planned and unexpected ways. The detection of these changes is crucial for organizations to ensure that the expected real behavior are as similar possible. These time called concept drift its a big challenge process mining since inherent complexity data makes difficult distinguishing between an anomalous execution. In this paper, we present...

The potential crosslinking of three types nitrogen-containing functionalized silica (TAAcONa, guanidine, and triamine) with polyacrylamide (PAM) has been investigated. Only triamine was able to crosslink PAM, producing barely flowing gel storage modulus around 700 Pa. Micro differential scanning calorimeter (?DSC) analysis illustrated exothermic peaks indicating PAM polyethyleneimine (PEI), ons...

Abstract The production of excess water during oil recovery creates not only a major technical problem but also an environmental and cost impact. This increasing has forced companies to reconsider methods that promote increase in decrease production. Many techniques have been applied over the years reduce cut, with application chemicals being one them. Chemicals such as polymer gels widely succ...

In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathematical analysis of the model, control synthesis, faster simulation etc. Furthermore, when (automatically or manually) transitioning from a model to its implementation on an actual computational platform, then again two d...

Traditional quality control methods identify "variation" as the enemy. However, the control of variation by itself can never achieve the remarkably low non-conformance rates of world class quality leaders. Because the control of variation does not achieve the highest levels of quality, an inordinate focus on these techniques obscures key quality improvement opportunities and results in unnecess...

Process mining is a family of techniques that aim at analyzing business process execution data recorded in event logs. Conformance checking is a branch of this discipline embracing approaches for verifying whether the behavior of a process, as recorded in a log, is in line with some expected behavior provided in the form of a process model. Recently, techniques for conformance checking based on...

The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of realvalued, real-timed trajectories, is used to determine a lower bound on the distance....

Process mining is not restricted to process discovery and also includes conformance checking, i.e., checking whether observed behavior recorded in the event log matches modeled behavior. Many organizations have descriptive or normative models that do not adequately describe the actual processes. Therefore, a variety of techniques for conformance checking have been proposed. However, all of thes...