Toguyeni, Abdoul Karim Armand, 1964-...
VIAF ID: 216057420 ( Personal )
Permalink: http://viaf.org/viaf/216057420
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Actuator Sensor Securing over Industrial Network. | |
Une approche efficace pour l'étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés : contextes atemporel et temporel | |
Une approche incrémentale pour l'extraction de séquences de franchissement dans un Réseau de Petri Temporisé : application à la reconfiguration des systèmes de production flexibles | |
Contribution à la commande et à l'observation des systèmes en réseaux | |
Contribution for the Specification and the Verification of Temporal Requirements : Proposal of an extension for the ERTMS-Level 2 specifications. | |
A contribution to control and observation of networked control systems. | |
Contribution to dynamic rebalancing of assembly lines : modeling, resolutions and applications. | |
Diagnostic des défauts dans les systèmes à évènements discrets soumis à des contraintes temporelles | |
Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques | |
An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets : Untimed and Timed Contexts. | |
Évaluation de performance d'architecture de contrôle-commande en réseau dans un contexte incertain d'avant-vente | |
Fairness models to improve the quality of service in ad-hoc wireless networks. | |
Global QoS model in the ISP networks : DiffServ-aware MPLS Traffic Engineering. | |
Integration of formal verification techniques into a control-command system design approach : application to SCADA architectures. | |
Intelligent case based reasoning approach for online diagnosis of automated production systems. | |
Low-level modeling for trains routing and scheduling in railway stations. | |
Méthodologie pour les études d'automatisation et la génération automatique de programmes Automates Programmables Industrielssûrs de fonctionnement. Application aux Equipements d'Alimentation des Lignes Électrifiées | |
Methodology for automation studies and for automatic generation of safety Programmable Logic Controller code. | |
Modèles d'équité pour l'amélioration de la qualité de service dans les réseaux sans fil en mode ad-hoc | |
Modélisation de bas niveau pour le routage et l'ordonnancement des trains dans les gares ferroviaires | |
Modular diagnosability applied to on line Diagnosis of Digital Embedded System. | |
Monitoring of discrete event systems using Time Petri nets. | |
On-line monitoring and diagnosis in flexible manufacturing system. | |
Path computation in weighted graphs : application to itinerary optimization in road networks. | |
Performance assessment of Networked Control System (NCS) during uncertain pre-sales context. | |
Probability of faults for partially observed Timed PNs with temporal constraints. | |
Recherche de chemins dans un graphe à pondération dynamique : application à l'optimisation d'itinéraires dans les réseaux routiers | |
Sécurisation de capteurs/actionneurs sur réseau industriel | |
Surveillance des systèmes à évènements discrets à l'aide des réseaux de Petri Temporels | |
Surveillance et diagnostic en ligne dans les ateliers flexibles de l'industrie manufacturière | |
Synthèse de contrôle par supervision pour la reconfiguration des réseaux HVDC. | |
Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles : application au contrôle automatisé des trains | |
Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling. | |
Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l'architecture de communication dans la modélisation |