Armand Toguyéni

According to our database1, Armand Toguyéni authored at least 28 papers between 2003 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 




On-line fault diagnosis of FMS based on flows analysis.
J. Intelligent Manufacturing, 2018

On-The-Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets.
Applied Mathematics and Computer Science, 2018

Model-Based Diagnosis of Multi-Track Level Crossing Plants.
IEEE Trans. Intelligent Transportation Systems, 2016

Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.
Proceedings of the Software Architecture - 10th European Conference, 2016

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets.
Proceedings of the ADECS 2014, 2014

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques.
IEEE Trans. Intelligent Transportation Systems, 2012

A Switched System Approach to Exponential Stabilization Through Communication Network.
IEEE Trans. Contr. Sys. Techn., 2012

A constraint programming approach for generating firing sequences in timed Petri nets with token identification.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Timed Specification Patterns for System Validation: A Railway Case Study.
Proceedings of the Informatics in Control, Automation and Robotics, 2010

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.
Proceedings of the ICINCO 2010, 2010

Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets.
Electr. Notes Theor. Comput. Sci., 2009

State Observer for DES Under Partial Observation with Time Petri Nets.
Discrete Event Dynamic Systems, 2009

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example.
Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

A Component Modular Modeling Approach Based on Object Oriented Petri Nets for the Performance Analysis of Distributed Discrete Event Systems.
Proceedings of the Fifth International Conference on Networking and Services, 2009

Fair Queuing Model for EDCA to Optimize QoS in Ad-Hoc Wireless Network.
Proceedings of the Eighth International Conference on Networks, 2009

A remote observer and controller with adaptation to the network quality of service.
Proceedings of the European Control Conference, 2009

Performance and Complexity Evaluation of Multi-Path Routing Algorithms for MPLS-TE.
Proceedings of the ICSOFT 2008, 2008

A mathematical programming approach for the reconfiguration of reconfigurable manufacturing systems with token identification.
Proceedings of the IEEE International Conference on Systems, 2007

A semi-formal approach to build the functional graph of an automated production system for supervision purposes.
Int. J. Computer Integrated Manufacturing, 2006

Implementation of an Internet-controlled system under variable delays.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Hybrid Multipath Routing Algorithm for Load Balancing in MPLS Based IP Network.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

Comparison of Multipath Algorithms for Load Balancing in a MPLS Network.
Proceedings of the Information Networking, 2005

An UML approach for the metamodelling of automated production systems for monitoring purpose.
Computers in Industry, 2004

Diagnosability of automated production systems using Petri net based models.
Proceedings of the IEEE International Conference on Systems, 2004

Towards an approach to automate reconfiguration procedure in automated production systems.
Proceedings of the IEEE International Conference on Systems, 2004

UML modelling approach to build an information system for automated production systems.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003