Informatica

New formulae providing exact explicit solutions for a class of scalar delayed systems are given.

This paper investigates the progress made in the field of dynamic systems with delays over the last two decades. In particular, it is focused on the simulation and control techniques, which include also modelling, numerical solvability and stabilization procedures.

In this paper we consider the problem of the distributed deadlock resolution. Starting from a high level specification of the problem and the resolution algorithm for a system with single request model, we provide successive levels of decreasing abstraction of the initial specification in order to achieve a solution in a complete distributed system. The successive refinements and the final distributed deadlock resolution algorithm are formaly described and proved by using the Input-Output Automata Model. The proposed solution is a modification of the algorithms in Mitchell and Merritt (1984) and Gonzalez de Mendívil et al. (1993) and preserves a similar message traffic to resolve a deadlock.

Control laws' design strategies are developed to stabilize a class of BIBO integro-differential systems with two distributed delays by using an extended system.

Control laws' design strategies in order to stabilize integro-differential systems with delays are developed by using an extended system and the delay measure.

Control laws' design strategies in order to stabilize a class of linear delay-differential systems are developed by using the matrix measure. A new measure, the delay measure, is introduced in order to clarify and formalize the results.