Centrale Lille Institut
Adresse e-mail validée de
Citée par
Citée par
A switched system approach to exponential stabilization through communication network
A Kruszewski, WJ Jiang, E Fridman, JP Richard, A Toguyeni
IEEE transactions on control systems technology 20 (4), 887-900, 2011
State observer for DES under partial observation with time Petri nets
M Ghazel, A Toguyéni, P Yim
Discrete Event Dynamic Systems 19 (2), 137-165, 2009
Model-based diagnosis of multi-track level crossing plants
B Liu, M Ghazel, A Toguyéni
IEEE Transactions on Intelligent Transportation Systems 17 (2), 546-556, 2015
Validation of a new functional design of automatic protection systems at level crossings with model-checking techniques
A Mekki, M Ghazel, A Toguyeni
IEEE Transactions on Intelligent Transportation Systems 13 (2), 714-723, 2012
Comparison of multipath algorithms for load balancing in a MPLS network
K Lee, A Toguyeni, A Noce, A Rahmani
International Conference on Information Networking, 463-470, 2005
Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets
B Liu, M Ghazel, A Toguyéni
2014 European Control Conference (ECC), 1293-1298, 2014
A monitoring approach for discrete event systems based on a time Petri net model
M Ghazel, A Toguyéni, M Bigand
IFAC Proceedings Volumes 38 (1), 331-336, 2005
Performance analysis of IEEE 802.11 b wireless networks with object oriented Petri nets
A Masri, T Bourdeaud'Huy, A Toguyeni
Electronic Notes in Theoretical Computer Science 242 (2), 73-85, 2009
An UML approach for the metamodelling of automated production systems for monitoring purpose
M Ghazel, A Toguyéni, M Bigand
Computers in Industry 55 (3), 283-299, 2004
Hybrid multipath routing algorithms for load balancing in MPLS based IP network
K Lee, A Toguyeni, A Rahmani
20th International Conference on Advanced Information Networking and …, 2006
Fair queuing model for edca to optimize qos in ad-hoc wireless network
H Abuzanat, B Trouillet, A Toguyeni
2009 Eighth International Conference on Networks, 306-311, 2009
Validating time-constrained systems using UML statecharts patterns and timed automata observers
A Mekki, M Ghazel, A Toguyeni
Third International Workshop on Verification and Evaluation of Computer and …, 2009
Implementation of an internet-controlled system under variable delays
A Seuret, M Termens-Ballester, A Toguyeni, S El Khattabi, JP Richard
2006 IEEE Conference on Emerging Technologies and Factory Automation, 675-680, 2006
On-the-fly Diagnosability analysis of labeled Petri nets using T-invariants
B Li, M Khlif-Bouassida, A Toguyéni
IFAC-PapersOnLine 48 (7), 64-70, 2015
A Petri net based decentralized synthesis approach for the control of flexible manufacturing systems
EJ Lee, A Toguyeni, N Dangoumau
The Proceedings of the Multiconference on" Computational Engineering in …, 2006
Time-constrained systems validation using MDA model transformation. A railway case study
A Mekki, M Ghazel, A Toguyeni
Proceedings of the 8th International Conference of Modeling and Simulation …, 2010
Routing fairness model for qos optimization in wireless network
H Abuzanat, B Trouillet, A Toguyeni
2008 Second International Conference on Sensor Technologies and Applications …, 2008
Quality of service of Internet service provider networks: State of the art and new trends
A Toguyéni, O Korbaa
2007 ICTON Mediterranean Winter Conference, 1-8, 2007
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets.
B Liu, M Ghazel, A Toguyéni
ADECS@ Petri Nets, 20-35, 2014
Diagnosis of labeled time petri nets using time interval splitting
B Liu, M Ghazel, A Toguyéni
IFAC Proceedings Volumes 47 (3), 1784-1789, 2014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20