Publications HAL de Armand,Toguyeni

Journal articles

2018

titre
On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
auteur
Ben Li, Manel Khlif-Bouassida, Armand Toguyeni
article
International Journal of Applied Mathematics and Computer Science, De Gruyter, 2018, 28 (2), pp.269-281. ⟨10.2478/amcs-2018-0019⟩
Accès au bibtex
BibTex
titre
On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
Asian Journal of Control, 2018, 20 (1), 13p. ⟨10.1002/asjc.1508⟩
Accès au bibtex
BibTex

2016

titre
On-line fault diagnosis of FMS based on flows analysis
auteur
Olfa Fakhfakh, Armand Toguyéni, Ouajdi Korbaa
article
Journal of Intelligent Manufacturing, Springer Verlag (Germany), 2016, ⟨10.1007/s10845-016-1219-9⟩
Accès au bibtex
BibTex
titre
Model-Based Diagnosis of Multi-Track Level Crossing Plants
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
article
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2016, 17 (2), pp.546 - 556. ⟨10.1109/TITS.2015.2478910⟩
Accès au bibtex
BibTex
titre
Model-Based Diagnosis of Multi-Track Level Crossing Plants
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2016, 17 (2), p546 - 556. ⟨10.1109/TITS.2015.2478910⟩
Accès au bibtex
BibTex

2015

titre
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations
auteur
Ben Li, Baisi Liu, Armand Toguyeńi
article
IFAC-PapersOnLine, Elsevier, 2015, 48 (21), pp.326 - 331. ⟨10.1016/j.ifacol.2015.09.548⟩
Accès au bibtex
BibTex

2014

titre
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
article
IFAC Proceedings Volumes, Elsevier, 2014, 47 (3), pp.1784 - 1789. ⟨10.3182/20140824-6-ZA-1003.02336⟩
Accès au bibtex
BibTex

2013

titre
Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩
Accès au bibtex
BibTex

2012

titre
Assisting Temporal Requirement Specification
auteur
Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni
article
Computer Technology and Application, 2012, 3 (1), pp.47-55
Accès au bibtex
BibTex
titre
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques
auteur
Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni
article
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2012, 3 (2), pp.714-723. ⟨10.1109/TITS.2011.2178238⟩
Accès au bibtex
BibTex
titre
A switched system approach to exponential stabilization through communication network
auteur
Alexandre Kruszewski, Wenjuan Jiang, Emilia Fridman, Jean-Pierre Richard, Armand Toguyeni
article
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2012, 20 (4), pp.887-900. ⟨10.1109/TCST.2011.2159793⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00602327/file/IEEEcst2011.pdf BibTex

2011

titre
Diagnostic des systèmes embarqués critiques : Application à la carte de commande du système de freinage d'un train
auteur
Ramla Saddem, Armand Toguyeni, Moncef Tagina
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011, 45 (1-3), pp.205-220. ⟨10.3166/jesa.45.205-220⟩
Accès au bibtex
BibTex

2009

titre
A component-based approach based on High-Level Petri Nets for modeling Distributed Control Systems
auteur
Aladdin Masri, Thomas Bourdeaud_huy, Armand Toguyeni
article
International Journal On Advances in Intelligent Systems, IARIA, 2009, 2 (2 et 3), pp.335-353
Accès au bibtex
BibTex
titre
A Component-Based Approach Based On High-Level Petri Nets For Modeling Distributed Control Systems
auteur
A. Masri, Thomas Bourdeaud'Huy, Armand Toguyeni
article
International Journal On Advances in Intelligent Systems, IARIA, 2009, pp.Volume 2, Numbers 2&3
Accès au bibtex
BibTex
titre
State Observer for DES Under Partial Observation with Time Petri Nets
auteur
Mohamed Ghazel, Armand Toguyeni, Pascal Yim
article
Discrete Event Dynamic Systems, Springer Verlag, 2009, 19 (2), pp.137-165. ⟨10.1007/s10626-009-0060-0⟩
Accès au bibtex
BibTex
titre
DiffServ aware MPLS Traffic Engineering for ISP networks: State of Art and New Trends
auteur
Armand Toguyeni, Ouajdi Korbaa
article
Journal of Telecommunications and Information Technology, National Institute of Telecommunications, Warsaw, 2009, 1, pp.5-13
Accès au bibtex
BibTex

2003

titre
Models and algorithms for failure diagnosis and recovery in FMS
auteur
Armand Toguyeni, Pascal Berruet, Etienne Craye
article
International Journal of Flexible Manufacturing Systems, Springer Verlag, 2003, Vol 15, N°1, pp.57-85
Accès au bibtex
BibTex

Conference papers

2018

