WorldCat Identities

Alla, H. (Hassane)

Overview
Works: 59 works in 140 publications in 3 languages and 1,632 library holdings
Roles: Thesis advisor, Opponent, Organizer of meeting, htt, Author, Editor, Publishing director, Other
Classifications: QA267, 511.35
Publication Timeline
.
Most widely held works by H Alla
Discrete, continuous, and hybrid Petri Nets by René David( )

44 editions published between 2004 and 2014 in English and held by 1,209 WorldCat member libraries worldwide

"This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri nets the book imparts an accurate understanding of continuous and hybrid Petri Nets. Preserving the consistency of basic concepts throughout the text it introduces a unified framework for all the models presented. The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with solutions, detailed figures and several case studies. It demonstrates that Petri nets are a deep, practical and alive field important for researchers, engineers and graduate students in engineering and computer science."--Jacket
Du Grafcet aux réseaux de Pétri by René David( Book )

13 editions published between 1197 and 1997 in French and held by 172 WorldCat member libraries worldwide

La 4e de couverture indique : "Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Crée en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations."
Petri nets and Grafcet : tools for modelling discrete event systems by René David( Book )

8 editions published between 1992 and 1993 in English and held by 109 WorldCat member libraries worldwide

Point en productique( Book )

in French and held by 17 WorldCat member libraries worldwide

Du Grafcet Au Réseau de Pétri (collection Traité des Nouvelles Technologies - Série Automatique) by René DAVID( )

1 edition published in 1992 in French and held by 8 WorldCat member libraries worldwide

Réseaux de Pétri colorés et réseaux de Pétri continus : application à l'étude des systèmes à évènements discrets by H Alla( Book )

3 editions published in 1987 in French and held by 6 WorldCat member libraries worldwide

PRESENTATION DE MEHODES ET D'OUTILS POUR MODELISATION D'UN SYSTEME ET POUR SA VALIDATION. LA VALIDATION FORMELLE EST EFFECTUEE PAR L'EXPLOITATION DES INVARIANTS LINEAIRES DE MARQUAGES DE PLACES ET DE TRIS DES TRANSITIONS. UTILISATION DES RESEAUX DE PETRI CONTINUS
Modélisation des systèmes réactifs : actes de MSR 2005, 5 octobre -7 octobre 2005, Grenoble (Autrans), France by MSR 2005( Book )

2 editions published in 2005 in French and held by 5 WorldCat member libraries worldwide

Point en productique( Book )

in French and held by 5 WorldCat member libraries worldwide

Pei te li wang he luo ji kong zhi qi tu xing biao shi gong ju (grafcet)) by René David( Book )

2 editions published in 1996 in Chinese and held by 4 WorldCat member libraries worldwide

Discrete, Continuous, and Hybrid Petri Nets by René David( )

2 editions published between 2005 and 2010 in English and held by 4 WorldCat member libraries worldwide

Approche probabiliste pour la commande orientée évènement des systèmes stochastiques à commutation by Adriana Mihaita( )

2 editions published in 2012 in French and held by 3 WorldCat member libraries worldwide

Hybrid systems are dynamical systems, characterized by a dual behaviour, a continuousinteraction between a discrete and a continuous functioning part. The center ofour work is represented by a particular class of hybrid systems, more specific by thestochastic switching systems which we model using continuous time Markov chains anddifferential equations.The random behaviour of such systems requires a special command which adapts tothe arbitrary events that can completely change the evolution of the system. We chose anevent-based control policy which is triggered only when it's necessary (on an unforeseenevent - for example when a threshold that is reached), and until certain functioningconditions are met (the system returns in the normal state).Our approach aims to develop a probabilistic model that calculates a performancecriterion (in this case the energy of the system) for the proposed control policy. We startby proposing a discrete event simulation for the controlled stochastic switching system,which gives us the opportunity of applying a direct optimisation of the control command.It also allows us to compare the results with the ones obtained by the analytical modelswe have built when the event-based control is applied.An analytical model for computing the energy consumed by the system to apply thecontrol is designed by using the exit probabilities of the control region, respectively, thesojourn times of the Markov chain before and after reaching the control limits. The lastpart of this work presents the results we have obtained when comparing the analyticaland the simulation method
La robustesse : analyse et synthèse de commandes robustes by École d'été d'automatique de Grenoble( Book )

