Ricerc@Sapienza

Ontology-based data management aims at managing data through the lens of an ontology, that is, a conceptual representation of the domain of interest in the underlying information system. This new paradigm provides several interesting features, many of which have already been proved effective in managing complex information systems.

Smart health (s-health) is an emerging paradigm that brings together a whole new range of digital data, both personal and non-personal, in order to deliver a holistic approach to health that overcomes the boundaries of the traditional patient caring system. By including non-personal smart city data, mobile s-health applications can improve prediction, prevention, and prescriptive care, while generating feedback that make cities smarter when accounting for and adapting to individual needs.

Mathematical modeling represents a useful instrument to study the evolution of an epidemic spread and to determine the best control strategy to reduce the number of infected subjects. The computation of the singular solution for a SIR epidemic system with vaccination control is performed; a constructive algorithm for the computation of a bang-singular-bang optimal solution is proposed and, for the specific choice of the parameters typical for a SIR model, the two switching instants, as well as the singular profile, are determined.

An optimal control problem formulated to reduce the infection diffusion of an epidemic disease is solved in a locally linearised context. The approach has been driven by the necessity of using a state observer, since the state variable to be controlled is not directly measurable.

Human computer interface (HCI) has become more and more important in the last few years. This is mainly due to the increase in the technology and in the new possibilities in yielding a help to disabled people. Brain Computer Interfaces (BCI) represent a subset of the HCI systems which use measurements of the voluntary brain activity for driving a communication system mainly useful for severely disabled people. Electroencephalography (EEG) has been intensively used for the measurement of electrical signals related to the brain activity.

We study planning for LTLf and LDLf temporally extended goals in nondeterministic fully observable domains (FOND). We consider both strong and strong cyclic plans, and develop foundational automata-based techniques to deal with both cases. Using these techniques we provide the computational characterization of both problems, separating the complexity in the size of the domain specification from that in the size of the formula. Specifically we establish them to be EXPTIME-complete and 2EXPTIME-complete, respectively, for both problems.

Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. To facilitate supervision, it is often of interest to consider hierarchical models where a high level abstracts over low-level behavior details. We study hierarchical agent supervision in the context of the situation calculus and the ConGolog agent programming language, where we have a rich first-order representation of the agent state.

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestration problem for transducers. We first consider the conceptually simpler case of uni-transducers (transducers with a single input and a single output port), and show that synthesizing orchestrations for uni-transducers is EXPTIME-complete.

Planning domains represent what an agent assumes or be- lieves about the environment it acts in. In the presence of non- determinism, additional temporal assumptions, such as fair- ness, are often expressed as extra conditions on the domain. Here we consider environment specifications expressed in ar- bitrary LTL, which generalize many forms of environment specifications, including classical specifications of nondeter- ministic domains, fairness, and other forms of linear-time constraints on the domain itself.

There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this paper, we consider the more general problem of whether a controller can be synthesized given sufficient resources.