Documents disponibles écrits par cet auteur

Generalized algebraic deadlock avoidance policies for sequential resource allocation systems / Reveliotis, Spyros A. in IEEE transactions on automatic control, Vol. 52 N°12 (Decembre 2007) 

Public ISBD [article]  in IEEE transactions on automatic control > Vol. 52 N°12 (Decembre 2007) . - 2345-2350 p. 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 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  systems  (RAS)  Supervisory  control  Action  d'éviter  d'impasse  Systèmes  d'événement  discret  (DES)  Programmation  mathématique  Systèmes  d'attribution  de  ressource  (RAS)  Commande  de  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 [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 . - 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  systems  (RAS)  Supervisory  control  Action  d'éviter  d'impasse  Systèmes  d'événement  discret  (DES)  Programmation  mathématique  Systèmes  d'attribution  de  ressource  (RAS)  Commande  de  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