titre
Optimisation de tournée de véhicule dans un environnement portuaire
auteur
Nicolas Danloup, Benoît Trouillet, Thomas Bourdeaud’huy, Armand Toguyéni
article
GOL 2018 - International Conference on Logistics Operations Management, Apr 2018, Le Havre, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01728605/file/conference_071817.pdf BibTex

2017

titre
Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems
auteur
Ben Li, João Carlos Basilio, Manel Khlif-Bouassida, Armand Toguyéni
article
The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, Jul 2017, Toulouse, France. pp.13618 - 13623, ⟨10.1016/j.ifacol.2017.08.2387⟩
Accès au bibtex
BibTex

2016

titre
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
auteur
Soraya Mesli, Djamal Kesraoui, Flavio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
article
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.210-226
Accès au bibtex
BibTex
titre
On-the-fly diagnosability analysis of LPN using verifier nets
auteur
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
article
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol), Sep 2016, Barcelona, France. ⟨10.1109/SYSTOL.2016.7739768⟩
Accès au bibtex
BibTex
titre
Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
auteur
Soraya Mesli, Armand Toguyéni, Alain Bignon, Flavio Oquendo, Djamal Kesraoui, Pascal Berruet
article
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. pp.427-467
Accès au bibtex
BibTex
titre
Vérification formelle de chaines de contrôle-commande d'éléments de conception standardisés
auteur
Soraya Mesli, Alain Bignon, Djamal Kesraoui, Armand Toguyeni, Flavio Oquendo, Pascal Berruet
article
Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada
Accès au bibtex
BibTex
titre
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules
auteur
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
article
2016 13th International Workshop on Discrete Event Systems (WODES), May 2016, Xi'an, France. ⟨10.1109/WODES.2016.7497844⟩
Accès au bibtex
BibTex

2015

titre
Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots
auteur
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
article
Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224445/file/paper%2026.pdf BibTex
titre
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations
auteur
Ben Li, Baisi Liu, Armand Toguyeni
article
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015), Sep 2015, Paris, France. p326-331, ⟨10.1016/j.ifacol.2015.09.548⟩
Accès au bibtex
BibTex
titre
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants
auteur
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
article
5th IFAC International Workshop on Dependable Control of Discrete Systems DCDS 2015, May 2015, Cancun, Mexico. pp.64 - 70, ⟨10.1016/j.ifacol.2015.06.474⟩
Accès au bibtex
BibTex
titre
A modeling method for the diagnosis of embedded systems based on a discrete behavior
auteur
Ramla Saddem, Armand Toguyeni
article
15th IFAC Symposium on Information Control Problems in Manufacturing, May 2015, Ottawa, Canada. pp.755 - 760, ⟨10.1016/j.ifacol.2015.06.173⟩
Accès au bibtex
BibTex

2014

titre
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
IFAC World congress - 19th World Congress of the International Federation of Automatic Control, Aug 2014, South Africa. 6p
Accès au bibtex
BibTex
titre
Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
13th European Control Conference - ECC'2014, Jun 2014, France. 6p
Accès au bibtex
BibTex
titre
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p
Accès au bibtex
BibTex
titre
Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
article
2014 European Control Conference (ECC), Jun 2014, Strasbourg, France. ⟨10.1109/ECC.2014.6862505⟩
Accès au bibtex
BibTex

2013

titre
Operational diagnosability of a digital embedded system controlling a critical system
auteur
Ramla Saddem, Manel Khlif Bouassida, Armand Toguyeni
article
2013 Conference on Control and Fault-Tolerant Systems (SysTol), Oct 2013, Nice, France. ⟨10.1109/SysTol.2013.6693944⟩
Accès au bibtex
BibTex

2012