1 edition published in 1993 in English and held by 3 WorldCat member libraries worldwide

Commande supervisée de systèmes hybrides by Anne Chombart( )

1 edition published in 1997 in French and held by 3 WorldCat member libraries worldwide

Le travail que nous présentons dans cette thèse a pour but de construire un superviseur discret pour un système à dynamique continue dans l'optique de la contraindre à respecter des spécifications de fonctionnement. Remarquant que la nature discrète du supervisuer d'une part et la nature continue du système à contrôler d'autre part posent la quesition de la compatibilité des informations mutuellement échangées entre ces deux éléments, nous avons choisi de traiter le problème comme celui de la modélisaiton et de l'analyse d'un système dynamique hybride. D'une façon générale, un système dynamique hybride est un système qui comporte plusieurs dynamiques de natures différentes. Le terme dynamique signifie qu'il y a une évolution dans le temps du système. Le terme hybride spécifie que ces évolutions sont du type continu et évènementiel. Aprsè l'étude des méthodes de modélisation des systèmes dynamiques hybrides, proposées dans la littérature, utilisant les automates à états finis pour représenter les systèmes à évènements discrets, nous nous sommes aperçu, que quelle que soit la méthodologie adoptée, évènementielle, continue ou combinée, le problème de modélisation se ramène à la détermination de régions de l'espace d'état continu délimitées par des frontières susceptibles de caractériser le comportement dynamique du procédé, afin que les évènements qui y sont associés portent l'information nécessaire à l'analyse de l'automate correspondant. Nous avons remarqué que ce qui différencie les approches présentées est la manière de déterminer les transitions entre les états du graphe correspondant à ce que nous appelons le squelette de la structure commune. Le modèle d'automate représentant lapartie continue du système étudié est construit sur la base d'une partition de l'espace d'éta continu obtenue par la construction de fonctions de Lyapunov et de domaines de stabilité associés, permettant aisni de proposer une structure équivalente à celle du squelette de la structure mise en évidence. Ce squelette correspond à l'armature de la structure du controleur hybride ou superviseur discret que nous cherchons à construire
Sur l'analyse quantitative des réseaux de Petri hybrides : une approche basée sur les automates hybrides by Mohamed Allam( )

2 editions published in 1998 in French and held by 3 WorldCat member libraries worldwide

L'OBJECTIF DE NOTRE TRAVAIL DE RECHERCHE ETAIT L'ASSOCIATION DE LA PUISSANCE DE MODELISATION DES RESEAUX DE PETRI HYBRIDES ET LA PUISSANCE D'ANALYSE DES AUTOMATES HYBRIDES. POUR CELA, NOUS AVONS PROPOSE UN ALGORITHME PERMETTANT DE CONSTRUIRE L'AUTOMATE HYBRIDE DECRIVANT L'EVOLUTION D'UN RESEAU DE PETRI HYBRIDE. LA CLASSE DES RESEAUX DE PETRI HYBRIDES VALIDE PAR L'ALGORITHME DE PASSAGE A ETE IDENTIFIEE. POUR LA CLASSE DES RESEAUX DE PETRI HYBRIDES PERIODIQUES, NOUS AVONS PROPOSE UNE APPROCHE D'ANALYSE QUANTITATIVE. ELLE EST BASEE SUR L'ANALYSE D'ATTEIGNABILITE DE L'AUTOMATE HYBRIDE ASSOCIE AU RESEAU DE PETRI HYBRIDE. EN EFFET, LE CALCUL DE LA REGION ATTEIGNABLE DE L'AUTOMATE HYBRIDE NOUS PERMET DE CARACTERISER LE FONCTIONNEMENT PERIODIQUE QUAND IL EXISTE, ET DE CALCULER CERTAINES QUANTITES RELATIVES AUX ENTITES DU RESEAU DE PETRI HYBRIDE. CES QUANTITES PEUVENT ETRE INTERPRETEES COMME DES PERFORMANCE DU SYSTEME MODELISE. L'INTERET DE L'APPROCHE RESIDE DANS L'EXACTITUDE DU CALCUL DES QUANTITES MOYENNES
Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri by Andra Ioana Vasiliu( )

