Background This technical report describes implementation of the ideas explained in [1], mainly done in the jmltest package in KeY and referred to as JML-Test. JMLTest is used to enrich an existing specification of a method with structural information of the methods body. The enriched specification is written to a file with JML annotations. The objective is to use a blackbox testing tool with t...

A general methodology for gray-box, or semi-physical, modeling is presented. This technique is intended to combine the best of two worlds: knowledge-based modeling , whereby mathematical equations are derived in order to describe a process, based on a physical (or chemical, biological, etc.) analysis, and black-box modeling, whereby a parameterized model is designed, whose parameters are estima...

The covariance matrix adaptation evolution strategy (CMA-ES) is an efficient derivativefree optimization algorithm. It optimizes a black-box objective function over a well defined parameter space. In some problems, such parameter spaces are defined using function approximation in which feature functions are manually defined. Therefore, the performance of those techniques strongly depends on the...

This article provides an algorithm that is dedicated to repeated trajectory optimization with a fixed horizon and addresses processes that are difficult to describe by the established laws of physics. Typically, soft-computing methods are used in such cases, i.e. black-box modeling and evolutionary optimization. Both suffer from high dimensions that make the problems complex or even computation...

Black box modeling of diffusion processes can be performed by fractional models. The simulation of these particular models is based on a new fractional integrator, with limited spectral range. Parameter estimation of this class of systems is performed by an OE identification technique. This paper presents the application of this new methodology to the modeling of different diffusive systems dea...

Flexibility and user-customizability are amongst the potential beneets of reorganizing and restructuring operating systems using object-orientation. However, operating systems are often designed as black boxes whose internals cannot easily be examined or tailored by the user or application. As a black box, the complexity of an operating system appears to grow as additional features and options ...

We introduce the theoretical results on the construction of confidence intervals for a nonlinear regression, based on the linear Taylor expansion of the corresponding nonlinear model output. The case of neural black-box modeling is then analyzed, and illustrated on an industrial application. We show that the linear Taylor expansion not only provides a confidence interval at any point of interes...

this paper presents the application of the matching pursuit method to model synchronous generator. this method is useful for online analysis. in the proposed method, the field voltage is considered as input signal, while the terminal voltage and active power of the generator are output signals. usually, the difference equation with a second degree polynomial structure is used to estimate the co...