Models of Behavior Deviations in Model-based Systems. In:

Abstract. Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model-based systems, one tries to capture this kind of inferences by models that describe how such deviations are emerging and propagated through a system. Several techniques and systems have been developed that address this issue, in particular in the area of qualitative modeling. However, to our knowledge, a rigorous mathematical foundation and a "recipe" for how to construct such compositional deviation models has not been presented in the literature, despite the widespread use of the idea and the techniques. In this paper, we present a general mathematical formalization of deviation models. Based on this, aspects of constructing libraries of deviation models, their properties, and their application in consistency-based diagnosis and prediction-based FMEA in a componentoriented framework are analyzed

Log-based Evaluation of Label Splits for Process Models

Process mining techniques aim to extract insights in processes from event logs. One of the challenges in process mining is identifying interesting and meaningful event labels that contribute to a better understanding of the process. Our application area is mining data from smart homes for elderly, where the ultimate goal is to signal deviations from usual behavior and provide timely recommendations in order to extend the period of independent living. Extracting individual process models showing user behavior is an important instrument in achieving this goal. However, the interpretation of sensor data at an appropriate abstraction level is not straightforward. For example, a motion sensor in a bedroom can be triggered by tossing and turning in bed or by getting up. We try to derive the actual activity depending on the context (time, previous events, etc.). In this paper we introduce the notion of label refinements, which links more abstract event descriptions with their more refined counterparts. We present a statistical evaluation method to determine the usefulness of a label refinement for a given event log from a process perspective. Based on data from smart homes, we show how our statistical evaluation method for label refinements can be used in practice. Our method was able to select two label refinements out of a set of candidate label refinements that both had a positive effect on model precision.Comment: Paper accepted at the 20th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, to appear in Procedia Computer Scienc

WK-FNN DESIGN FOR DETECTION OF ANOMALIES IN THE COMPUTER NETWORK TRAFFIC

Anomaly-based intrusion detection systems identify abnormal computer network traffic based on deviations from the derived statistical model that describes the normal network behavior. The basic problem with anomaly detection is deciding what is considered normal. Supervised machine learning can be viewed as binary classification, since models are trained and tested on a data set containing a binary label to detect anomalies. Weighted k-Nearest Neighbor and Feedforward Neural Network are high-precision classifiers for decision-making. However, their decisions sometimes differ. In this paper, we present a WK-FNN hybrid model for the detection of the opposite decisions. It is shown that results can be improved with the xor bitwise operation. The sum of the binary “ones” is used to decide whether additional alerts are activated or not

Measurement-induced criticality and entanglement clusters: A study of one-dimensional and two-dimensional Clifford circuits

Entanglement transitions in quantum dynamics present a novel class of phase transitions in nonequilibrium systems. When a many-body quantum system undergoes unitary evolution interspersed with monitored random measurements, the steady state can exhibit a phase transition between volume- and area-law entanglement. There is a correspondence between measurement-induced transitions in nonunitary quantum circuits in d spatial dimensions and classical statistical mechanical models in d + 1 dimensions. In certain limits these models map to percolation, but there is analytical and numerical evidence to suggest that away from these limits the universality class should generically be distinct from percolation. Intriguingly, despite these arguments, numerics on 1 + 1 D qubit circuits give bulk exponents which are nonetheless close to those of 2D percolation, with some possible differences in surface behavior. In the first part of this work we explore the critical properties of 2 + 1 D Clifford circuits. In the bulk, we find many properties suggested by the percolation picture, including several matching bulk exponents, and an inverse power law for the critical entanglement growth, S ( t , L ) ∼ L ( 1 − a / t ) , which saturates to an area law. We then utilize a graph-state-based algorithm to analyze in 1 + 1 D and 2 + 1 D the critical properties of entanglement clusters in the steady state. We show that in a model with a simple geometric map to percolation—the projective transverse field Ising model—these entanglement clusters are governed by percolation surface exponents. However, in the Clifford models we find large deviations in the cluster exponents from those of surface percolation, highlighting the breakdown of any possible geometric map to percolation. Given the evidence for deviations from the percolation universality class, our results raise the question of why nonetheless many bulk properties behave similarly to those of percolation

The performance of approximate equation of motion coupled cluster for valence and core states of heavy element systems

The equation of motion coupled cluster singles and doubles model (EOM-CCSD) is an accurate, black-box correlated electronic structure approach to investigate electronically excited states and electron attachment or detachment processes. It has also served as a basis for developing less computationally expensive approximate models such as partitioned EOM-CCSD (P-EOM-CCSD), the second-order many-body perturbation theory EOM (EOM-MBPT(2)), and their combination (P-EOM-MBPT(2)) [S. Gwaltney et al., Chem. Phys. Lett. 248, 189-198 (1996)]. In this work we outline an implementation of these approximations for four-component based Hamiltonians and investigate their accuracy relative to EOM-CCSD for valence excitations, valence and core ionizations and electron attachment, and this for a number of systems of atmospheric or astrophysical interest containing elements across the periodic table. We have found that across the different systems and electronic states of different nature considered, partition EOM-CCSD yields results with the largest deviations from the reference, whereas second-order based approaches tend show a generally better agreement with EOM-CCSD. We trace this behavior to the imbalance brought about by the removal of excited state relaxation in the partition approaches, with respect to degree of electron correlation recovered.Comment: 5 figures, 4 table

Integrating model checking with HiP-HOPS in model-based safety analysis

The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by focusing on the system model as the central artefact, and by automating the synthesis and analysis of failure-extended models. Model checking and failure logic synthesis and analysis (FLSA) are two prominent MBSA paradigms. Extensive research has placed emphasis on the development of these techniques, but discussion on their integration remains limited. In this paper, we propose a technique in which model checking and Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) – an advanced FLSA technique – can be applied synergistically with benefit for the MBSA process. The application of the technique is illustrated through an example of a brake-by-wire system