Input-output conformance (ioco) testing is a well-known approach to model-based testing. In this paper, we study the complexity of checking ioco. We show that the problem of checking ioco is PSPACEcomplete. To provide a more efficient algorithm, we propose a more restricted setting for checking ioco, namely with deterministic models and show that in this restricted setting ioco checking can be ...

The present work proposes a new approach in modelling the biological wastewater treatment plant: The anaerobic digestion by multiple models. Although a mathematical model already exists, but the interaction between the various variables is strongly not linear and is modelled in the form of rather complex algébro-differential equations. So, by using the method of subtractive clustering, the mult...

Cochlear implants are electronic devices intended to restore the sense of hearing in deaf people by direct electrical stimulation of the auditory nerve fibres that are still present in the deaf inner ear. Unfortunately, the clinical outcome is not very predictable. In this study a computational model is presented that can predict the neural response to an arbitrary cochlear implant. It first co...

This paper studies the problem of diiusion in Markovian models, such as hidden Markov models (HMMs) and how it makes very diicult the task of learning of long-term dependencies in sequences. Using results from Markov chain theory, we show that the problem of diiusion is reduced if the transition probabilities approach 0 or 1. Under this condition, standard HMMs have very limited modeling capabi...

Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme is not applicable, as the process being model checked would replay I/O operations when revisiting a given state. Thus software model checking needs to encapsulate such operations in a caching layer that is capable of h...

There exists a wide range of paradigms, and a high number of different methodologies that are applied to the problem of time series prediction. Most of them are presented as a modified function approximation problem using input/output data, in which the input data are expanded using values of the series at previous steps. Thus, the model obtained normally predicts the value of the series at a t...

Analysis of the curvature properties of the link lengths of a four-bar mechanism via Mathematical Modeling Techniques using MATLAB Software. The proper identification of the lengths which has been taken analytically using Freudenstein’s equation, which is an experimental work as well as virtual visualization of the work & the model of a 4-bar linkage ,whose modeling has been done through MATLAB...

Predicting the behavior of human participants in strategic settings is an important problem in many domains. Most existing work either assumes that participants are perfectly rational, or attempts to directly model each participant’s cognitive processes based on insights from cognitive psychology and experimental economics. In this work, we present an alternative, a deep learning approach that ...

In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made of components depending on the system they will constitute. In this paper we propose an approach to test each component of a system by extracting accurate behaviours using information given by the system specification. ...