Synthesis of Sequential Controllers in the presence of Conflicts and Free Choices

Gülgün Alpan 1 Mohsen A. Jafari
1 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In an earlier paper, the authors developed a technique called "Relative Temporal Analysis" to study the performance of timed Petri nets, where depending on the temporal constraints imposed on the transitions, conflict was possible between the processes modeled by the Petri net. The essence of the technique focused on the transformation of the real time trajectory of the processes into a time domain where only their relative shifts were considered. Within this domain the shifts are limited to a bounded and well defined region. Here, we extend this technique to more complex systems where structural conflict is also possible. Within a regenerative cycle of the system, each and every path should be followed according to a set of prespecified frequencies. We use the relative temporal technique to synthesize an optimal sequential controller to schedule these paths.
Mots-clés : contrôleur superviseur cyclic scheduling controller synthesis conflict resolution free choice ordonnancement cyclique
Type de document :
Article dans une revue
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (3), pp.488-492
Liste complète des métadonnées
https://hal.inria.fr/inria-00098485
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:59
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00098485, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Gülgün Alpan, Mohsen A. Jafari. Synthesis of Sequential Controllers in the presence of Conflicts and Free Choices. IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (3), pp.488-492. 〈inria-00098485〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

130

Contact


archive-ouverte@inria.fr