2 editions published in 2012 in French and held by 3 WorldCat member libraries worldwide

La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimal
Commande supervisée des systèmes à évènements discrets by François Charbonnier( Book )

1 edition published in 1996 in French and held by 3 WorldCat member libraries worldwide

L'accroissement de la complexité des systèmes automatises rend de plus en plus nécessaire l'utilisation de méthodes formelles qui permettent de prouver, a priori, qu'un procédé commande satisfait un cahier des charges impose. La théorie de la supervision des systèmes a événements discrets, initiée par les travaux de Ramadge et Wonham, vise à répondre à cet objectif. Etant donnés un procédé et des spécifications logiques de fonctionnement, des techniques permettent de synthétiser de façon systématique un superviseur de facon a ce que le procédé couple au superviseur respecte les spécifications. Ces techniques reposent sur la théorie des langages formels et la théorie des automates. Dans cette approche, un procédé est considéré comme un générateur spontané d'évènements et le rôle du superviseur se cantonne a interdire l'occurrence de certains évènements dans le procédé. Cependant, un procédé nécessite d'être couple a un système de commande qui force certains évènements à se produire et l'approche Ramage-Wonham ne permet donc pas de faire de la commande. Ceci nous a conduits à définir le concept de commande supervisée. Ce concept hiérarchise les rôles dévolus à la commande et à la supervision et fournit une représentation claire des notions d'entrées/sorties. L'approche proposée permet de systématiser et formaliser le passage de la synthèse a l'implantation de la commande. La commande supervisée peut avantageusement s'appuyer sur l'outil grafcet. Néanmoins, les preuves formelles sont effectuées à partir de modèles automates. Dans cette thèse, les algorithmes proposes permettent de systématiser l'obtention de modeles automates a partir de modeles GRAFCETS de commande et de supervision. Le concept de commande supervisée a été applique à l'atelier inter-établissements de productique de Grenoble. La démarche employée est détaillée pour une partie du procédé
Contribution à une approche robuste pour la distribution des systèmes synchrones by Mohamed Moez Yeddes( )

2 editions published in 2000 in French and held by 3 WorldCat member libraries worldwide

ON ETUDIE DANS CETTE THESE UNE TECHNIQUE DE DISTRIBUTION ROBUSTE POUR LES SYSTEMES SYNCHRONES. LA MOTIVATION DE CE TRAVAIL A ETE D'UNIFIER ET DE FORMALISER LES APPROCHES UTILISEES PAR LES PRATICIENS DU DOMAINE LORS DE LA DISTRIBUTION DES SYSTEMES DE COMMANDE CRITIQUES. DANS UN PREMIER TEMPS, ON A PROPOSE UNE STRUCTURE DE DISTRIBUTION OFFRANT UNE SIMPLICITE ET CONVIVIALITE DE MISE EN UVRE POUR LES APPLICATIONS INDUSTRIELLES. L'IDEE DE BASE DE CETTE STRUCTURE EST QUE CHAQUE COMPOSANTE DU SYSTEME DISTRIBUE EVOLUE CONFORMEMENT A SA PROPRE HORLOGE ET INDEPENDAMMENT DES AUTRES COMPOSANTES. PAR LA SUITE, DES PROPRIETES LIEES AU COMPORTEMENT DU SYSTEME APRES SA DISTRIBUTION ONT ETE INTRODUITES. ELLES GARANTISSENT QUE LA DISTRIBUTION DE L'APPLICATION SE FERA CORRECTEMENT DES QUE LA COMMANDE EN MODE CENTRALISE A ETE VALIDEE. CECI AFFRANCHIT DE LA VALIDATION DU SYSTEME DISTRIBUE POUR LEQUEL L'EXPLOSION COMBINATOIRE DU NOMBRE D'ETATS ACCESSIBLES INTERDIT TOUTE VERIFICATION. DANS UN DEUXIEME TEMPS, NOUS AVONS PROPOSE UNE APPROCHE D'ANALYSE DES PROPRIETES NECESSAIRES POUR L'UTILISATION DE LA STRUCTURE DE DISTRIBUTION PROPOSEE. LA TECHNIQUE PROPOSEE EST BASEE SUR UNE ALGEBRE TERNAIRE INTRODUITE PAR EICHELBERGER. ELLE OFFRE UNE MEILLEURE MODELISATION DES PROBLEMES LIES A L'INCERTITUDE INTRODUITE PAR UNE DISTRIBUTION. AINSI, NOUS AVONS PROPOSE DES ALGORITHMES PERMETTANT DE SYSTEMATISER LA VERIFICATION DE CES PROPRIETES. DANS UN TROISIEME TEMPS, NOUS NOUS SOMMES INTERESSE A UNE SYNTHESE BASEE SUR LES PARTITIONS SUBSTITUTIVES UTILISEES POUR LE CODAGE DES CIRCUITS ASYNCHRONES. IL EST AINSI POSSIBLE DE DECOUPLER LES DYNAMIQUES DE CHAQUE COMPOSANTE ET D'OFFRIR UN MEILLEUR CHAMP D'APPLICATION DE LA STRUCTURE DE DISTRIBUTION PROPOSEE
Sur la synthèse de la commande des systèmes à évènements discrets temporisés by Alexandru Tiberiu Sava( )