titre
K-diagnosability of labeled Petri nets
auteur
Baisi Liu, Mohamed Ghazel, Armand Toguyeni
article
9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Nicolas Gouvy, Oct 2012, Villeneuve d'Ascq, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780283/file/majecstic2012_submission_9.pdf BibTex
titre
A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token Identification
auteur
Yongliang Huang, Thomas Bourdeaud'Huy, Armand Toguyeni, Pierre-Alain Yvars
article
International Workshop on Discrete Event Systems, Oct 2012, Mexico. pp.149-156, ⟨10.3182/20121003-3-MX-4033.00026⟩
Accès au bibtex
BibTex
titre
A constraint programming model for solving reachability problem in timed Petri nets
auteur
Yongliang Huang, Thomas Bourdeaud'Huy, Pierre-Alain Yvars, Armand Toguyeni
article
International Conference of Modeling, Optimization and Simulation, Jun 2012, France
Accès au bibtex
BibTex
titre
A CONSTRAINT PROGRAMMING MODEL FOR SOLVING REACHABILITY PROBLEM IN TIMED PETRI NETS
auteur
Yongliang Huang, Thomas Bourdeaud'Huy, Pierre-Alain Yvars, Armand Toguyeni
article
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00728620/file/paper_140.pdf BibTex
titre
Double Chaining Approach for Indirect Monitoring of FMS under Cyclic Scheduling
auteur
Fakhfakh Olfa, Ouajdi Korbaa, Armand Toguyeni
article
14th IFAC Symposium on Information Control Problems in Manufacturing, May 2012, Bucarest, Romania. pp.151-157, ⟨10.3182/20120523-3-RO-2023.00223⟩
Accès au bibtex
BibTex
titre
Using Constraint Programming for Solving the Reachability Problem in Timed Petri Nets: Evaluation of Basic Labeling Strategies
auteur
Yongliang Huang, Thomas Bourdeaud'Huy, Pierre-Alain Yvars, Armand Toguyeni
article
14th IFAC Symposium on Information Control Problems in Manufacturing, May 2012, Bucarest, Romania. pp.160-166, ⟨10.3182/20120523-3-RO-2023.00216⟩
Accès au bibtex
BibTex

2011

