Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...
The hierarchy of untimed equivalences is well understood for action-based systems. This is not the case for timed systems, where it is, for example, possible to detect concurrency ...
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
Duilio Curcio, Francesco Longo, Giovanni Mirabelli
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...