#### Filter Results:

#### Publication Year

1988

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Fabio Balduzzi, Alessandro Giua, Giuseppe Menga
- IEEE Trans. Robotics and Automation
- 2000

- Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
- Automatica
- 2010

— In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. We prove that the set of all possible firing sequences corresponding to a given observation can be described as… (More)

- Francesco Basile, Pasquale Chiacchio, Alessandro Giua
- IEEE Trans. Automat. Contr.
- 2007

This paper addresses the problem of enforcing generalized mutual exclusion constraints on a Petri net plant. Firstly, we replace the classical partition of the event set into controllable and uncontrollable events from supervisory control theory, by associating a control and observation cost to each event. This leads naturally to formulate the supervisory… (More)

- Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
- IEEE Trans. Automat. Contr.
- 2008

This paper addresses the optimal control problem of timed continuous Petri nets under infinite servers semantics. In particular, our goal is to find a control input optimizing a certain cost function that permits the evolution from an initial marking (state) to a desired steady-state. The solution we propose is based on a particular discrete-time… (More)

- Alessandro Giua, Carla Seatzu, Francesco Basile
- IEEE Trans. Automat. Contr.
- 2004

—This paper discusses the problem of controlling a timed Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of enforcing a set of generalized mutual exclusion constraints (GMEC) and all transitions are assumed to be controllable. We show that the use of marking estimates may significantly reduce the… (More)

In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the… (More)

- Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua
- Discrete Event Dynamic Systems
- 1997

This paper surveys recent research on the application of Petri net models to the analysis and synthesis of controllers for discrete event systems. Petri nets have been used extensively in applications such as automated manufacturing, and there exists a large body of tools for qualitative and quantitative analysis of Petri nets. The goal of Petri net… (More)

- Alessandro Giua, Carla Seatzu
- IEEE Trans. Automat. Contr.
- 2002

In this paper we discuss the problem of estimating the marking of a Place/Transition net based on event observation. We assume that the net structure is known while the initial marking is totally or partially unknown. We give algorithms to compute a marking estimate that is a lower bound of the actual marking. The special structure of Petri nets allows us… (More)

- Alessandro Giua, Frank DiCesare
- IEEE Trans. Robotics and Automation
- 1994

- Giorgio Corriga, Alessandro Giua, Giampaolo Usai
- IEEE Trans. Contr. Sys. Techn.
- 1998

— To improve the efficiency of cargo handling with cranes it is necessary to control the crane trolley position so that the swing of the hanging load is minimized. In this paper we consider a linear parameter-varying model of the crane, where the time-varying parameter is the length of the suspending rope. We consider the set of models given by frozen… (More)