We extend a systematic method for the derivation of high order schemes for affinely controlled nonlinear systems to a larger class of systems in which the control variables are allowed to appear nonlinearly in multiplicative terms. Using an adaptation of the stochastic Taylor expansion to control systems we construct Taylor schemes of arbitrary high order and indicate how derivative free Runge-...

The demands placed on programmers by the needs of safety-critical systems mandate the use of formal methods, supported by an integrated toolkit, throughout software development. Many formal speciication, design and veriication techniques have been proposed in the past. As the next step in the maturation of these techniques we are aiming to integrate previously disparate methods. Our overall met...

In this paper we describe how an agent’s trust is a combination of the trust in the other agent and the trust in the control mechanisms. The trust an agent has in the control mechanisms depends on the agent’s understanding of the control mechanism. Therefore, we describe how this understanding can be analyzed using formal methods.

Non-Technical Losses (NTL) represent a serious concern for electric companies. These losses are responsible revenue losses, as well reduced system reliability. Part of the loss is charged to legal consumers, thus, causing social imbalance. NTL methods have been developed in order reduce impact physical distribution systems and consumers. can be classified hardware-based non-hardware-based. Hard...