Armand Toguyéni

According to our database, Armand Toguyéni authored at least 32 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Comparison Between Model-Based and Data-Based Methods for Fault Diagnosis of Railway Turnouts.

Asma Ladj, Belkacem Ould Bouamama, Armand Toguyéni

Proceedings of the 8th International Conference on Control, 2022

2020

Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets.

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni

IEEE Trans Autom. Sci. Eng., 2020

2019

Functionability Analysis of Redundant Systems having Multiple Configurations.

Pushpendra Kumar, Ismail Bensekrane, Chemali Riad, Blaise Conrard, Armand Toguyéni, Rochdi Merzouki

Proceedings of the 4th Conference on Control and Fault Tolerant Systems, 2019

Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node.

Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni

Proceedings of the 6th International Conference on Control, 2019

2018

On-line fault diagnosis of FMS based on flows analysis.

Olfa Fakhfakh, Armand Toguyéni, Ouajdi Korbaa

J. Intell. Manuf., 2018

On-The-Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets.

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni

Int. J. Appl. Math. Comput. Sci., 2018

2016

Model-Based Diagnosis of Multi-Track Level Crossing Plants.

Baisi Liu, Mohamed Ghazel, Armand Toguyéni

IEEE Trans. Intell. Transp. Syst., 2016

Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules.

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.

Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet

Proceedings of the Software Architecture - 10th European Conference, 2016

2014

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

Baisi Liu, Mohamed Ghazel, Armand Toguyéni

Proceedings of the ADECS 2014, 2014

2012

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

IEEE Trans. Intell. Transp. Syst., 2012

A Switched System Approach to Exponential Stabilization Through Communication Network.

Alexandre Kruszewski, Wenjuan Jiang, Emilia Fridman, Jean-Pierre Richard, Armand Toguyéni

IEEE Trans. Control. Syst. Technol., 2012

A constraint programming approach for generating firing sequences in timed Petri nets with token identification.

Yongliang Huang, Thomas Bourdeaud'huy, Pierre-Alain Yvars, Armand Toguyéni

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2011

Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems.

Ramla Saddem, Armand Toguyéni, Moncef Tagina

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Timed Specification Patterns for System Validation: A Railway Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

Proceedings of the Informatics in Control, Automation and Robotics, 2010

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

Proceedings of the ICINCO 2010, 2010

2009

State Observer for DES Under Partial Observation with Time Petri Nets.

Mohamed Ghazel, Armand Toguyéni, Pascal Yim

Discret. Event Dyn. Syst., 2009

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example.

Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni

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.

Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni

Proceedings of the Fifth International Conference on Networking and Services, 2009

Fair Queuing Model for EDCA to Optimize QoS in Ad-Hoc Wireless Network.

Hanal Abuzanat, Benoit Trouillet, Armand Toguyéni

Proceedings of the Eighth International Conference on Networks, 2009

A remote observer and controller with adaptation to the network quality of service.

Wenjuan Jiang, Alexandre Kruszewski, Jean-Pierre Richard, Armand Toguyéni

Proceedings of the 10th European Control Conference, 2009

2008

Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets.

Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

Performance and Complexity Evaluation of Multi-Path Routing Algorithms for MPLS-TE.

Khodor Abboud, Armand Toguyéni, Ahmed Rahmani

Proceedings of the ICSOFT 2008, 2008

2007

A mathematical programming approach for the reconfiguration of reconfigurable manufacturing systems with token identification.

Sami Hadhri, Thomas Bourdeaud'huy, Armand Toguyéni

Proceedings of the IEEE International Conference on Systems, 2007

2006

A semi-formal approach to build the functional graph of an automated production system for supervision purposes.

Mohamed Ghazel, Armand Toguyéni, Michel Bigand

Int. J. Comput. Integr. Manuf., 2006

Implementation of an Internet-controlled system under variable delays.

Alexandre Seuret, M. Termens-Ballester, Armand Toguyéni, S. El Khattabi, Jean-Pierre Richard

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.

Kyeongja Lee, Armand Toguyéni, Ahmed Rahmani

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Comparison of Multipath Algorithms for Load Balancing in a MPLS Network.

Kyeongja Lee, Armand Toguyéni, Aurélien Noce, Ahmed Rahmani

Proceedings of the Information Networking, 2005

2004

An UML approach for the metamodelling of automated production systems for monitoring purpose.

Mohamed Ghazel, Armand Toguyéni, Michel Bigand

Comput. Ind., 2004

Diagnosability of automated production systems using Petri net based models.

Larbi Sekhri, Armand Toguyéni, Etienne Craye

Proceedings of the IEEE International Conference on Systems, 2004

Towards an approach to automate reconfiguration procedure in automated production systems.

Abdallah Ghariani, Armand Toguyéni, Etienne Craye

Proceedings of the IEEE International Conference on Systems, 2004

2003

UML modelling approach to build an information system for automated production systems.

Mohamed Ghazel, Armand Toguyéni, Michel Bigand

Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003