Armand Toguyéni

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 9

Top Topics

Fault Diagnosis

Discrete Event Systems

Complex Systems

Top Venues

ADECS @ Petri Nets

Publications

Asma Ladj, Belkacem Ould Bouamama, Armand Toguyéni
Comparison Between Model-Based and Data-Based Methods for Fault Diagnosis of Railway Turnouts. CoDIT (2022)
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 17 (2) (2020)
Pushpendra Kumar, Ismail Bensekrane, Chemali Riad, Blaise Conrard, Armand Toguyéni, Rochdi Merzouki
Functionability Analysis of Redundant Systems having Multiple Configurations. SysTol (2019)
Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni
Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. CoDIT (2019)
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
On-The-Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets. Int. J. Appl. Math. Comput. Sci. 28 (2) (2018)
Olfa Fakhfakh, Armand Toguyéni, Ouajdi Korbaa
On-line fault diagnosis of FMS based on flows analysis. J. Intell. Manuf. 29 (8) (2018)
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Trans. Intell. Transp. Syst. 17 (2) (2016)
Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. ECSA (2016)
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. WODES (2016)
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. ADECS @ Petri Nets (2014)
Yongliang Huang, Thomas Bourdeaud'huy, Pierre-Alain Yvars, Armand Toguyéni
A constraint programming approach for generating firing sequences in timed Petri nets with token identification. WODES (2012)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Trans. Intell. Transp. Syst. 13 (2) (2012)
Alexandre Kruszewski, Wenjuan Jiang, Emilia Fridman, Jean-Pierre Richard, Armand Toguyéni
A Switched System Approach to Exponential Stabilization Through Communication Network. IEEE Trans. Control. Syst. Technol. 20 (4) (2012)
Ramla Saddem, Armand Toguyéni, Moncef Tagina
Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems. CASE (2011)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. ICINCO (1) (2010)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Timed Specification Patterns for System Validation: A Railway Case Study. ICINCO (Selected Papers) (2010)
Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni
A Component Modular Modeling Approach Based on Object Oriented Petri Nets for the Performance Analysis of Distributed Discrete Event Systems. ICNS (2009)
Hanal Abuzanat, Benoit Trouillet, Armand Toguyéni
Fair Queuing Model for EDCA to Optimize QoS in Ad-Hoc Wireless Network. ICN (2009)
Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni
Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. SoSE (2009)
Wenjuan Jiang, Alexandre Kruszewski, Jean-Pierre Richard, Armand Toguyéni
A remote observer and controller with adaptation to the network quality of service. ECC (2009)
Mohamed Ghazel, Armand Toguyéni, Pascal Yim
State Observer for DES Under Partial Observation with Time Petri Nets. Discret. Event Dyn. Syst. 19 (2) (2009)
Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. Electron. Notes Theor. Comput. Sci. 242 (2) (2009)
Khodor Abboud, Armand Toguyéni, Ahmed Rahmani
Performance and Complexity Evaluation of Multi-Path Routing Algorithms for MPLS-TE. ICSOFT (PL/DPS/KE) (2008)
Sami Hadhri, Thomas Bourdeaud'huy, Armand Toguyéni
A mathematical programming approach for the reconfiguration of reconfigurable manufacturing systems with token identification. SMC (2007)
Alexandre Seuret, M. Termens-Ballester, Armand Toguyéni, S. El Khattabi, Jean-Pierre Richard
Implementation of an Internet-controlled system under variable delays. ETFA (2006)
Kyeongja Lee, Armand Toguyéni, Ahmed Rahmani
Hybrid Multipath Routing Algorithm for Load Balancing in MPLS Based IP Network. AINA (1) (2006)
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
A semi-formal approach to build the functional graph of an automated production system for supervision purposes. Int. J. Comput. Integr. Manuf. 19 (3) (2006)
Kyeongja Lee, Armand Toguyéni, Aurélien Noce, Ahmed Rahmani
Comparison of Multipath Algorithms for Load Balancing in a MPLS Network. ICOIN (2005)
Abdallah Ghariani, Armand Toguyéni, Etienne Craye
Towards an approach to automate reconfiguration procedure in automated production systems. SMC (5) (2004)
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
An UML approach for the metamodelling of automated production systems for monitoring purpose. Comput. Ind. 55 (3) (2004)
Larbi Sekhri, Armand Toguyéni, Etienne Craye
Diagnosability of automated production systems using Petri net based models. SMC (6) (2004)
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
UML modelling approach to build an information system for automated production systems. ISPE CE (2003)