Model-Based Diagnosis of Multi-Track Level Crossing Plants von Liu, Baisi, Ghazel, Mohamed, Toguyeni, Armand

Volltext

DiffServ Aware MPLS Traffic Engineering for ISP Networks: State of the Art and New Trends von Toguyéni, Armand, Korbaa, Ouajd

Volltext

On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets von Li, Ben, Khlif-Bouassida, Manel, Toguyéni, Armand

Volltext

On-line fault diagnosis of FMS based on flows analysis von Fakhfakh, Olfa, Toguyeni, Armand, Korbaa, Ouajdi

Volltext

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets von Liu, Baisi, Ghazel, Mohamed, Toguyéni, Armand

Volltext

A Switched System Approach to Exponential Stabilization Through Communication Network von Kruszewski, A., Jiang, W. J., Fridman, E., Richard, J. P., Toguyeni, A.

Volltext

State Observer for DES Under Partial Observation with Time Petri Nets von Ghazel, Mohamed, Toguyéni, Armand, Yim, Pascal

Volltext

Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets von Li, Ben, Khlif-Bouassida, Manel, Toguyeni, Armand

Volltext

Modular diagnosability of Discrete Event Systems Synchronized by Observable or Unobservable Events von Basilio, João C., Toguyéni, Armand

Volltext

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations von Li, Ben, Liu, Baisi, Toguyeńi, Armand

Volltext

Functionability Analysis of Redundant Mechatronics Systems in Bond Graph Framework von Kumar, Pushpendra, Bensekrane, Ismail, Conrard, Blaise, Toguyeni, Armand, Merzouki, Rochdi

Volltext

An UML approach for the metamodelling of automated production systems for monitoring purpose von Ghazel, Mohamed, Toguyéni, Armand, Bigand, Michel

Volltext

Functionability Analysis of Redundant Mechatronic Systems in Bond Graph Framework von Kumar, Pushpendra, Bensekrane, Ismail, Conrard, Blaise, Toguyeni, Armand, Merzouki, Rochdi

Volltext

Indirect monitoring of the failures of a flexible manufacturing system under cyclic scheduling von Toguyéni, Armand, Korbaa, Ouajdi

Volltext

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques von Mekki, A., Ghazel, M., Toguyeni, A.

Volltext

A semi-formal approach to build the functional graph of an automated production system for supervision purposes von Ghazel, Mohamed, Toguyéni, Armand, Bigand, Michel

Volltext

Low-Level Modeling for Routing and Scheduling Trains through Busy Railway Stations with Expandable Coupling/Decoupling Mechanism von Khanh Dang, Quoc, Bourdeaud’huy, Thomas, Mesghouni, Khaled, Toguyéni, Armand

Volltext

Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems von Li, Ben, Carlos Basilio, João, Khlif-Bouassida, Manel, Toguyéni, Armand

Volltext

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants von Li, Ben, Khlif-Bouassida, Manel, Toguyéni, Armand

Volltext

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations von Li, Ben, Liu, Baisi, Toguyeńi, Armand

Volltext