Valette, Robert.
Valette, Robert, 1945-....
VIAF ID: 27167974 ( Personal )
Permalink: http://viaf.org/viaf/27167974
Preferred Forms
- 200 _ | ‡a Valette ‡b Robert ‡f 1945-....
-
-
-
- 100 1 _ ‡a Valette, Robert
- 100 1 _ ‡a Valette, Robert
- 100 1 _ ‡a Valette, Robert
-
- 100 1 _ ‡a Valette, Robert, ‡d 1945-....
-
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
About Petri nets with fuzzy markings. | |
Application and Theory of Petri Nets 1994 : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings | |
Commande des procédés discontinus : logique séquentielle | |
CONCEPTION ET MISE EN OEUVRE DE LA FONCTION COORDINATION POUR UNE COMMANDE DISTRIBUEE D'ATELIER | |
Conception et pilotage de cellules flexibles à fonctionnement répétitif modélisées par réseaux de Petri | |
Contribution à la commande et à la surveillance d'ateliers flexibles | |
Contribution à l'analyse des systèmes pilotés par calculateur : extraction de scénarios redoutés et vérification de contraintes temporelles | |
Contribution to the analysis of computer-controlled systems : extraction of feared scenarios and checking of temporal constraints. | |
Design and implementation of the co-ordination function for distributed control in manufacturing system. | |
design and real time control of flexible cells with a cyclic behavior based on a petri net model. | |
Étude du comportement à fort signal de systèmes de commande comprenant un redresseur pholyphasé | |
LINEAR LOGIC FORMALISATION OF PETRI NET TOKEN GAME. | |
A LOGICAL TOOLBOX FOR MULTI-VIEWPOINT REQUIREMENT ENGINEERING. | |
Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile | |
Modélisation des systèmes réactifs actes de MSR'2001, 17 octobre-19 octobre, ENSICA, Toulouse, France | |
Modélisation et analyse temporelle par réseaux de Pétri et logique linéaire | |
Modelling of reactive systems | |
MSR'2001 | |
Un outillage logique pour l'ingenierie des exigences multi-points de vue | |
Petri nets for the study of space system operational availability in early design phases. | |
Petri nets temporal reasoning for systems involving resources. | |
PN'94 | |
Réseaux de Petri P-temporels : contributions à la commande robuste | |
Réseaux de Petri pour l'étude de la disponibilité opérationnelle des sytèmes spatiaux en phases d'avant-projet | |
Ressource allocation methods for flexible manufacturing systems using structure theory of Petri nets. | |
SIMULTANEOUS USE OF ARTIFICIAL INTELLIGENCE AND PETRI NETS: APPLICATION TO A MANUFACTURING SCHEME EXECUTION CONTROL. | |
Supervision des systèmes discontinus : définition d'un modèle hybride et pilotage en temps-réel | |
Supervision of batch systems : definition of a hybrid model and real-time control. | |
Sur la description, l'analyse et la validation des systèmes de commande parallèles. | |
Sur les réseaux de pétri à marquages flous | |
Systèmes d'exploitation des micro-ordinateurs, c1986: | |
Temporal modelling and analysis by Petri nets and linear logic. | |
UTILISATION CONJOINTE DE L'INTELLIGENCE ARTIFICIELLE ET DES RESEAUX DE PETRI : APPLICATION AU CONTROLE D'EXECUTION D'UN PLAN DE FABRICATION | |
La vie, la mort, l'amour |