Search Results

With the improvement of environmental awareness, green logistics, as a kind of logistics mode that can realize the unity of economic benefits and environmental benefits, has been paid more and more attention by the academia and the industry. However, how ...

In this paper, the problem of suboptimal stabilization of an object with discrete time, output and control uncertainties, and bounded external perturbation is considered. The autoregressive nominal model coefficients, uncertainty amplification ...

Virtual machine emulation environments provide ideal testbeds for cybersecurity evaluations because they run real software binaries in a scalable, offline test setting that is suitable for assessing the impacts of software security flaws on the system. ...

Integration processes are considered workflow processes that can be modelled using a process modelling language. Integration platforms usually offer a modelling language based on the well-known integration patterns. To automatically verify the logical ...

We consider adaptive optimal tracking problems for a minimum-phase discrete-time plant with uncertainty in the output channel and bounded exogenous disturbance. The coefficients of the equation of the linear time-invariant nominal model, the ...

Estimation of dependencies from empirical data in a growing class of models is inevitably concerned with choosing the value of a structural parameter responsible for the model’s complexity. The most popular cross-validation schemes, in particular, LOO, ...

AI problems which can be solved using a state-based model are a significant portion, covering most NP problems. Although the strategies required to solve such problems are well documented and researched, the model itself is seldom analysed, being ...

This work proposes GangSweep, a new backdoor detection framework that leverages the super reconstructive power of Generative Adversarial Networks (GAN) to detect and ''sweep out'' neural backdoors. It is motivated by a series of intriguing empirical ...

In the context of model-based system engineering (MBSE), the need emerges for model verification tools aiming at detecting inconsistencies in the dynamic behavioral aspect of the design. In this paper, a model-based approach is proposed to develop model ...

A System of Systems (SoS), composed of independent constituent systems, can create synergy among its systems to achieve a common goal. Many studies have used statistical model checking techniques to verify how well an SoS can achieve its goals. SoS ...

We consider a deterministic problem of asymptotically suboptimal tracking of a bounded reference signal with the output of a scalar discrete minimum-phase object with unknown transition function under a bounded external disturbance and bounded nonlinear ...

Widely accepted utility of simple spring-mass models for running behaviors as descriptive tools, as well as literal control targets, motivates accurate analytical approximations to their dynamics. Despite the availability of a number of such analytical ...

Abstract The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets CPNs and Topological Functioning Model TFM, is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of ...

It is well known that an appropriate requirement specification is essential for the success of software development projects. In the model-driven development context, the requirement models can be used as entry artifacts for aligning the final software ...

Self-adaptive access control, in which self-* properties are applied to protecting systems, is a promising solution for the handling of malicious user behaviour in complex infrastructures. A major challenge in self-adaptive access control is ensuring ...

The implementations of a couple of often used Bidirectional Reflectance Distribution Functions (BRDFs) are numerically verified against the three conditions for physical plausibility. These conditions are positivity, symmetry (sometimes referred to as ...

Stages in the development of a field-programmable gate array (FPGA) simulation of a squirrel-cage induction motor are described that clearly illustrate some of the problems that can arise in developing simulations. The authors have experience in ...

The need for high-quality models is increasingly recognized for driving and documenting complex medical processes such as cancer therapies. A medical environment for such processes has to deal with a great multiplicity of dimensions such as different ...

The process of modelling reactive distributed systems by a component Petri net (a CN-net) is considered. A mechanism for constructing composite components (places and transitions) of a CN-net is shown, and an analysis of a CN-net is demonstrated by the ...