• Publications
  • Influence
Guest Editorial
  • 772
  • 49
Generalized mutual exclusion contraints on nets with uncontrollable transitions
The authors study a class of specifications, called generalized mutual exclusion constraints, for discrete event systems modeled using place/transition nets. These specifications may be easilyExpand
  • 372
  • 40
Fault detection for discrete event systems using Petri nets with unobservable transitions
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 allExpand
  • 251
  • 18
  • Open Access
A Survey of Petri Net Methods for Controlled Discrete Event Systems
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 inExpand
  • 418
  • 15
  • Open Access
First-order hybrid Petri nets: a model for optimization and control
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,Expand
  • 211
  • 13
  • Open Access
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable faultExpand
  • 118
  • 10
  • Open Access
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
This paper deals with the problem of enforcing generalized mutual exclusion constraints (GMEC) on place/transition nets with uncontrollable transitions. An efficient control synthesis technique,Expand
  • 71
  • 9
  • Open Access
Hybrid Petri Nets: a
The paper presents a model which provides a simple graphical representation of hybrid systems and takes advantage of the modular structure of Petri nets in giving a compact description of systemsExpand
  • 143
  • 9
  • Open Access
Optimal control of continuous-time switched affine systems
This paper deals with optimal control of switched piecewise affine autonomous systems, where the objective is to minimize a performance index over an infinite time horizon. We assume that theExpand
  • 163
  • 8
  • Open Access
An implicit gain-scheduling controller for cranes
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 linearExpand
  • 152
  • 7
  • Open Access