default search action
Armand Toguyéni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c23]Asma Ladj, Belkacem Ould Bouamama, Armand Toguyéni:
Comparison Between Model-Based and Data-Based Methods for Fault Diagnosis of Railway Turnouts. CoDIT 2022: 617-622 - 2020
- [j9]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): 1061-1069 (2020)
2010 – 2019
- 2019
- [c22]Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni:
Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. CoDIT 2019: 1923-1928 - [c21]Pushpendra Kumar, Ismail Bensekrane, Chemali Riad, Blaise Conrard, Armand Toguyéni, Rochdi Merzouki:
Functionability Analysis of Redundant Systems having Multiple Configurations. SysTol 2019: 282-287 - 2018
- [j8]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): 269-281 (2018) - [j7]Olfa Fakhfakh, Armand Toguyéni, Ouajdi Korbaa:
On-line fault diagnosis of FMS based on flows analysis. J. Intell. Manuf. 29(8): 1891-1904 (2018) - 2016
- [j6]Baisi Liu, Mohamed Ghazel, Armand Toguyéni:
Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Trans. Intell. Transp. Syst. 17(2): 546-556 (2016) - [c20]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: 210-226 - [c19]Ben Li, Manel Khlif-Bouassida, Armand Toguyéni:
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. WODES 2016: 171-176 - 2014
- [c18]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: 20-35 - 2012
- [j5]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): 887-900 (2012) - [j4]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): 714-723 (2012) - [c17]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: 149-156 - 2011
- [c16]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: 163-168 - 2010
- [c15]Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni:
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. ICINCO (1) 2010: 45-52 - [c14]Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni:
Timed Specification Patterns for System Validation: A Railway Case Study. ICINCO (Selected Papers) 2010: 121-134
2000 – 2009
- 2009
- [j3]Mohamed Ghazel, Armand Toguyéni, Pascal Yim:
State Observer for DES Under Partial Observation with Time Petri Nets. Discret. Event Dyn. Syst. 19(2): 137-165 (2009) - [c13]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: 963-968 - [c12]Hanal Abuzanat, Benoit Trouillet, Armand Toguyéni:
Fair Queuing Model for EDCA to Optimize QoS in Ad-Hoc Wireless Network. ICN 2009: 306-311 - [c11]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: 222-227 - [c10]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: 1-6 - 2008
- [c9]Khodor Abboud, Armand Toguyéni, Ahmed Rahmani:
Performance and Complexity Evaluation of Multi-Path Routing Algorithms for MPLS-TE. ICSOFT (PL/DPS/KE) 2008: 119-126 - [c8]Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni:
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. FMWS@CONCUR 2008: 73-85 - 2007
- [c7]Sami Hadhri, Thomas Bourdeaud'huy, Armand Toguyéni:
A mathematical programming approach for the reconfiguration of reconfigurable manufacturing systems with token identification. SMC 2007: 1351-1356 - 2006
- [j2]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): 234-247 (2006) - [c6]Kyeongja Lee, Armand Toguyéni, Ahmed Rahmani:
Hybrid Multipath Routing Algorithm for Load Balancing in MPLS Based IP Network. AINA (1) 2006: 165-172 - [c5]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: 675-680 - 2005
- [c4]Kyeongja Lee, Armand Toguyéni, Aurélien Noce, Ahmed Rahmani:
Comparison of Multipath Algorithms for Load Balancing in a MPLS Network. ICOIN 2005: 463-470 - 2004
- [j1]Mohamed Ghazel, Armand Toguyéni, Michel Bigand:
An UML approach for the metamodelling of automated production systems for monitoring purpose. Comput. Ind. 55(3): 283-299 (2004) - [c3]Abdallah Ghariani, Armand Toguyéni, Etienne Craye:
Towards an approach to automate reconfiguration procedure in automated production systems. SMC (5) 2004: 4272-4277 - [c2]Larbi Sekhri, Armand Toguyéni, Etienne Craye:
Diagnosability of automated production systems using Petri net based models. SMC (6) 2004: 5091-5096 - 2003
- [c1]Mohamed Ghazel, Armand Toguyéni, Michel Bigand:
UML modelling approach to build an information system for automated production systems. CE 2003: 755-763
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint