Skip to Main content Skip to Navigation
Theses

Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri

Abstract : The place-invariants method is one of the most popular controller synthesis approaches for Petri net (PN) modeled DES. Unfortunately, the observance of the constraints is not certain in the presence of uncontrollable transitions. This thesis offers a solution to this problem for ordinary and generalized PNs. We begin by studying safe non-conservative PNs, and devising a constraint-determination technique that will always provide a set of admissible constraints for this type of model. The approach stems from the general definition of forbidden states --- that of marking vectors. In the second part of our work, we present an admissible constraint-determination technique for generalized PNs. The method is based on a special view of the system's state space. The constraints are derived from the equation of the affine hyper-plane separating the authorized- and forbidden- regions of this space. We propose an algorithm that allows the identification of the minimal maximally permissive controller.
Document type :
Theses
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00767421
Contributor : Abes Star :  Contact
Submitted on : Wednesday, December 19, 2012 - 6:01:24 PM
Last modification on : Thursday, November 19, 2020 - 12:59:58 PM
Long-term archiving on: : Wednesday, March 20, 2013 - 11:36:58 AM

File

Vasiliu_Andra_2012_diffusion.p...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00767421, version 1

Collections

Citation

Andra Ioana Vasiliu. Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri. Autre. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENT001⟩. ⟨tel-00767421⟩

Share

Metrics

Record views

1204

Files downloads

8604