Deep learning defines a new data-driven programming paradigm that constructs the internal system logic of a crafted neuron network through a set of training data. Deep learning (DL) has been widely adopted in many safety-critical scenarios. However, a plethora of studies have shown that the state-of-the-art DL systems suffer from various vulnerabilities which can lead to severe consequences whe...

Code coverage is usually used as a measurement of testing quality and as adequacy criterion. Unfortunately, code coverage is very sensitive to modi cations of the code structure, and, therefore, the same test suite can achieve di erent degrees of coverage on the same program written in two syntactically di erent ways. For this reason, code coverage can provide the tester with misleading informa...

This paper discusses the contribution of an additional feedback loop to the entrainment and the robustness of a circadian system. To quantify robustness, we perform a global analysis of the system’s parameter space. We quantify the parameter region where the circuit displays an experimentally observed behavior, under entrainment. This global measure is comleted with a classification based on th...

The increasing complexity and tight coupling between people and computer systems in military operations has led to improved efficiency, as well as greater vulnerability due to system failure. Careful management of workflow systems can minimize operational vulnerability in command and control. Tavana et al. (2011) developed a workflow management framework capable of both modeling structure and p...

A most important property of biochemical systems is robustness. Static robustness, e.g., homeostasis, is the insensitivity of a state against perturbations, whereas dynamics robustness, e.g., homeorhesis, is the insensitivity of a dynamic process. In contrast to the extensively studied static robustness, dynamics robustness, i.e., how a system creates an invariant temporal profile against pertu...

Carefully conducted model-based simulation studies have become an important part of studies evaluating control strategies for wastewater treatments plants. During the past four years a consortium of researchers and practitioners developed a standard test methodology called the Benchmark, a simulation procedure defined around a simulation model, a plant layout, realistic influent loads and a tes...

abstract: in most industries the cost of raw materials and component parts constitutes almost 60% percent of cost of a product (in some industries up to 80%). in this situation, proper sourcing can play a key role in an organization's efficiency and effectiveness, because it has a direct effect on cost reduction, profitability and flexibility of a company. in this paper, determining the op...

To address various types of delays including the neutral-type arising in dynamical networks, this paper deals with coupled delay differential and continuous-time difference equations and develops stability and robustness criteria. Subsystems described by differential equations are not required to be input-to-state stable. No assumptions on network topology are made. To tackle networks in such a...