Abstract: A novel design-for-test (DFT) method that requires minor modifications to the controller in the register-transfer level (RTL) description of a circuit is presented. The control/data flow graph representation of an RTL circuit is used for analysing the testability of individual RTL operations within the RTL circuit. Using a non-scan arrangement, existing data paths are utilised to prov...

Behavioural modelling has been widely used to aid in the design of concurrent systems. Behaviour models have shown to be useful to uncover design errors in early stages of the development process. However, building correct behaviour models is costly and requires significant experience. Controller synthesis offers a way to build models that are correct by construction. Existing software engineer...

many real time processes have complex, uncertain and nonlinear dynamics. boilers are nonlinear, time varying, multi-input multi-output (mimo) systems, whose states generally vary with operating conditions. the major problem in controlling that system is that its drum water pressure and steam flow dynamics include an integrator that results a critically stable behavior. conventional controller p...

Using the CIF 3 toolset, we illustrate the general idea of controller synthesis for product line engineering for a prototypical example of a family of coffee machines. The challenge is to integrate a number of given components into a family of products such that the resulting behaviour is guaranteed to respect an attributed feature model as well as additional behavioural requirements. The propo...

In this paper, the philosophy of the heterogeneous control combined with landmark description is applied for controlling dc-dc converters. In our approach, there are combined fuzzy logic approach with some crisp information regarding the system evolution, the so called landmark based representation. On this structure seven behavioural items are defined, allowing delimiting the so called fundame...

in this paper, the driver with antiwindup and fuzzy high-performance and robust pi controller has been suggested for permanent magnet synchronous motor (pmsm). this controller is suggested for the design of the robust driver for three phase pmsm and the cost reduction of its control system. it’s useful for the industrial application and automation and ultimately speed control and the improvemen...

Evolutionary car racing (ECR) is extended to the case of two cars racing on the same track. A sensor representation is devised, and various methods of evolving car controllers for competitive racing are explored. ECR can be combined with co-evolution in a wide variety of ways, and one aspect which is explored here is the relative-absolute fitness continuum. Systematical behavioural differences ...

Communication is a point of central importance in swarms of robots. This paper describes a set of simulations in which artificial evolution is used as a means to engineer robot neuro-controllers capable of guiding groups of robots in a categorisation task by producing appropriate actions. In spite of the absence of explicit selective pressure (coded into the fitness function) which favours sign...