Armand Toguyéni

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