In this paper we deal with the problem of designing a controller for a discrete event system. We argue that the classical approach of supervisory control theory (SCT) can be used as an essential step of such a procedure. However, some of the features that make supervisory control an attractive paradigm to solve theoretical problems are often a major source of difficulty in implementing a contro...

We detail in this article the necessity of a change of paradigm for the delay-robust control of systems composed of two linear first order hyperbolic equations. One must go back to the classical trade-off between convergence rate and delay-robustness. More precisely, we prove that, for systems with strong reflections, canceling the reflection at the actuated boundary will yield zero delayrobust...

In this study, self-regulation was investigated in 7to 10-year-old children using three different measures: (1) parent and child report questionnaires measuring temperamental effortful control, (2) a conflict task assessing efficiency of executive attention, and (3) the mistaken gift paradigm assessing social smiling in response to an undesirable gift. Both efficiency in executive attention and...

Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among agents. While agents cooperate, they interact with each other continuously to access data of other agents and/or to execute other agent’s actions. However, in cases of security-critical ubiquitous services such as med...

The ability to take intelligent actions in real-world domains is a goal of great interest in the machine learning community. Unfortunately, the real-world is filled with systems that can be partially observed but cannot, as yet, be described by first principle models. Moreover, the traditional paradigm of direct interaction with the environment used in reinforcement learning is often prohibitiv...

We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised...

The paper discusses the problems to be tackled while designing conversation schemes for concurrent object oriented languages (COOLs). Some approaches to solving these problems and to using conversations in COOLs in the most appropriate ways are proposed. The most relevant characteristics of these languages with respect to conversation scheme design are outlined. The paper attempts to define all...

Data outsourcing is emerging today as a successful paradigm allowing users and organizations to exploit external services for the distribution of resources. A crucial problem to be addressed in this context concerns the enforcement of selective authorization policies and the support of policy updates in dynamic scenarios. In this paper, we present a novel solution to the enforcement of access c...

In this paper we present a predictive control strategy for the supervision of a formation of autonomous vehicles subject to coordination constraints. Such a system paradigm, referred hereafter to as constrained dynamic network, is characterized by a set of spatially distributed dynamic systems, connected via communication channels, with possibly dynamical coupling and constraints among them whi...

In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of an optimal control problem that has to be determined. We discuss the modeling of both the dynamical system and the cost to be minimized, and we analyze the corresponding optimal synthesis. The main results describe t...