Jolanda Coppola

Learn More
In the last twenty years, a big effort has been made to find optimal strategies for planning and control of automated warehouse systems. An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units(More)
An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units coming from the aisles are partially emptied by human operators. These two components are connected via an interface area consisting of(More)
In this paper, the model repair of timed discrete-event systems where anomalies may occur is considered. The nominal model is assumed to be known, and a set of observed timed sequences is given. The approach works with time Petri net models and is based on the formulation of a mixed-integer linear programming problem. The repaired model is obtained from the(More)
This paper considers the problem of the identification of a faulty model for timed discrete event systems when the nominal model is known and a set of faulty observed timed sequences is given. The faulty behavior is modeled by adding fault transitions. The approach works with Time Petri net models and is based on the formulation of a Mixed-Integer Linear(More)
This paper deals with the identification of time Petri net systems. The proposed algorithm identifies a time Petri net model on the basis of the observed behavior, extending existing approach for untimed systems. A mixed-integer programming problem is formulated to take into account that the firing of a transition requires that the enabling condition is met(More)
Material handling systems are usually modeled as discrete event systems. However, when the size of these systems grows, the overall system performances depend also on continuous time phenomena. We present a hybrid model based on a new Petri net formalism that merges the concepts of Hybrid Petri Nets and Colored Petri Nets to obtain compact models for these(More)