Giuseppe Menga

Learn More
We consider in this paper first-order hybrid Petri Nets, a model that consists of continuous places holding fluid, discrete places containing a nonnegative integer number of tokens, and transitions, either discrete or continuous. We set up a linear algebraic formalism to study the first-order continuous behavior of this model and show how its control can be(More)
The old electricity network infrastructure has proven to be inadequate, with respect to modern challenges such as alternative energy sources, electricity demand and energy saving policies. Moreover, Information and Communication Technologies (ICT) seem to have reached an adequate level of reliability and flexibility in order to support a new concept of(More)
The performance of a structured light system (SLS) highly depends on its calibration especially in applications such as surface met-rology and product quality control where high accuracy is required. Motivated by building a real-time highly accurate flatness measurement system, we propose a plane-based residual error compensation algorithm for improving the(More)
In this paper we show how we have applied, in a current project, mobile agent technology to an industrial process in the field of textile manufacturing. The project involves several companies, each of which is a Europe-wide representative of one of the key phases of the textile production process (e.g. spinning, weaving, dyeing, finishing and ready made(More)
In this paper we adopt the fluid approximation theory to describe the dynamic behavior of Flexible Manufacturing Systems that we model with Hybrid Stochastic Petri Nets, a class of nets in which some places may hold fluid rather than discrete tokens. The continuous transitions of the net are fired with speeds that are piecewise constants over the entire(More)
referred to as “white-box” and “black-box” approaches to reuse, are simultaneously present in one framework [9]. Features likely to be common to most applications can be offered and therefore reused as black boxes with minor changes. On the other hand, the class library accompanying the framework usually provides base classes (or white boxes) that can be(More)