Imposing structural and performance specifications on a system under supervisory control

Gülgün Alpan 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The purpose of this article is to design a controller, which guarantees a structural specification while increasing a performance measure. The system which is to be controlled is modelled by a Petri net and the supervisory controller is constructed in the form of a set of routing functions. If the system is controllable, the solution of the evolution equations gives a feasible region for the routing parameters for places with several output transitions. Any point in that feasible region corresponds to a set of values for which the structural specification is guaranteed. We propose a heuristic method which searches the feasible region to find the routing parameters that increase the throughput of the system. The advantages of the approach is two-fold: 1. the fulfilment of two specifications which are different in nature are handled together; 2. in general, the timed model of a system is used for the performance analysis of a system. Here, the evolution equations obtained by using routing functions are based on the un-timed interpretation of the Petri net. || Dans cet article, on montre comment obtenir un contrôleur discret qui garantit une spécification structurelle (ici l'absence de famine) et une autre de type performance (ici l'augmentation du débit). Le problème posé a été résolu dans le cadre d'un modèle
Type de document :
Communication dans un congrès
13th International Conference on Flexible Automation and Intelligent Manufacturing - FNAIM'2003, 2003, Tampa/USA, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099714
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:35
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00099714, version 1

Collections

Citation

Gülgün Alpan. Imposing structural and performance specifications on a system under supervisory control. 13th International Conference on Flexible Automation and Intelligent Manufacturing - FNAIM'2003, 2003, Tampa/USA, 2003. 〈inria-00099714〉

Partager

Métriques

Consultations de la notice

105