We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on inputoutput model relations) on these path conditions. The prover evaluated atomic contracts to yield either true or false for the...

A number of important control theory problems are involved in the selection of inputoutput schemes of a given system and one family of such problems is referred to as Model Projection Problems (MPP); these problems deal with the selection of effective sets of inputs, outputs out of larger potential sets of inputs, outputs respectively. The aim of this paper is to classify the different types of...

This paper presents a novel approach to modeling the dynamics of human movements with a grid-based representation. For each grid cell, we formulate the local dynamics using a variant of the left-to-right HMM, and thus explicitly model the exiting direction from the current cell. The dependency of this process on the entry direction is captured by employing the InputOutput HMM (IOHMM). On a high...

In the last two decades, software architecture has played a central role in the development of software systems. It provides a high-level description for large-size and complex systems using suitable abstractions of the system’s components and their interactions. In our work, the software architecture is described using a formal Architecture Description Language (ADL) designed in the ArchWare E...

Due to the unique characteristics such as handling complex, nonlinear, and sometimes intangible dynamic systems, fuzzy systems are used in the modeling of InputOutput data of the process. The combination of fuzzy rule-based systems with genetic algorithms can lead to very useful descriptions of several optimization and search problems. In this paper, clustering strategy is implemented in the de...

This article introduces a novel distributed controller approach for networked control systems (NCS) to achieve finite gain L2 stability independent of constant time delay. The distributed controller is alternatively interpreted as a linear transformation of the inputoutput space of the controller and the plant, and in fact represents a generalization of the well-known scattering transformation....

This paper presents a novel approach to nonlinear black-box system identification which combines Qualitative Reasoning (QR) methods with fuzzy logic systems. Such a method aims at building a good initialization of a fuzzy identifier, so that it will converge to the inputoutput relation which captures the nonlinear dynamics of the system. Fuzzy inference procedures should be initialized with a r...

The Dst index is a key parameter which characterises the disturbance of the geomagnetic field in magnetic storms. Modelling of the Dst index is thus very important for the analysis of the geomagnetic field. A data-based modelling approach, aimed at obtaining efficient models based on limited inputoutput observational data, provides a powerful tool for analysing and forecasting geomagnetic activ...

Cascade correlation (CC) has proven to be an effective tool for simulating human learning. One important class of problem solving tasks can be thought of as establishing appropriate connections between inputs and outputs. A CC network initially attempts to solve the task with a minimal network configuration, but when the task cannot be solved, it is powered up by recruiting a hidden unit to cap...

We present the design of a self-routing quantum packet switch which improves on a previous design given by the authors [1]. Like the earlier design, this switch too routes packets represented by quantum bits (qubits) but it reduces the routing overhead per packet from O(logN) qubits to O(1) qubits by eliminating the need for an extra “dummy” inputoutput pair and their associated “dummy” packets...