2 editions published in 2001 in French and held by 3 WorldCat member libraries worldwide

Les travaux de recherche présentés dans cette thèse proposent une méthodologie de synthèse de la commande des systèmes à événements discrets temporisés permettant de calculer l'ensemble de toutes les lois de commande telles que le fonctionnement du système respecte les spécifications imposées par le cahier des charges. Notre approche associe la capacité de modélisation de l'outil réseau de Petri T-temporel à la puissance d'analyse des automates temporisés. Dans un premier temps, le système à commander est modélisé par un réseau de Petri T-temporel. Ensuite on construit l'automate temporisé qui modélise le comportement de ce réseau de Petri T-temporel. Les comportements non-désirés sont modélisés par des sommets interdits. La synthèse de la commande est basée sur des techniques d'analyse d'atteignabilité spécifiques aux automates temporisés. La méthode proposée consiste à calculer des nouvelles gardes des transitions de l'automate telles que les sommets interdits ne soient jamais atteints. L'approche de synthèse de la commande présenté dans cette thèse s'adresse aux systèmes à événements discrets temporisés modélisés par des réseaux de Petri T-temporels bornés avec des contraintes temporelles spécifiées par des nombres rationnels
Intelligence artificielle et automatique by École d'été d'automatique de Grenoble( Book )

1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide

Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides by Haithem Derbel( )

2 editions published in 2009 in French and held by 3 WorldCat member libraries worldwide

Notre travail de recherche concerne l'étude du diagnostic à base de modèles pour les systèmes temporisés et pour une sous-classe de systèmes dynamiques hybrides. Nous avons d'abord développé une méthode de diagnostic basée sur la compilation hors-ligne d'un diagnostiqueur à partir du modèle automate temporisé du système à diagnostiquer. Une méthode systématique permettant la vérification de la diagnosticabilité du modèle utilisé est ensuite donnée. Nous avons ensuite proposé une méthode de diagnostic pour une sous-classe de systèmes dynamiques hybrides modélisés par des automates hybrides rectangulaires. Cette méthode repose sur l'utilisation d'une procédure de diagnostic en-ligne qui estime l'état courant du système ainsi que les occurrences des défauts non-observables. Enfin, nous avons proposé une méthode de vérification de la diagnosticabilité du langage temporisé accepté par un automate hybride rectangulaire vérifiant les hypothèses considérées dans notre travail
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Discrete, ... to 0.00 for Discrete, ...)

Discrete, continuous, and hybrid Petri Nets Discrete, Continuous, and Hybrid Petri Nets
Covers
Discrete, Continuous, and Hybrid Petri Nets
Alternative Names
Alla, Hassane.

Allāh, Ḥ.

Allāh, Ḥ. (Ḥassān)

Allāh, Ḥassān

Hassan Hormat Allah futbolista marroquí

Hassan Hormat Allah futbollist maroken

Hassan Hormat Allah imreoir sacair Maracach

Hassan Hormat Allah joueur de football marocain

Hassan Hormat Allah Moroccan association football player

Hassan Hormat Allah voetballer uit Marokko

阿拉.

Languages
English (56)

French (35)

Chinese (2)