[article]
Titre : |
Generalized algebraic deadlock avoidance policies for sequential resource allocation systems |
Titre original : |
Politiques algébriques généralisées d'action d'éviter d'impasse pour des systèmes d'attribution de ressource séquentielle |
Type de document : |
texte imprimé |
Auteurs : |
Reveliotis, Spyros A., Auteur ; Roszkowska, Elzbieta, Auteur ; Choi, Jin Young, Auteur |
Année de publication : |
2008 |
Article en page(s) : |
2345-2350 p. |
Note générale : |
Automatique |
Langues : |
Anglais (eng) |
Mots-clés : |
Deadlock avoidance Discrete event systems (DES) Mathematical programming Resource allocation (RAS) Supervisory control Action d'éviter d'impasse Systèmes d'événement discret Programmation mathématique d'attribution de ressource Commande surveillance |
Index. décimale : |
629.8 |
Résumé : |
Currently, one of the most actively researched approaches regarding the design of deadlock avoidance policies for sequential resource allocation systems is based on concepts and techniques provided by the, so called, theory of regions, that addresses the broader problem of synthesizing PN models with prespecified behaviors. However, one limitation of the theory of regions and its aforementioned derivatives is that they cannot be applied when the target behavior has a nonconvex representation in the underlying state space. In this note, we show how this problem can be circumvented by appropriately generalizing the employed class of the candidate policies.
Actuellement, une des approches le plus activement recherchées concernant la conception des politiques d'action d'éviter d'impasse pour des systèmes d'attribution de ressource séquentielle est basée sur des concepts et des techniques fournis par, soi-disant, théorie de régions, que des adresses que le problème plus large de synthétiser le PN modèle avec des comportements préspécifiés. Cependant, une limitation de la théorie de régions et de ses dérivés mentionnés ci-dessus est qu'ils ne peuvent pas être appliqués quand le comportement de cible a une représentation non convexe dans l'espace d'état fondamental. Dans cette note, nous montrons comment ce problème peut être évité en généralisant convenablement la classe utilisée des politiques de candidat. |
DEWEY : |
629.8 |
ISSN : |
0018-9286 |
En ligne : |
spyros@isye.gatech.edu, ekr@pwr.wroc.pl, jinyoung.choi@ajou.ac.kr |
in IEEE transactions on automatic control > Vol. 52 N°12 (Decembre 2007) . - 2345-2350 p.
[article] Generalized algebraic deadlock avoidance policies for sequential resource allocation systems = Politiques algébriques généralisées d'action d'éviter d'impasse pour des systèmes d'attribution de ressource séquentielle [texte imprimé] / Reveliotis, Spyros A., Auteur ; Roszkowska, Elzbieta, Auteur ; Choi, Jin Young, Auteur . - 2008 . - 2345-2350 p. Automatique Langues : Anglais ( eng) in IEEE transactions on automatic control > Vol. 52 N°12 (Decembre 2007) . - 2345-2350 p.
Mots-clés : |
Deadlock avoidance Discrete event systems (DES) Mathematical programming Resource allocation (RAS) Supervisory control Action d'éviter d'impasse Systèmes d'événement discret Programmation mathématique d'attribution de ressource Commande surveillance |
Index. décimale : |
629.8 |
Résumé : |
Currently, one of the most actively researched approaches regarding the design of deadlock avoidance policies for sequential resource allocation systems is based on concepts and techniques provided by the, so called, theory of regions, that addresses the broader problem of synthesizing PN models with prespecified behaviors. However, one limitation of the theory of regions and its aforementioned derivatives is that they cannot be applied when the target behavior has a nonconvex representation in the underlying state space. In this note, we show how this problem can be circumvented by appropriately generalizing the employed class of the candidate policies.
Actuellement, une des approches le plus activement recherchées concernant la conception des politiques d'action d'éviter d'impasse pour des systèmes d'attribution de ressource séquentielle est basée sur des concepts et des techniques fournis par, soi-disant, théorie de régions, que des adresses que le problème plus large de synthétiser le PN modèle avec des comportements préspécifiés. Cependant, une limitation de la théorie de régions et de ses dérivés mentionnés ci-dessus est qu'ils ne peuvent pas être appliqués quand le comportement de cible a une représentation non convexe dans l'espace d'état fondamental. Dans cette note, nous montrons comment ce problème peut être évité en généralisant convenablement la classe utilisée des politiques de candidat. |
DEWEY : |
629.8 |
ISSN : |
0018-9286 |
En ligne : |
spyros@isye.gatech.edu, ekr@pwr.wroc.pl, jinyoung.choi@ajou.ac.kr |
|