titre
Diagnosis of Critical Embedded Systems: Application to the Control Card of a Railway Vehicle Braking Systems
auteur
Ramla Saddem, Armand Toguyeni, Moncef Tagina
article
IEEE Conference on Automation Science and Engineering, Nov 2011, Trieste, Italy. pp.163-168, ⟨10.1109/CASE.2011.6042512⟩
Accès au bibtex
BibTex
titre
A model-checking approach for checking the Consistency of a set of Causal Temporal Signatures
auteur
Ramla Saddem, Armand Toguyeni, Moncef Tagina
article
9th European Workshop on Advanced Control and Diagnosis, Nov 2011, Budapest, Hungary. pp.1-6
Accès au bibtex
BibTex
titre
Patterns-Based Assistance for Temporal Requirement Specification
auteur
Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni
article
Software Engineering Research and Practice (SERP2011), Jul 2011, Las Vegas, United States. pp.1-7
Accès au bibtex
BibTex
titre
Commande tolérante aux fautes d'un véhicule autonome suite à des défaillances d'actionneurs
auteur
Alain Haddad, Abdel Aitouche, Vincent Cocquempot, Armand Toguyeni
article
Journées Automatique et Automobile (JAA' 11), Jul 2011, Bordeaux, France
Accès au bibtex
BibTex
titre
From a Functional Graph to a T-Timed Petri Nets Model for the diagnosis of Complex System
auteur
Ramla Saddem, Armand Toguyeni, Moncef Tagina
article
International Conference on Communications, Computing and Control Applications 2001, Mar 2011, Hammamet, Tunisia. pp.1-6, ⟨10.1109/CCCA.2011.6031509⟩
Accès au bibtex
BibTex

2010

titre
Consistency's checking of chronicles' set Using Time Petri Nets
auteur
Ramla Saddem, Armand Toguyeni, Moncef Tagina
article
18th Mediterranean Conference on Control & Automation (IEEE MED'2010), Jun 2010, Marrakech, Morocco. pp.1520-1525
Accès au bibtex
BibTex
titre
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study
auteur
Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni
article
7th International Conference on Informatics in Control, Automation and Robotics, Jun 2010, Funchal, Portugal. pp.45-52
Accès au bibtex
BibTex
titre
Time-constrained systems validation using mda model transformation. A railway case study
auteur
Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni
article
8th International Conference of Modeling and Simulation MOSIM'10, May 2010, Hammamet, Tunisia. pp.1-10
Accès au bibtex
BibTex

2009

titre
A remote observer and controller with adaptation to the network Quality of Service
auteur
Wenjuan Jiang, Alexandre Kruszewski, Jean-Pierre Richard, Armand Toguyeni
article
ECC'09, 10th European Control Conf., EUCA-IFAC-IEEE, Aug 2009, Budapest, Hungary. pp.666
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00386276/file/ecc091.pdf BibTex
titre
Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers
auteur
Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni
article
Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco. pp.112-124
Accès au bibtex
BibTex
titre
Evaluation of Mathematical Programming Models For The Reconfiguration Of Reconfigurable Manufacturing Systems
auteur
Thomas Bourdeaud'Huy, Armand Toguyeni
article
13th IFAC Symposium on Information Control Problems in Manufacturing, Jun 2009, Russia. pp.1941-1946, ⟨10.3182/20090603-3-RU-2001.00326⟩
Accès au bibtex
BibTex
titre
Output control with Internet-in-the-loop : An event-driven realization
auteur
Wenjuan Jiang, Alexandre Kruszewski, Jean-Pierre Richard, Armand Toguyeni
article
STMAC'09, Int. Conf. on Systems Theory - Modelling, Analysis & Control, May 2009, Fes, Morocco
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00359478/file/STMAC09_fes.pdf BibTex
titre
A Component Modular Modeling Approach Based on Object Oriented Petri Nets for the Performance Analysis of Distributed Discrete Event Systems
auteur
A. Masri, Thomas Bourdeaud'Huy, Armand Toguyeni
article
Fifth International Conference on Networking and Services, Apr 2009, Spain
Accès au bibtex
BibTex
titre
Fair Queuing Model for EDCA to Optimize QoS in Ad-Hoc Wireless Network.
auteur
Hanal Abuzanat, Benoit Trouillet, Armand Toguyeni
article
ICN '09, Eighth International Conference on Networks, 2009., Mar 2009, Gosier, Guadeloupe, France. pp.306-311, ⟨10.1109/ICN.2009.51⟩
Accès au bibtex
BibTex

2008

titre
Network Protocol Modeling: A Time Petri Net Modular Approach.
auteur
A. Masri, Thomas Bourdeaud'Huy, Armand Toguyeni
article
16th International Conference On Software, Telecommunications and Computer Networks, Sep 2008, Croatia
Accès au bibtex
BibTex
titre
Evaluation de performances et de la complexité d'algorithmes de routage multi-chemins pour MPLS-TE
auteur
Khodor Abboud, Armand Toguyeni, Ahmed Rahmani
article
Conférence Internationale Francophone d'Automatique 2008, Sep 2008, Bucarest, Roumanie. pp.1-6
Accès au bibtex
BibTex
titre
Routing Fairness Model for QoS Optimization in Wireless Network
auteur
Hanal Abuzanat, Benoit Trouillet, Armand Toguyeni
article
Second International Conference on Sensor Technologies and Applications, 2008., Aug 2008, Cap Esterel, France. pp.776 - 781
Accès au bibtex
BibTex
titre
Performance and Complexity Evaluation of Multi-path Routing Algorithms for MPLS-TE Applied on Large Scales Topologies
auteur
Khodor Abboud, Armand Toguyeni, Ahmed Rahmani
article
Second International Conference on Sensor Technologies and Applications, 2008., Aug 2008, Cap Esterel, France. pp.782 - 787
Accès au bibtex
BibTex
titre
A gain scheduling strategy for the control and estimation of a remote robot via Internet
auteur
Wenjuan Jiang, Alexandre Kruszewski, Jean-Pierre Richard, Armand Toguyeni
article
CCC'08 - 27th Chinese Control Conference, Jul 2008, Kunming, Yunnan, China. ⟨10.1109/CHICC.2008.4605866 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00266451/file/CCC2008-file2502.pdf BibTex
titre
Interception of a Moving Object in a FIFO Graph
auteur
Mohamed Mejdi Hizem, Emmanuel Castelain, Armand Toguyeni
article
17th IFAC World Congress, 2008, Jul 2008, Seoul, South Korea. pp.7124-7129, ⟨10.3182/20080706-5-KR-1001.01208⟩
Accès au bibtex
BibTex
titre
Performance and Complexity evaluation of multi-path routing algorithms for MPLS-TE
auteur
Khodor Abboud, Armand Toguyeni, Ahmed Rahmani
article
International Conference on Software and Data Technologies, Jul 2008, Portugal. pp.6
Accès au bibtex
BibTex
titre
Implementation of an Internet-based remote controller with guaranteed exponential stabilization
auteur
Wenjuan Jiang, Jean-Pierre Richard, Armand Toguyeni
article
ICA'08 - 7th IEEE World Congress on Intelligent Control and Automation, Jun 2008, Chongqing, China. pp.4063 - 4068, ⟨10.1109/WCICA.2008.4594512⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00266452/file/ICA08-AMC.pdf BibTex
titre
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets
auteur
A. Masri, Thomas Bourdeaud'Huy, Armand Toguyeni
article
Electronic Notes in Theoretical Computer Science (ENTCS), Jun 2008, Canada. pp.Volume 242 Issue 2, Pages 73-85
Accès au bibtex
BibTex

2006

titre
Implementation of an Internet-controlled system under variable delays
auteur
Alexandre Seuret, Mireia Termens-Ballester, Armand Toguyeni, Samir E. Khattabi, Jean-Pierre Richard
article
IEEE Conference on Emerging Technologies and Factory Automation, 2006. ETFA '06., Sep 2006, Prague, Czech Republic. ⟨10.1109/ETFA.2006.355213⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00385930/file/ETFAC002038.pdf BibTex