I nte rna t io na l J o urna l o f   P o wer   E lect ro nics   a nd   Driv e  S y s t em s   ( I J P E DS)   Vo l.  1 5 ,   No .   4 ,   Dec em b er   2 0 2 4 ,   p p .   2 7 0 0 ~ 2 7 0 8   I SS N:  2 0 8 8 - 8 6 9 4 ,   DOI : 1 0 . 1 1 5 9 1 /ijp ed s . v 1 5 . i4 . p p 2 700 - 2 7 0 8       2700     J o ur na l ho m ep a g e :  h ttp : //ij p e d s . ia esco r e. co m   Fault diag no sis  d ecentr a lize d of m a nufacturing  sy st ems  using   Bo o lea n mo dels       H irec he  Sli m a ne 1 ,   M o ha m ed  H a bb a b 1 ,   Abdeld j eba r  H a zz a b 1, 2, 3 ,   Ahm ed  K ha lil M o us s a o ui 1 ,     Am bris h Cha nd ra 3 ,   H icha m   G o ua bi 1, 2, 3 ,   Alha chem i Mo ula y   Abdella h 1     1 La b o r a t o r y   o f   C o m ma n d ,   A n a l y s i s a n d   O p t i m i z a t i o n   o f   E l e c t r o - En e r g e t i c   S y st e ms ( C A O S E E) ,   T a h r i   M o h a me d   U n i v e r s i t y ,   B e c h a r ,   A l g e r i a   2 En e r g y   I n t e l l i g e n c e   R e sea r c h   a n d   I n n o v a t i o n   C e n t e r   ( C R 2 i e )   C é g e p   d e   S e p t - Î l e s,  Q u é b e c ,   C a n a d a   3 D e p a r t me n t   o f   El e c t r i c a l   En g i n e e r i n g ,   Éc o l e   d e   Te c h n o l o g i e   S u p é r i e u r e ,   M o n t r é a l ,   C a n a d a       Art icle  I nfo     AB S T RAC T   A r ticle  his to r y:   R ec eiv ed   Dec   2 5 ,   2 0 2 3   R ev is ed   J u l 1 0 ,   2 0 2 4   Acc ep ted   J u l 2 4 ,   2 0 2 4       Th is  p a p e r  in tro d u c e s  a n   a p p r o a c h   d e c e n tralize d   to   fa u lt   d e te c ti o n   a n d   iso latio n   (F DI)  in   m a n u fa c tu ri n g   sy ste m s  u si n g   a   B o o lea n   d isc re te  e v e n t  m o d e l.   T h e   m e th o d   in c o r p o ra t e s  d iv e rse   in f o rm a ti o n   so u rc e s  to   c re a te  d isti n c t  m o d e ls f o r  p lan t  s y ste m s a n d   c o n tro l .   Th e   o b jec ti v e   is t o   e n h a n c e   th e   u n d e rsta n d i n g   o f  p ro c e ss   o p e ra ti o n s  b y   e m p lo y in g   v a rio u s   re p r e se n tatio n   to o ls   tailo re d   to   e a c h   i n fo rm a ti o n   s o u rc e .   It   is  t o   re d u c e   th e   n u m b e r  o f   e x p lo si o n   p ro b lem s  c o m b i n a to ria l  a n d   d e tec t  fa u l t s   i n   th e   sh o r tes t  p o ss ib le   ti m e .   Th is   c o m p re h e n siv e   re p re se n tatio n   fa c il it a tes   t h e   f u lfi ll m e n t  o f   th re e   c ru c ial  d iag n o sis  fu n c ti o n s:  d e tec ti o n ,   lo c a li z a ti o n ,   a n d   i d e n ti fic a ti o n .   Th e   a p p ro a c h   in v o l v e s  Bo o lea n   m o d e li n g   o f   e a c h   p r o c e ss   a c tu a to r  a lo n g   with   it s   c o rre sp o n d in g   se n s o rs,  a   tem p o r a l  m o d e l  b a se d   o n   fu z z y   e x p e c t a ti o n s  o f   e v e n t  o c c u rre n c e s,  a n d   a   se t  o f  if . . . th e n   ru les .   T h e   g o a l  o f  t h is  d e c e n tralize d   a p p ro a c h   m in imiz e   b o t h   th e   c o m p lex it y   a n d   th e   m a n u a l  c o n str u c t io n   e ffo rt   re q u ired   f o r  t h e   m o d e l.   Th e   p a p e r  d e m o n stra tes   t h e   e ffe c ti v e n e ss   o f  th i s   a p p ro a c h   th r o u g h   a n   il l u stra ti v e   e x a m p le i n v o l v in g   m a n u fa c tu rin g   sy ste m s.   K ey w o r d s :   Au to m ata   B o o lean   m o d ellin g   Diag n o s is   d ec en tr alize d   Dis cr ete  ev en t sy s tem s   Ma n u f ac tu r in g   s y s tem s   T h is i s  a n   o p e n   a c c e ss   a rticle   u n d e r th e   CC B Y - SA   li c e n se .     C o r r e s p o nd ing   A uth o r :   Hir ec h e  Sli m an e   L ab o r ato r y   o f   C o m m an d ,   An a ly s is   an d   Op tim izatio n   o f   E lec tr o - E n er g etic  s y s tem s   ( C AOS E E )   T ah r i  Mo h am e d   Un iv e r s ity   B éc h ar ,   Alg er ia   E m ail:  etn . s lim an @ g m ail. co m       1.   I NT RO D UCT I O N   I n d u s tr ial   s y s tem s   m ay   en co u n ter   f au lts   th at  ca n   d is r u p t  th eir   an ticip ated   f u n ctio n in g ,   r e s u ltin g   in   d im in is h ed   p er f o r m a n ce   an d   p o ten tial  eq u ip m e n t  d am ag e .   Nu m er o u s   s tu d ies  in   th e  li ter atu r e  tack le  th e   ch allen g e  o f   d iag n o s in g   f a u lts   in   d is cr ete - ev en t   s y s tem s   ( DE Ss )   r ep r esen ted   th r o u g h   a u to m ata  o r   Petr i  n ets   [ 1 ] .   So m e   r ec en t  s tu d ies  [ 2 ] ,   [ 3 ]   h av e   s u g g ested   th at  th e   ce n tr alize d   d iag n o s is   s tr u ctu r e  h as  s o m e  d r awb ac k s ,   So   th is   m eth o d   co n s is ts   o f   ass o ciatin g   a  g lo b al  m o d el  o f   th e   p r o ce s s   with   a  s in g le  d iag n o s tic  m o d u le,   wh ich   we  ca ll  "d iag n o s ticato r ".   T h e  latter   co llects   th e  v ar io u s   in f o r m atio n   o f   th e  p r o ce s s   b ef o r e  m ak in g   a  f in al   d ec is io n   o n   th e  s tate  o f   o p er atio n   o f   th e  p r o ce s s .   Alth o u g h   ef f icien t   in   ter m s   o f   d iag n o s is ,   th e  ce n tr alize d   s tr u ctu r e  is   d if f icu lt  to   u s e  f o r   lar g e  s y s tem s .   I n   f ac t,  th e  c o n s titu tio n   o f   a  g lo b al  m o d el  o f   th e  p r o ce s s   v er y   o f ten   g e n er ates e x p lo s io n   p r o b lem s   co m b in ato r ial.   T h e  p r e d o m i n a n t   g ai n   o f   te c h n iq u es [ 4 ] ,   [ 5 ]   u s in g   b o t h   n o r m al  a n d   f a u l t b e h a v i o r s ,   is   t h e   p r e cisi o n   o f   th e   f a u lt   is o la ti o n .   Ho we v e r ,   i n te g r a ti n g   t h e   s y s te m   b e h a v i o r   in   r es p o n s e  t o   a  p r e d e f i n ed   s e t  o f   f au lts   in cr ea s es   s ig n i f ic a n tl y   t h e   m o d el   s i ze .   Mo r e   t h an   th at ,   o n l y   p r e d e f i n e d   f a u lts   ca n   b e   d ia g n o s e d .   T h e s e  d is a d v a n ta g es   ca n   b e   a v o id e d   u s i n g   B o o l ea n   m o d els .   I t   is   n o t  r e alis tic   t o   u s e  a  g l o b al  m o d el  to   i d e n ti f y   a  l ar g e   d is c r et e  ev en t   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J Po w  E lec  &   Dr i Sy s t     I SS N:   2088 - 8 6 9 4       F a u lt d ia g n o s is   d ec en tr a liz ed   o f m a n u fa ct u r in g   s ystems   u s in g   B o o lea n   mo d els   …   ( Hir ec h e   S lima n e )   2701   s y s te m   ( D E S) .   Mo r e o v e r ,   s u c h   p o li cies  a r e  in h er en tl y   d e ce n tr a liz ed   [ 6 ] ,   [ 7 ] .   T h e y   c o n s is t  o f   m an y   s u b s y s te m s   o r   co m p o n en ts   t h at   ca r r y   t h e ir   o w n   lo ca l  in f o r m ati o n .   A n o t h e r   wa y   t o   i d e n t if y   t h es e   s y s te m s   is   t h r o u g h   m et h o d s   o f   s p at ial   ass ig n m e n t   o r   d is tr ib u t io n .   Am o n g   g e o g r ap h i ca l ly   d i v e r s e   m et h o d s ,   th e   d ia g n o s is   is   b ase d   o n   a   n u m b e r   o f   l o ca l  ex am in a tio n s .   E a ch   l o c al   s u r v e y   is   r es p o n s i b l e   f o r   a  r est r i ct ed   p o r t i o n   o f   t h e   p r o g r a m .   B ec a u s e   n o   c o r r e lat io n   is   all o wed   b e twe e n   lo ca l  p r o b es,   a   g lo b al   m o d el   o f   th e   s y s te m   is   n ee d e d   t o   ca p t u r e   t h e   co r r el ati o n   b etw ee n   c o m p o n e n ts   Dis tr i b u t ed   m e th o d s   d o   n o t  r e q u i r e   a   g l o b al   m o d el .   T h e   latt er   ar e  ill u s t r a te d   b y   s o m e   l o ca l   ex am p les .   E a c h   l o c al   i n s t an ce   k n o ws   o n l y   its   o w n   ac t io n s .   C o n n e cti o n s ,   o r   d ep en d en ci es,   b et we en   c o m p o n e n ts   a r e   a c h iev e d   t h r o u g h   tr a n s iti o n s   b et wee n   lo ca l  an al y z es  u s i n g   n etw o r k s   o r   t h r o u g h   in t eg r ati o n   p r o c ess es  a n d   i n te g r ati o n   is   ac h ie v e d   t h r o u g h   a   s eq u en ce   o f   co m p o n en t - o r ie n te d   ac ti o n s   s p ec i e s   lo c al   ass ess m en t  o r   t h e  ex te n s i o n   o f   c o n c e p ts   f r o m   l o c al  ass e s s m e n ts   t o   i ts   n e ig h b o r s   T h e  d e v elo p m e n t  o f   l o ca l  d ia g n o s er s   r elies  o n   a   m o d u lar   m o d elin g   ap p r o ac h   en c o m p as s in g   p lan t   elem en ts ,   co n tr o ller   s p ec if ica tio n s ,   an d   tem p o r al  in f o r m at io n   r eg ar d in g   ac tu ato r   r ea ctiv ity   [ 8 ] .   T h e  m o s t  im p o r tan t   ch ar ac ter is tics   waited   o f   an   au to m ated   d iag n o s is   ar e,   th e   d iag n o s is   m u s t  b e   ea s y   to   d ev elo p ,   it  m u s t   b e  ea s y   to   im p lem en t  a n d   m u s t  b e  ac h iev ed   with   a  m in im u m   n u m b e r   o f   s en s o r s .   T h is   m eth o d o lo g y   ca n   b e   r eg ar d e d   as  a  d is tin ctiv e  in s tan ce   o f   an   o b s er v e r ,   wh er e  f au lt  in f o r m atio n   is   co n v ey e d   th r o u g h   la b els  af f ix ed   to   s tates.  Diag n o s er s   m ak e  d e cisi o n s   b ased   o n   th e  s eq u e n ce s   o f   o b s er v e d   ev en ts .   I n   th is   ar ticle,   we  p r o p o s ed   a  m eth o d   b ased   o n   a  d ec e n tr al ized   f au lt - f r ee   m o d el  to   d iag n o s e  p lan t  f au lts   in   DE Ss .   T o   d ef i n e  a  g lo b al   m o d el,   th e   in d e p e n d en ce   b etwe en   c o m p o n en ts   o f   th e  s y s tem   is   im p lem en ted   b y   er r o r - f r ee   i n s tan ce s   o f   its   co m p o n e n ts .   E ac h   co m p o n e n t  co n s is ts   o f   an   ac tu at o r   an d   ass o ciate d   s en s o r s .   T h is   m o d el  is   r ep r esen ted   as  a  B o o lean   DE S  m o d el.   An y   b e h av io r   th at  is   n o t  co n s is ten t  with   n o r m ality   is   c o n s id er ed   e r r o r   b eh av i o r .   T h e  co m p o n en t   elem en ts   ( ac tu ato r s /s en s o r s )   t h at  ca u s e  th is   f au lt  b eh av io r   ar e  c o n s id er ed   f a u lt c an d id ates [ 9 ] .   T h e  p a p er   illu s tr ates th e  ef f ec tiv en ess   o f   th is   ap p r o ac h   th r o u g h   a   ca s e  s tu d y   in v o lv in g   m an u f ac tu r in g   s y s tem s   [ 1 0 ] .   T o   ex em p lify   th ese  in n o v ativ e  co n ce p ts ,   we  in ten d ed   to   test   th em   in   a  p r ac tical  s ce n ar i o   in v o l v in g   th e   tr an s f er   o f   p a r ts   f r o m   a  m a g az in e.       2.   DIAG NO SI S M E T H O D S   T h er e  ar e   v ar i o u s   ap p r o ac h es  to   d esig n   a n d   d ev elo p   an   au to m ated   d iag n o s tic  s y s tem   [ 1 1 ] ,   [ 1 2 ] .   T h e   s elec tio n   o f   a   s p ec if ic  a p p r o ac h   d ep en d s   o n   v ar io u s   p ar am et er s ,   in clu d in g   th e   d y n am ics  o f   th e  s y s tem   ( h y b r id   d is cr ete  o r   co n tin u o u s ) ,   th e  i m p lem en tatio n   p e r s p ec tiv e  1   o r   0 ,   th e  r ep r esen tatio n   o f   in f o r m atio n   ( q u alitativ e   o r   q u an titativ e) ,   th e   co m p lex ity   o f   th e   s y s tem   lar g e  o r   s i m p le.   I n   th is   co n te x t,  o u r   e m p h asis   is   o n   f a u lt  d iag n o s is   m eth o d s   s p ec if ically   tailo r ed   f o r   m a n u f ac tu r in g   s y s tem s   [ 1 3 ] ,   [ 1 4 ] .   W e  h av e  j u s t  s ee n   th e  d if f er en t   cr iter ia  f o r   d iag n o s tic  m eth o d s   tak en   f r o m   th e  liter atu r e.   T h is   s tu d y   allo ws  u s   to   ju s t if y   o u r   ch o ices  in   th e   d iag n o s tic  ap p r o ac h   t h at  we  h av e  d e v elo p e d .   T ab le  1   p r esen ts   th e  co m p ar is o n   b etwe en   f au lt  d iag n o s is   ce n tr alize d   an d   d ec en tr alize d   ap p r o ac h es       T ab le  1 .   C o m p a r is o n   b etwe en   f au lt d iag n o s is   ce n tr alize d   an d   d ec en tr alize d   a p p r o ac h es   Th e   d i f f e r e n t   c r i t e r i a   o f   t h e   met h o d s  o f   d i a g n o si s   sy s t e m s   D e c e n t r a l i z e d   a p p r o a c h e s   C e n t r a l i z e d   a p p r o a c h e s   M o d e l i n g   t o o l s   S t a t e   a u t o m a t a :   a c c u r a t e   d e scr i p t i o n ,   l a n g u a g e   t h e o r y ,   a n d   c o mp o si t i o n   t o o l s .   P e t r i   n e t :   d i st r i b u t i o n   o f   e l e me n t s   r i s k   o f   e x p l o si o n   M o d e l s  o f   d e f a u l t s   M i x e d   a n d   s t a t e   b a se:   f a u l t   d e t e c t i o n   i n t e r mi t t e n t   a n d   f a u l t   i n   i n i t i a l i z a t i o n   B a se d   o n   e v e n t s:   b r e a k d o w n s   i n t e r mi t t e n t .   S t r u c t u r e   o f   t a k i n g   d e c i s i o n   W i t h   c o o r d i n a t o r :   m i n i m i z e   c o m b i n a t o r y   e x p l o s i o n   a n d   m a n a g e m e n t   c o n f l i c t   b y   a   c o o r d i n a t o r   W i t h o u t   a   c o o r d i n a t o r :   n o   c o mm u n i c a t i o n   a n d   a   c o m b i n a t o r y   e x p l o s i o n       2 . 1 .     M o del - ba s ed  lo ca l dia g no s t i cs a pp ro a ch   2 . 1 . 1 .   Sy s t em   a uto ma t e  us ing   B o o lea n m o dels   I n   o u r   ap p r o ac h ,   we  m ak e   u s e   o f   B o o lean   d is cr ete  ev e n t  s y s t em s   ( B DE S)  m o d elin g ,   as   in tr o d u ce d   in   p r ev io u s   s tu d y   [ 1 5 ] ,   to   ca p t u r e  th e   b eh a v io r   o f   s y s tem   eq u ip m en t,   in clu d i n g   ac t u ato r s   an d   s en s o r s .   W e  p r o p o s e  a  m o d el - b ased   ap p r o ac h   to   d iag n o s e  d is cr ete  ev en t   s y s tem s   ( DE S).   B u ild in g   a   m ath em atica l  m o d el   G  is   cr u cial  f o r   d ef in in g   h o w   s y s tem   s tates   ev o lv e  in   r esp o n s e  to   ev en t  o cc u r r e n ce s .   T h is   m o d el  f o llo ws  a   d ec en tr alize d   s tr u ctu r e ,   wh er e  th e  s y s tem   is   co m p o s ed   o f   s ev er al  lo ca l  co m p o n en ts   ( Gi,   i  = =1 . . n ) ,   ea ch   co o r d in ate d   to   m i n im ize  co m m u n icatio n .   T h e  d ia g n o s tic  m o d el  is   d is tr ib u ted ,   with   m u ltip le  lo ca l  d iag n o s tics   ( Di,   i=1 . . n )   ty p ically   ass ig n ed   to   s p ec if ic  lo ca l  co m p o n en ts .   T h e  d ec en tr alize d   an d   d is tr ib u ted   n atu r e  aim s   to   allev iate  th e  s p ac e  ex p lo s io n   p r o b lem   d u r in g   th e  d esig n   p h ase  an d   m ak e  it  ea s ier   to   lo ca te  f au lty   elem en ts .   T h is   m o d u lar   ap p r o ac h   ex p l o its   th e  s tr u ctu r e  o f   th e  s y s tem   u s in g   d if f er e n t  r ep r esen t atio n   to o ls   s u ch   as  au to m ata,   r u les,  B o o lean   a n d   m ath em atica l  eq u atio n s ,   d e p en d in g   o n   th e  av ailab le   in f o r m atio n .   T h r ee   k e y   m o d els  ar e  d ef in ed   in   th is   ap p r o ac h :  th e  f ac to r y ,   co n tr o l  an d   d ia g n o s tic  m o d els  [ 1 6 ] ,   [ 1 7 ] .     Evaluation Warning : The document was created with Spire.PDF for Python.
            I SS N :   2088 - 8 6 9 4   I n t J Po w  E lec  &   Dr i Sy s t ,   Vo l.  15 ,   No .   4 ,  Dec em b er   20 24 :  2 700 - 2 7 0 8   2702   a)   Plan t e lem en t   C o m m u n i c a ti o n   b e t w ee n   l o c al  d i a g n o s e r   i s   e m p l o y e d   t o   f i n e - t u n e   l o c a l  d i a g n o s e r .   N e v e r th e l e s s ,   t h e  p r i m a r y   d r a w b a c k   i s   t h e   r e q u i r e m e n t   t o   e s t a b l i s h   a n   e f f e c t iv e   c o m m u n i c a t i o n   p r o t o c o l .   I n   t h e   m u l t i - m o d e l  a p p r o a c h ,   t h e   p l a n t   m o d e l   is   d iv i d e d   i n t o   s e v e r al   c o m p o n e n t s ,   e a c h   d e d i c a t e d   t o   a n   a c t u a t o r   [ 1 8 ] .   E a c h   G i   m o d e l  a n d   i t s   c o r r es p o n d i n g   l a n g u a g e   L i   d e l i n e a te   t h e   l o g i ca l   a n d   u n t i m e d   b e h a v i o r   o f   t h e   m o n i t o r ed   s y s t e m   as   i n   ( 1 ) .       G i=( M ,  ∑c )     ( 1 )     M  is   a  Mo o r e  au to m ate   r ep r es en ted   in   ( 2 ) .       M =( ∑,, Y ,δ ,h)     ( 2 )     ∑ is   th e  s et  o f   f in ite  ev en ts ,   Y  is   th e  o u tp u t sp ac e,   X  is   th e  s e t o f   n o r m al  s tates.     δ   : ∑  x  X   →   X   ( 3 )     T h e   ( 3 )   is   th e  s tate  tr an s itio n   f u n ctio n .   δ ( σ ,   q )   g iv es th e  s et  o f   p o s s ib le  n ex t states   if   σ   o cc u r s   at  q .     h:   ∑ x  X →   Y     ( 4 )     H  ( σ , x )   is   th e  o b s er v ed   o u tp u t  wh en   σ   o cc u r s   at  x   ,   i n   ( 4 )   r ep r esen ts   o u tp u t f u n ctio n   [ 1 9 ] ,   [ 2 0 ] .   W h ile  in   ( 5 )   r ep r esen ts   d ef in e  c o n tr o llab le  ev en ts :     E C =( ∑c   ⊆  ∑   )   ( 5 )     C o n tr o llab le  ev en t is ac tu ato r s   as th e  co n tr o l  o u tp u ts ,   wh ile  ( 6 )   u n c o n tr o lla b le  ev en ts   ar e :     E U=(Σ u ⊆  ∑   )   ( 6 )     T h e   ( 7 )   is   s en s o r s   ar e  d ef in ed   as th e  co n tr o l in p u ts :     IC =( ∑o  ⊆  ∑  )   ( 7 )     W h ile  ( 8 )   is   th e  s et  o f   o b s er v a b le  ev en ts   wh er e:     E O=( ∑c   ⊂  ∑o )   ( 8 )     An   au to m ato n   is   em p lo y e d   f o r   ea ch   m o d el.   T h is   au to m at o n   co n s id er s   all  o b s er v ab le  e v en ts .   T h e  d etaile d   ex p lan atio n   o f   th e  co n s tr u cti o n   o f   th is   m o d el  ca n   b e  f o u n d   in   s tu d y   o f   Deb o u k   et  a l .   [ 2 1 ] .   E ac h   o f   th ese  au to m ata  is   r ep r esen ted   b y   a n   in p u t/o u t p u t  v ec to r   ( Σ u ,   Σ c)   ca lled   th e  p lan t  tab le,   PTi,   f o r   ac tu ato r   i.  All   v ec to r s   n o t r e p r esen ted   b y   th e  PTi  co r r esp o n d   to   lo g ical  i n co n s is ten cies r esu ltin g   f r o m   s en s o r   f ailu r es [ 2 2 ] .   b)   C o n tr o l m an u f ac tu r in g   s y s tem s   T h e  s y s tem   m o d el  is   d ev el o p ed   u s in g   a   GR AFC E T   o r   Petr i  n et.   T h is   g r ap h ical  r ep r esen tatio n   en ca p s u lates  th e  f u n ctio n al   in f o r m atio n   c o r r esp o n d in g   to   th e   s ch ed u lin g   co n d iti o n s   f o r   all  s y s tem   co m p o n en ts .   GR AFC E T   is   ch o s en   as  th e  m o d elin g   to o l   f o r   th e  co n tr o ller   d u e  to   its   wid esp r ea d   a d ap tatio n   in   in d u s tr ial  ap p licatio n s ,   p a r ticu lar ly   in   m an u f ac tu r in g   s y s tem s   [ 2 3 ] ,   [ 2 4 ] .   c)   Diag n o s er   m o d els   Diag n o s er s   ar e  o b tain e d   b y   in ter s ec tio n   b etwe en   p lan t  m o d els  an d   co n tr o l  m o d els.  T h is   i n ter s ec tio n   lead s   to   a  f u n ctio n al   au to m a to n   d escr ib in g   th e   n o r m al  b eh av io r   f o r   ea ch   ac tu ato r   [ 2 5 ] .   E ac h   f u n ctio n a l   au to m ato n ,   d iag n o s e  m o d el,   i s   r ep r esen ted   in   a  s ec o n d   tab l e  an d   is   ca lled   c o n tr o l   p lan t  ta b le  o f   t h e  ac tu ato r   i  ( C PTi) .   E ac h   C PTi  ca n   d etec t a ll  ab n o r m al  b e h av io r s   o f   t h e  co n tr o l.   Sin ce   th ese  d ia g n o s er s   ar e  d ec en t r alize d ,   th e  d etec tio n   a n d   th e   is o latio n   o f   f ailu r es  ca n   b e   r ea lized   i n   a  m o d u la r   m an n er .   Fo r   ea ch   o r d er ,   th e   d iag n o s er   co m p ar es  th e  C PTi  o u tp u t  with   th e  r ea l  s itu atio n .   T h e  s tep s   o f   f u n ctio n ality   o f   ea ch   d iag n o s er   ar e  o r g a n ized   as  [ 2 6 ] ,   [ 2 7 ] :   i)   d ef in itio n   o f   e v en t  ac tu at o r   o f   th e  C PTi ,   ii)   B in ar y   co d e   o f   th e   ev e n ts   o f   C PTi ,   iii)  a f f ec tatio n   o f   weig h t  f o r   ea ch   ev en t ,   iv )   i n itializatio n   o f   t h e  C PTi  with   th e  r ea l   s itu atio n   o f   th e  p r o ce s s ,     v )   e v o lu tio n   o f   th e  C PTi  wh en   an   ev en t  ar r iv es ,   v i)   c o m p a r is o n   o f   th e  co d e  d ec im al  tab le  ( co d ec )   with   th e  cu r r en t  s itu atio n   ( s itc) ,   v ii)   f ailu r e  is   d etec ted   w h en   a n   e v o lu tio n   o f   th e  c p ti  is   n o t  c o r r esp o n d in g   to   th e   cu r r en t  s itu atio n ,   v iii)  f ailu r e  i s o latio n   b y   B o o lea n   o p er ato r   “e x clu s iv e  o r ”  b etwe en   th e   latest  co r r ec t  s itu atio n   an d   th e  c u r r en t   o n e;  an d   i x )   I d en tific atio n   with   ev e n t  h is to r ic  an d   ex p er t  a n aly ze   w h en   a  f ailu r e  is   d etec ted ,   s tep   8 ,   an   alar m   is   en a b led   a n d   d iag n o s er s   s ea r ch   to   is o late  it.  an   ev e n t  h is to r ic  ca n   b e   u s e d   to   d ef in e  t h e  last   co r r ec t  s tate.   th e   B o o lean   o p er ato r   “e x clu s iv e  o r ”  p er m i ts   to   k n o w   th e  s en s o r   o r   th e  ac tu ato r   in   f a u l t.     Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J Po w  E lec  &   Dr i Sy s t     I SS N:   2088 - 8 6 9 4       F a u lt d ia g n o s is   d ec en tr a liz ed   o f m a n u fa ct u r in g   s ystems   u s in g   B o o lea n   mo d els   …   ( Hir ec h e   S lima n e )   2703   d)   Sy m b o lic  in f o r m atio n   E x p er t  in f o r m atio n   ca n   p r o v id e  v alu ab le  in f o r m atio n   a b o u t p r o ce s s   f u n ctio n in g   an d   w o r k   co n d itio n s   u n d er   th e   f o r m   o f   r u les.  Per s o n al  s ec u r ity   o r   q u ality   co n s tr ain ts   ca n   b e  also   p r o v id ed   b y   ex p er ts   [ 2 8 ] ,   [ 2 9 ] .   Mo r eo v er ,   th ese  r u les  ca n   b e  u s ed   as  a  c o o r d i n ato r   f o r   r ea li zin g   a  m in im u m   o f   co m m u n i ca tio n   b etwe en   th e   d if f er en t  p lan t m o d els [ 3 0 ] .       3.   M ANIF ACT URING   S YST E M   To   illu s tr ate  th e  p r o p o s ed   m e th o d ,   we  u s e  an   ex am p le  o f   a   two - cy lin d er   m ac h in e  u s ed   t o   tr an s p o r t   p ar ts   f r o m   th e  m ag az i n e  to   th e   ch u te  as  s ee n   in   Fig u r e  1 .   On ce   th e  p u s h   b u tto n   is   p r ess ed ,   th e  f ir s t  cy lin d er   A  is   ex ten d ed ,   t h e  p a r t  is   p u s h e d   o u t   o f   t h e  m ag az i n e  an d   th e  s ec o n d   c y lin d er   B   is   p o s itio n ed   o n   th e   o u tf ee d   ch u te  in   p r e p ar atio n   f o r   tr a n s f er   ( Pi:   p ar ts   in   f r o n t  o f   p u s h er   A  a n d   B ) .   wh en   th e   p ar t   is   m o v ed ,   th e   f ir s t   cy lin d er   s to p s ,   an d   th e   s ec o n d   f o llo ws.   B o th   ex te n d ed   an d   r etr ac ted   p o s itio n s   s h o u ld   b e  em p h asized   ( Pe:   p ar tially   o m itted )   c y lin d er   A  an d   B   a d v an ci n g   s tep   is   d esi g n ated   as   ( A+ ,   B +) ,   cy lin d er   A  an d   B   r etr ac tin g   s tep   is   d esig n ated   as ( A - ,   B - ).     3 . 1 .   Cy lin der  pla nt  m o del   T o   co n s tr u ct  t h e  cy lin d e r   p lan t  tab le  as  r ev ea led   in   T ab le  2 ,   we  u s e  th e   in p u t/o u tp u t  ( n )   in ter p r etatio n .   Her e,   th e r e  ar e  two   co n tr o llab le  ev en ts   ( B +  an d   B - )   an d   two   u n c o n tr o llab le  ev en ts   co r r esp o n d in g   t o   th e  s en s o r ’ s   o u tp u ts   b 1   a n d   b 0 .   T h e   p lan t   tab le  co n tain s   2 n   p o s s ib le  o n es  as  r ev ea led   in     T ab le  2 .   I n   th is   co n tex t,  we  ar e  n o t  co n ce r n ed   with   lo g ic   in co n s is ten cies  ( 3 ,   7 ,   1 1 ,   1 5 )   as  ca n   b e  s ee n   in     T ab le  3 ,   ass o ciate d   with   c o n tr o llab le  ev en ts   b u t  r at h e r   th o s e  r elate d   to   u n co n t r o l lab le  ev en ts   ( n o n - co n tr o llab le)   b ec au s e  o n ly   th e  in p u ts   o f   th e  p ar t  ar e  ta k en   in to   co n s id er atio n   [ 3 1 ] .   T h e  g o al  is   to   elim in ate  lo g ical  in co n s is ten cies a m o n g   in p u ts .   T h e  co n s tr u ctio n   o f   th e  eq u iv alen t  au to m ata  is   ca r r ied   o u t  f r o m   t h e  d iag r am   o f   co n tr o llab le  ev o lu tio n s .   T h is   d iag r a m   is   d er iv ed   f r o m   th e   tr u th   tab le   r ep r esen tin g   th e   s y s tem   af t er   r em o v in g   lo g ical  in co n s is ten cies.  Fo r   ea ch   co m b in atio n ,   th e  o cc u r r en ce   o f   a  co n tr o llab le  ev e n t  en a b les  t h e  alter atio n   o f   th e  o u tp u t  s tate,   lead in g   to   a  n e w  s tate.   Su p p lem en t  o f   th e  a u to m ata  with   th e  n o n - ev o lv in g   co n tr o llab le.   T h is   in v o lv es u s in g   r u les o f   o cc u r r en ce   an d   p r ec ed e n ce   r elatio n s h ip s   as we ll a s   t h e  in itial c o n d itio n s .           Fig u r e  1 .   T r an s f er   p a r ts   f r o m   a  m ag az in e       T ab le  2 .   C y lin d er   p lan t ta b le   S t a t e s   B+   B -   b 1   b 0   S t a t e s   B+   B -   b 1   b 0   0   0   0   0   0   3   0   0   1   1   1   0   0   0   1   4   0   1   0   0   2   0   0   1   0   5   0   1   0   1     T ab le  3 .   Diag r a m   o f   d ev elo p m en ts   b 1 b 0   B +   B -   00   01   11   10   00   0   1     2   01   4   5     6   11   12   13     14   10   8   9     10         F o r   t h e   m o v e m e n t   o f   t h e   c y l i n d e r   B ,   t h e   f i r s t   s te p   c o n s i s t s   i n   s e t   t h e   2 4   c o m b i n a t i o n s   b e t w e e n   a d v a n c e r   ( B + ) ,   r e c l i n e   ( B - ) ,   b 1   a n d   b 0   a s   c a n   b e   s e e n   i n   T a b l e   2 .   T h e   s e c o n d   s t e p   i s   t o   r e m o v e .   T h e   f o u r   l o g i c a l   i n c o n s is t e n c i es   o f   e v e n t s   r e l ate d   t o   t h e   f a c t   t h a t   b 1   a n d   b 0   c a n   n o t   b e   t r u e   a t   t h e   s a m e   t i m e .   T h e   a u t o m a t a   o f   e v o l u t i o n s   i s   t h e n   d e t e r m i n e d   f r o m   t h e   d i a g r a m   o f   t h e   c o n t r o l l a b l e   e v o l u t i o n s   t h u s   e x p r es s i n g   a l l   t h e   p o s s i b l e  e v o l u t i o n s   b e t w e e n   t h e   s t a t es   a s   i n   F i g u r e   2 .   T h e s e   e v o l u t i o n s   a r e   d e f i n e d   o n l y   b y   e v e n t s   c o n t r o l l a b l e :   ↑   B + ,   ↓   B + ,   ↑   B - ,   ↓   B - .   K n o w i n g   t h a t B + ,   B - ,   c a n   ei t h e r   ta k e   t h e  v a l u e   1   f o r   a ct i v a ti o n   o r   0   f o r   t h e   d e a c t i v a ti o n   Fi g u r e   2 .   T h e   p r e c e d e n c e   r e l at i o n s   i n   t h e   l a s t   s t e p ,   t h e  f i n a l   a u t o m a t a   p r e s e n t e d   F i g u r e   3 .   F r o m   t h e   i n i t i al   s t a t e  ( 2 ) ,   a n   e v e n t   p o s s i b le   o u t g o i n g   i s   ↑   B + .   H i s   o c c u r r e n c e   le a d s   t o   s t a te  1 0 .   A c c o r d i n g   t o   T a b l e   1 ,   t h e   c o n s e q u e n c e   o f   B   is   t h e   a p p e a r a n c e   o f   t h e   e v e n t   n o n - c o n t r o l l a b l e   ↓   b 1 ,   w h i c h   m a k e s   it   p o s s i b l e   t o   r e a c h   s t at e   8 .   T h e   o t h e r   n o n - c o n t r o l l a b l e   d e v e l o p m e n ts   a r e   a d d e d   t o   t h e   b a s e   c o n t r o l l e r   i n   t h e   s a m e   w a y .   T h is   m e t h o d   o f   m o d e l i n g   i s   a p p li e d   Evaluation Warning : The document was created with Spire.PDF for Python.
            I SS N :   2088 - 8 6 9 4   I n t J Po w  E lec  &   Dr i Sy s t ,   Vo l.  15 ,   No .   4 ,  Dec em b er   20 24 :  2 700 - 2 7 0 8   2704   t o   e a c h   o f   t h e   p a r t s   o f   t h e   s y s te m .   T h e   c o m p l e t e   m o d e l  o f   t h e   o p e r a t i v e   p a r t   i s   t h e n   o b t a i n e d   b y   t h e   a s y n c h r o n o u s   c o m p o s i t i o n   o f   a l l   t h e   e l e m e n t a r y   m o d e l s .   F o r   t h e   e x a m p l e ,   t h e   a u t o m at a   o f   t h e   c o m p l e t e  o p e r a t i v e   p a r t   o b t a i n e d   b y   t h e   a s y n c h r o n o u s   p r o d u c t   o f   t h e   e le m e n t a r y   m o d e l s   c o m p o s e d   o f   1 4 4   s t a t es .     3 . 2 .   Dia g no s er   m o dels   Diag n o s er s   ar e  d e r iv ed   u s in g   t h e  p lan t m o d els  an d   th e   co n tr o l  m o d el   Fig u r e  3 .   T h e  co n tr o l  s y s tem   is   d ep icted   b y   th e  GR AFC E T ,   an d   it  illu s tr ates  th e  d iag n o s er   m o d els  o f   ac tu ato r   A  an d   th e  s im p le  ef f ec t   cy lin d er   B   ac co r d in g   to   th e   GR AF C E T   in   Fig u r e  4 .   T h e s e  m o d els  ar e  o b tain ed   t h r o u g h   th e  i n ter s ec tio n   b etwe en   th e  co n tr o ller   ( GR AFC E T )   an d   th e  p lan t m o d el  o f   e ac h   ac tu ato r .     3 . 3 .   Sy m bo lic  info rm a t io n o n t he   s y s t em   E x p e r t s   g i v e   t h e i r   o w n   c o n s t r a i n t s   a b o u t   t h e   g l o b a l   s y s t e m .   T h e s e   c o n s t r a i n t s   a r e   e x p r e s s e d   b y   r u l e s .   A s   a n   e x a m p l e ,   i f   a   c o n s t r a i n t   i s   t o   k e e p   t h e   c y l i n d e r   i n   t h e   a 1  p o s i t i o n   w h e n   t h e   c y l i n d e r   B   i s   n o t   i n   t h e   b 1   p o s i t i o n ,   t h e n   t h e   r u l e   i s   e x p r e s s e d   a s   ( 9 ) .   T h e n   d e f a u l t ,   o t h e r s   f u n c t i o n s   c a n   b e   e s t a b l i s h e d   i n   t h e   s a m e   m a n n e r   b y   e x p e r t .     I f   ( B 1 =1   o r   B 0 =1   o r   P2 =1 )   an d   a1 =0   ( 9 )           A1   A2   A3     Fig u r e  2 .   C o m p lete  a u to m ata             Fig u r e  3 .   Au t o m ata  with o u t  n o n   co n t r o llab le  ev o lu tio n   t h e  p lan t m o d el  o f   cy lin d er     Fig u r e  4 .   Diag n o s er s   m o d els c o n tr o ller   GR AF C E T       3 . 4 .   Det ec t io n,  is o la t io n a nd   identif ica t io n   Fo r   th e  cy lin d e r ,   th e  f ir s t step   is   to   d ef in e  in   ( 1 0 )   th e  ac tu ato r   ev en ts .     Σ 1 ={ ↑ A0 ,   ↓ A0 ,   ↑ A1 ,   ↓ A1 ,   ↑ a 0 ,   ↓ a0 ,   ↑ a1 , ↓ a1 }   ( 1 0 )     T h en ,   a  b in ar y   co d e  is   ass ig n ed   to   th e  co n tr o l  p lan t  tab le  o f   th e  cy lin d er ,   C PT cy ,  as  in   T ab le  4 .   T h e  latter   is   co n s tr u cted   in   u s in g   th e  d ia g n o s er   m o d el  in   Fig u r e   2 .   I n itially ,   th e  cy lin d er   is   in   A 1   ( Sit c =8 )   wh ich   is   co r r esp o n d in g   to   t h e  f ir s t  lin e  o f   th e  tab le   ( co d ec =8 ) .   E ac h   ev e n t  o f   th e   cy lin d e r   en tail s   th e  ch an g e  o f   t h e   C PT c y  lin e  as  wel l  as  f o r   th e  weig h t  o f   th e  cu r r en t  s itu atio n .   Fo r   th e  cy lin d er ,   wh en   t h e  a1  o r d er   is   s en t,  th e  p o s itio n   in d icato r   o f   th e  cy lin d er   g o es a 1   to   s ec o n d   lin e  wh i ch   co r r esp o n d   to   c o d ec   =   1 0 .   C u r r en t  s itu atio n   h as  a  n ew  weig h t o f   Sit c  d ef in e d   i n   ( 1 1 ) .     Sit c= Sit c - 1 +2 =8 +2 =1 0   ( 1 1 )     C o d e   t a b l e  a n d   c u r r e n t   s i t u a ti o n   a r e   m a t c h e d   t h u s   n o   f a i l u r e   is   d e c l a r e d .   I f   a   n o n - w a it e d   e v e n t   i s   g e n e r a t e d ,   as   a n   e x a m p l e   t h e   o c c u r r e n c e   o f   ↑A 0   w h e n   t h e   c y l i n d e r   is   g o i n g   d o w n ,   t h e n   t h e   c u r r e n t   s it u a t i o n   is   d e f i n e d   i n   ( 1 2 ) .     Sit c= Sit c - 1 +4 =1 0 +4 =1 4   ( 1 2 )     T h e  co d e  tab le  is   co d ec   =   2.   T h e  co m p a r is o n   p er m its   to   d e tect  an   o b s er v ab le  f ailu r e  th e  v ec to r   o f   g en er al  in   ( 1 3 ) .   T o   is o late  it,  Si   =1 1 1 0   an d    − 1   =   0 1 1 0   r ep r esen ted   in   ( 1 4 ) ,   th e  c u r r en t  s itu atio n   as  s h o wn   in   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J Po w  E lec  &   Dr i Sy s t     I SS N:   2088 - 8 6 9 4       F a u lt d ia g n o s is   d ec en tr a liz ed   o f m a n u fa ct u r in g   s ystems   u s in g   B o o lea n   mo d els   …   ( Hir ec h e   S lima n e )   2705   ( 1 5 )   is   co m p ar e d   b etwe en      an d    − 1   u s in g   th e  B o o lean   o p er at o r   “e x clu   o r ”  th e  v ec to r   o f   g e n e r al  to   o b tain   th e  r esu lt in   th e  last   in   ( 1 6 ) .     A= ( A 1 A 0 a 1 a 0 )   ( 1 3 )     Si     {    = 1110  − 1   = 0110   ( 1 4 )     T h en ,     A= s it c ⊕   s it c - 1   ( 1 5 )     A= 1 0 0 0   ( 1 6 )     Sen s o r   B o o lean   o p e r ato r   A 1  i n   d ef au lt .       T ab le  4 .   B in ar y   c o d e  o f   th e  c y lin d er   C PT   A1   A0   a1   a0   C o d e c   A1   A0   a1   a0   C o d e c   1   0   0   0   8   0   1   0   0   4   1   0   1   0   10   0   1   0   1   5   0   0   1   0   2   0   0   0   0   1   0   1   1   0   6   1   0   0   1   9       3 . 5 .   T he  co o rdina t o r   E ac h   lo ca l   d iag n o s er   m a k es  i ts   d ec is io n   lo ca lly   an d   in f o r m s   th e  o p er ato r   th r o u g h   th e   v alu e  o f   th e   cu r r en t  s tatu s   p r e d ictio n   f u n cti o n ,   e v en t  h is to r y ,   s tate  v ec to r ,   an d   last   elem en t   p ar t o p er ativ e  ( E PO )   ev en t.   All  th at  r em ain s   is   to   ex p r ess   th e  o v er all  p r o ce s s   s p ec if icatio n s   th at  ca n n o t   b e  d escr ib ed   b y   t h e  lo ca l  d ia g n o s tic   ag en ts .   I t is th e  in ter ac tio n s   b e twee n   elem en ts   th at  m u s t b e  e s tab lis h ed   th r o u g h   r u les in   th e   co o r d i n ato r .       4.   RE SU L T S O F   T H E   S I M UL AT I O N   T h e   s i m u la t i o n   m u s t   i n cl u d e   th e   t w o   l o c al   d i a g n o s t i c ia n s   as  w e l l  a s   t h e   c o o r d i n a t o r   e x p r e s s i n g   t h e  g l o b a l   c o n s t r a i n t s   o f   t h e   s y s tem .   F i g u r e   5   s h o w s   t h e   s i m u l a t io n   u s i n g   S t a t e f l o w   o f   t r a n s f e r   p a r t s .   I t   p r e s e n t s   t w o   d i a g n o s t i cs   c o r r e s p o n d i n g   t o   t h e   t w o   e l e m e n t s   o f   t h e   s y s t e m   w h i c h   a r e   t h e   c y l i n d e r   A   a n d   B .   T o   s i m u l a t e   t h e  b e h a v i o r   o f   t h e   PC   a n d   t h e  PO ,   w e   h a v e   p l ac e d   t w o   m o d u l e s   al l o w i n g   t h e  s i m u l a t i o n   o f   t h e   i n p u t s / o u t p u t s   o f   t h e  e l e m e n ts .   T h e   l o c a l   d i a g n o s ti ci a n s   r e t u r n ,   t o   t h e   c o o r d i n a t o r ' s   d e c i s i o n   t a b l e ,   t h e i r   d e ci s i o n   v i a   f a u l t   l a b e ls   a s   w e l l   a s   t h e   l a b e l   c o r r e s p o n d in g   t o   t h e   f o r e c as t  f u n c t i o n .   T h e   a g g r e g a t i o n   o f   a ll   t h e  l o c al   d e c is i o n s   a n d   t h e  c o o r d i n a t o r ' s   r u l es   t h e n   m a k e s   i t   p o s s i b l e   t o   m a k e   a   f i n a l   d e ci s i o n   o n   t h e   b e h a v i o r   o f   t h e   s y s t em   t o   t h e   u s e r .           Fig u r e  5 .   B lo ck   Si m u li n k   u s i n g   S tat ef lo w   Evaluation Warning : The document was created with Spire.PDF for Python.
            I SS N :   2088 - 8 6 9 4   I n t J Po w  E lec  &   Dr i Sy s t ,   Vo l.  15 ,   No .   4 ,  Dec em b er   20 24 :  2 700 - 2 7 0 8   2706   4 . 1 .   L o ca l c y lin der  dia g no s t ic   Fig u r e   6   p r ese n ts   t h e   s im p l if i ed   d i ag n o s ti cia n .   A   f o r   u n o b s er v a b l e   f au lts   w h e r e   th e   i n it i al   s ta te   is   r e p r ese n t e d   b y   a n   a r r o w   wi th   a   p o in t.   St ate f l o w ,   n o t   m a n a g i n g   t h e   s y m b o ls   ↓   a n d   ↑ ,   t h e   r is i n g   ed g e  o f   a n   e v e n t   is   r e p r ese n t ed   b y   t h e   l ette r s   " f m "   i n   f r o n t   o f   t h e   e v e n t   w h il e  th e   f al li n g   e d g e   is   d esc r i b e d   b y   th e  lett e r s   " f d "   a n d   SO  r e p r ese n ts   t h e   c y l in d e r   o u t p u t  A  ( A 1 )   a n d   R E   in s te ad   o f   A0 .     4 . 2 .   T he  co o rdina t o r   T h e   c o o r d i n a to r   m u s t   als o   r e tr iev e   a ll   o f   th e   l o c al   d ec is i o n s   in   o r d er   to   m a k e   a   f i n al   d ec is i o n   t o   t h e   u s e r .   F o r   t h is ,   w e  cr ea t e d   a   d e c is io n   a g g r e g ati o n   m o d u l e  co lle cti n g   a ll  th e  f a u l t l ab els   f r o m   l o c al  d i a g n o s t ici an s   co r r es p o n d i n g   t o   eit h e r   an   o b s er v a b l e  f a u lt .   t h e  f i n al  d ec is io n   is   o b t ai n e d   b y   a   l o g ica l  " 1 "  n e x t  to   e ac h   l ab el ,   co r r es p o n d i n g   to   a   f a u lt   t h at   h as  o c cu r r e d .   T h e  d i f f e r e n t   f a u lt   p ar titi o n s   a r e   r ec all ed   i n   T a b l e  5 .           Fig u r e  6 .   C y l in d e r   d ia g n o s tic i an   b y   S t ate f l o w       T ab le  5 .   Fau lt m atr ix   o f   th e  cy lin d er     Et a t   D e f a u l t   x1   X 2   X3   X4   X5   X6   X7   X8     Et a t   D e f a u l t   x1   X 2   X3   X4   X5   X6   X7   X8   F1   f1   1   1   0   0   0   0   1   1   F4   f7   1   1   1   1   1   1   1   1     f2   0   1   1   1   1   1   1   0     f8   1   1   1   1   1   1   1   1   F2   f3   0   0   1   1   1   1   0   0     f9   0   1   1   1   1   1   1   0     f4   1   1   1   0   0   1   1   1   F5   f 1 0   1   1   1   0   0   1   1   1   F3   f5   1   1   1   1   1   1   1   1                         f6   1   1   1   1   1   1   1   1                           5.   CO NCLU SI O N   T h is   r esear ch   p r esen ts   a  d iag n o s tic  ap p r o ac h   th at  u tili ze s   lo g ical  eq u atio n s   to   m o d el  c o n s tr ain ts ,   p ar ticu lar ly   f o r   m a n u f ac t u r in g   s y s tem s   eq u ip p ed   with   d is cr e te  ac tu ato r s   an d   s en s o r s .   T h e  m eth o d o l o g y   v iews   th e  p lan t  as  a  c o llectio n   o f   p l an t  elem en ts   co m p r is in g   s en s o r s   an d   t h eir   ass o ciate d   ac tu a to r s .   B y   em p lo y in g   f au lt - f r ee   m o d els,  th e  c o m p le x ity   o f   m o d el  c o n s tr u ctio n   is   r ed u ce d ,   an d   th er e   is   n o   n ee d   to   d e f in e  f a u lts   a  p r io r i f o r   d ia g n o s is .   T h e  g o a l  is   to   t ak e   b en e f it   o f   t h e   c o m p o s i te   s t r u ct u r e   o f   m a n u f ac tu r i n g   s y s t em s .   T h e   u s e   o f   f a u lt   f r ee   m o d els  r e d u ce s   th e  m o d e l  c o n s tr u ct io n   co m p le x i ty   s i n ce   t h e   f a u lt   b e h a v i o r s   in   r esp o n s e  to   a  p r e d ef in e d   s et  o f   f a u lts   ar e   n o t   i n te g r at e d   i n   t h e  s y s t em   m o d els   an d   r e d u c ed   m o d eli n g   d if f i cu lti es   a n d   r is k s   o f   co m b i n at o r ia l   ex p l o s i o n   to   d is c o v e r   e r r o r s .   T h is   d i ag n o s ti c  p r o ce s s   is   a cc o m p l is h e d   t h r o u g h   a   s et   o f   l o ca l   d ia g n o s e r s ,   e ac h   r es p o n s ib le   f o r   a   s p ec i f i c   a r e a  o f   t h e   s y s t em   o r   a   d es ig n at ed   co m p o n en t   T h is   a p p r o ac h   is   m o d u l ar   a n d   its   co m p le x it y   is   r e d u ce d   f r o m   2 Nc +N u   to   ( N u   +   1 ) . 2 N c,   w h e r e   N u   is   th e   n u m b er   o f   s e n s o r s   a n d   Nc   is   t h e   n u m b e r   o f   c o m m an d s   f o r   e ac h   a ct u a to r .   Fi n a ll y ,   th e  ap p r o ac h   m u s t  b e  im p lem en ted   in t o   a  p r o g r am m ab le   lo g ic  co n tr o ller   f o r   a  r ea l  an d   t h e   g o al   is   t o   i n c o r p o r at e  th e   le ar n i n g   o f   s y s t em   d y n am ics   a n d   e x p er t k n o wl ed g e   to   est ab lis h   a  p r e f e r e n c e  o r d e r   am o n g   e v e n ts   w h e n   t h e   s et   o f   f a u lt   e v en ts   co n t ai n s   m o r e  th a n   o n e   e v e n t .       REFEREN CES   [ 1 ]   S .   R e s h mi l a   a n d   R .   D e v a n a t h a n ,   “ C o mp o n e n t   l e v e l   d i a g n o s a b i l i t y   o f   d i scr e t e   e v e n t   sy s t e ms   b a s e d   o n   o b serv a t i o n s , ”   I n n o v a t i o n s   i n   S y st e m s   a n d   S o f t w a re  En g i n e e ri n g ,   v o l .   1 9 ,   n o .   3 ,   p p .   3 0 3 – 3 1 7 ,   2 0 2 3 ,   d o i :   1 0 . 1 0 0 7 / s1 1 3 3 4 - 022 - 0 0 5 0 2 - 1.   [ 2 ]   B .   S i n g h   a n d   P .   K .   D u b e y ,   “ D i s t r i b u t e d   p o w e r   g e n e r a t i o n   p l a n n i n g   f o r   d i s t r i b u t i o n   n e t w o r k s   u s i n g   e l e c t r i c   v e h i c l e s :   S y s t e m a t i c  a t t e n t i o n   t o   c h a l l e n g e s   a n d   o p p o r t u n i t i e s , ”   J o u r n a l   o f   E n e r g y   S t o r a g e ,   v o l .   4 8 ,   p .   1 0 4 0 3 0 ,   A p r .   2 0 2 2 ,   d o i :   1 0 . 1 0 1 6 / j . e s t . 2 0 2 2 . 1 0 4 0 3 0 .   [ 3 ]   P .   K .   D u b e y ,   B .   S i n g h ,   D .   K .   P a t e l ,   a n d   D .   S i n g h ,   “ D i s t r i b u t e d   G e n e r a t i o n   C u r r e n t   S c e n a r i o   i n   t h e   W o r l d , ”   I n t e r n a t i o n a l   J o u r n a l   Fo r  Mu l t i d i sc i p l i n a ry   Re s e a rc h ,   v o l .   5 ,   n o .   4 ,   2 0 2 3 ,   d o i :   1 0 . 3 6 9 4 8 / i j f mr . 2 0 2 3 . v 0 5 i 0 4 . 4 6 2 5 .   [ 4 ]   V .   C h a n d r a   a n d   R .   K u mar,   “ A   d i scr e t e   e v e n t   s y st e ms   mo d e l i n g   f o r ma l i s m  b a se d   o n   e v e n t   o c c u r r e n c e   r u l e s   a n d   p r e c e d e n c e s , ”   I EEE  T r a n s a c t i o n s  o n   R o b o t i c s   a n d   A u t o m a t i o n ,   v o l .   1 7 ,   n o .   6 ,   p p .   7 8 5 – 7 9 4 ,   2 0 0 1 ,   d o i :   1 0 . 1 1 0 9 / 7 0 . 9 7 5 9 9 1 .   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J Po w  E lec  &   Dr i Sy s t     I SS N:   2088 - 8 6 9 4       F a u lt d ia g n o s is   d ec en tr a liz ed   o f m a n u fa ct u r in g   s ystems   u s in g   B o o lea n   mo d els   …   ( Hir ec h e   S lima n e )   2707   [ 5 ]   G .   Ji r o v e a n u   a n d   R .   K .   B o e l ,   “ A   d i st r i b u t e d   a p p r o a c h   f o r   f a u l t   d e t e c t i o n   a n d   d i a g n o si s  b a se d   o n   T i me   P e t r i   N e t s,”   Ma t h e m a t i c s   a n d   C o m p u t e rs i n   S i m u l a t i o n ,   v o l .   7 0 ,   n o .   5 – 6 ,   p p .   2 8 7 – 3 1 3 ,   2 0 0 6 ,   d o i :   1 0 . 1 0 1 6 / j . m a t c o m. 2 0 0 5 . 1 1 . 0 0 3 .   [ 6 ]   A .   P h i l i p p o t ,   M .   S a y e d - M o u c h a w e h ,   a n d   V .   C a r r é - M é n é t r i e r ,   “ C a n d i d a t e s’   g e n e r a t i o n   f o r   d i a g n o s i s  o f   d i scre t e   m a n u f a c t u r i n g   sy st e ms, ”   I FA C   Pr o c e e d i n g s V o l u m e s ,   v o l .   4 2 ,   n o .   8 ,   p p .   1 5 7 5 – 1 5 8 0 ,   2 0 0 9 ,   d o i :   1 0 . 3 1 8 2 / 2 0 0 9 0 6 3 0 - 4 - ES - 2 0 0 3 . 0 0 2 5 7 .   [ 7 ]   M .   O .   C o r d i e r   a n d   A .   G r a s t i e n ,   “ E x p l o i t i n g   i n d e p e n d e n c e   i n   a   d e c e n t r a l i sed   a n d   i n c r e me n t a l   a p p r o a c h   o f   d i a g n o s i s,”   i n   I J C AI   I n t e r n a t i o n a l   J o i n t   C o n f e r e n c e   o n   A rt i f i c i a l   I n t e l l i g e n c e ,   2 0 0 7 ,   p p .   2 9 2 – 297.   [ 8 ]   M .   S .   K h i r e d d i n e ,   N .   S l i m a n e ,   Y .   A b d e ssem e d ,   a n d   M .   T.   M a k h l o u f i ,   “ F a u l t   d e t e c t i o n   a n d   d i a g n o si s   i n   i n d u c t i o n   m o t o r   u si n g   a r t i f i c i a l   i n t e l l i g e n c e   t e c h n i q u e , ”   M A T EC   We b   o f   C o n f e r e n c e s ,   v o l .   1 6 ,   2 0 1 4 ,   d o i :   1 0 . 1 0 5 1 / mat e c c o n f / 2 0 1 4 1 6 1 0 0 0 4 .   [ 9 ]   A .   P h i l i p p o t   a n d   B .   R i e r a ,   “ F a u l t   D i a g n o si s   o f   D i scr e t e   E v e n t   S y st e ms  U si n g   C o m p o n e n t s  F a u l t - F r e e   mo d e l s , ”   i n   2 0 t h   I n t e r n a t i o n a l   W o rks h o p   o n   Pr i n c i p l e s   o f   D i a g n o si s   D X’ 0 9 ,   Ju n   2 0 0 9 ,   S t o c k h o l m,   S w e d e n .     [ 1 0 ]   R .   J a c o b ,   J .   J.   L e sa g e ,   a n d   J.   M .   F a u r e ,   “ O v e r v i e w   o f   d i scre t e   e v e n t   sy s t e ms  o p a c i t y :   M o d e l s,   v a l i d a t i o n ,   a n d   q u a n t i f i c a t i o n , ”  An n u a l   Re v i e w s   i n   C o n t r o l ,   v o l .   4 1 ,   p p .   1 3 5 – 1 4 6 ,   2 0 1 6 ,   d o i :   1 0 . 1 0 1 6 / j . a r c o n t r o l . 2 0 1 6 . 0 4 . 0 1 5 .   [ 1 1 ]   J .   C h e n ,   C .   K e r o g l o u ,   C .   N .   H a d j i c o s t i s ,   a n d   R .   K u m a r ,   “ R e v i s e d   T e s t   f o r   S t o c h a s t i c   D i a g n o s a b i l i t y   o f   D i s c r e t e - E v e n t   S y s t e m s , ”   I E E E   T r a n s a c t i o n s   o n   A u t o m a t i o n   S c i e n c e   a n d   E n g i n e e r i n g ,   v o l .   1 5 ,   n o .   1 ,   p p .   4 0 4 – 4 0 8 ,   2 0 1 8 ,   d o i :   1 0 . 1 1 0 9 / T A S E . 2 0 1 6 . 2 5 5 1 7 4 6 .   [ 1 2 ]   A .   Ta j e r ,   A .   P h i l i p p o t ,   a n d   V .   C a r r e - M e n e t r i e r ,   “ S y n t h e s i s  o f   o p t i m a l   c o n t r o l l e r   o f   d i scre t e   ma n u f a c t u r i n g   s y st e ms  b y   l i v e n e s s   e x t r a c t i o n , ”   2 0 1 2 ,   d o i :   1 0 . 1 1 0 9 / I C o C S . 2 0 1 2 . 6 4 5 8 5 7 8 .   [ 1 3 ]   S .   C h a k k o r ,   M .   B a g h o u r i ,   a n d   A .   H a j r a o u i ,   “ W i n d   t u r b i n e   f a u l t   d e t e c t i o n   sy st e m  i n   r e a l   t i me   r e m o t e   m o n i t o r i n g , ”   I n t e r n a t i o n a l   J o u rn a l   o f   El e c t r i c a l   a n d   C o m p u t e r   E n g i n e e r i n g ,   v o l .   4 ,   n o .   6 ,   p p .   8 8 2 – 8 9 2 ,   2 0 1 4 ,   d o i :   1 0 . 1 1 5 9 1 / i j e c e . v 4 i 6 . 6 4 7 9 .   [ 1 4 ]   M .   K h a l e g h i ,   M .   B a r k h o r d a r i   Y a z d i ,   A .   K a r i m o d d i n i ,   a n d   M .   M a g h f o o r i   F a r s a n g i ,   “ A n   i n f e r e n c i n g   s t r u c t u r e   f o r   M P O ‐ b a s e d   d e c e n t r a l i z e d   d y n a m i c   f a u l t   d i a g n o s i s , ”   I E T   C o n t r o l   T h e o r y   &   A p p l i c a t i o n s ,   v o l .   1 6 ,   n o .   2 ,   p p .   1 8 2 – 1 9 1 ,   2 0 2 2 ,   d o i :   1 0 . 1 0 4 9 / c t h 2 . 1 2 2 1 5 .   [ 1 5 ]   M .   S a y e d - M o u c h a w e h ,   “ D e c e n t r a l i z e d   f a u l t   f r e e   mo d e l   a p p r o a c h   f o r   f a u l t   d e t e c t i o n   a n d   i s o l a t i o n   o f   d i s c r e t e   e v e n t   s y s t e ms g , ”   Eu r o p e a n   J o u r n a l   o f   C o n t r o l ,   v o l .   1 8 ,   n o .   1 ,   p p .   8 2 – 9 3 ,   2 0 1 2 ,   d o i :   1 0 . 3 1 6 6 / EJC . 1 8 . 8 2 - 9 3 .   [ 1 6 ]   J.  Za y t o o n   a n d   M .   S a y e d - M o u c h a w e h ,   “ D i sc u ssi o n   o n   F a u l t   D i a g n o si s  m e t h o d s  o f   D i scre t e   Ev e n t   S y st e ms,”   I FAC   Pr o c e e d i n g s   Vo l u m e s   ( I FAC - P a p e rsO n l i n e ) ,   v o l .   4 5 ,   n o .   2 9 ,   p p .   9 – 1 2 ,   2 0 1 2 ,   d o i :   1 0 . 3 1 8 2 / 2 0 1 2 1 0 0 3 - 3 - MX - 4 0 3 3 . 0 0 0 0 5 .   [ 1 7 ]   L.   D i m i t r i ,   “ F a u l t y   p a t t e r n s   d i a g n o s i s  f o r   k - b o u n d e d   n o n - M a r k o v i a n   t i me d   st o c h a st i c   P e t r i   n e t s , ”   I F AC - P a p e r sO n L i n e ,   v o l .   5 1 ,   n o .   1 1 ,   p p .   2 3 5 – 2 4 0 ,   2 0 1 8 ,   d o i :   1 0 . 1 0 1 6 / j . i f a c o l . 2 0 1 8 . 0 8 . 2 6 8 .   [ 1 8 ]   M .   M e n g   a n d   J .   E.   F e n g ,   “ F u n c t i o n   p e r t u r b a t i o n s  i n   B o o l e a n   n e t w o r k s  w i t h   i t s  a p p l i c a t i o n   i n   a   D .   mel a n o g a s t e r   g e n e   n e t w o r k , ”   Eu r o p e a n   J o u r n a l   o f   C o n t r o l ,   v o l .   2 0 ,   n o .   2 ,   p p .   8 7 – 9 4 ,   2 0 1 4 ,   d o i :   1 0 . 1 0 1 6 / j . e j c o n . 2 0 1 4 . 0 1 . 0 0 1 .   [ 1 9 ]   J.  Z a y t o o n   a n d   S .   L a f o r t u n e ,   “ O v e r v i e w   o f   f a u l t   d i a g n o s i s  me t h o d s  f o r   D i s c r e t e   E v e n t   S y s t e ms, ”   An n u a l   Re v i e w s  i n   C o n t r o l ,   v o l .   3 7 ,   n o .   2 ,   p p .   3 0 8 – 3 2 0 ,   2 0 1 3 ,   d o i :   1 0 . 1 0 1 6 / j . a r c o n t r o l . 2 0 1 3 . 0 9 . 0 0 9 .   [ 2 0 ]   B .   D a r k h o v sk i   a n d   M .   S t a r o sw i e c k i ,   “ A   g a m e - t h e o r e t i c   a p p r o a c h   t o   d e c i s i o n   i n   F D I , ”   I EEE  T r a n sa c t i o n s  o n   A u t o m a t i c   C o n t r o l ,  v o l .   4 8 ,   n o .   5 ,   p p .   8 5 3 – 8 5 8 ,   2 0 0 3 ,   d o i :   1 0 . 1 1 0 9 / TA C . 2 0 0 3 . 8 1 1 2 6 7 .   [ 2 1 ]   R .   D e b o u k ,   S .   L a f o r t u n e ,   a n d   D .   T e n e k e t z i s ,   “ C o o r d i n a t e d   d e c e n t r a l i z e d   p r o t o c o l s   f o r   f a i l u r e   d i a g n o s i s   o f   d i s c r e t e   e v e n t   s y s t e m s , ”   i n   P r o c e e d i n g s   o f   t h e   I E E E   C o n f e r e n c e   o n   D e c i s i o n   a n d   C o n t r o l ,   1 9 9 8 ,   v o l .   4 ,   p p .   3 7 6 3 – 3 7 6 8 ,   d o i :   1 0 . 1 0 2 3 / A : 1 0 0 8 3 3 5 1 1 5 5 3 8 .   [ 2 2 ]   S .   G e n c   a n d   S .   La f o r t u n e ,   “ D i st r i b u t e d   d i a g n o s i s  o f   d i scr e t e - e v e n t   s y st e ms   u si n g   P e t r i   n e t s, ”   L e c t u re  N o t e s   i n   C o m p u t e r  S c i e n c e   ( i n c l u d i n g   s u b s e ri e s  L e c t u re  N o t e s  i n   Art i f i c i a l   I n t e l l i g e n c e   a n d   L e c t u r e   N o t e s  i n   Bi o i n f o rm a t i c s) ,   v o l .   2 6 7 9 ,   p p .   3 1 6 – 3 3 6 ,   2 0 0 3 ,   d o i :   1 0 . 1 0 0 7 / 3 - 5 4 0 - 4 4 9 1 9 - 1 _ 2 1 .   [ 2 3 ]   A .   C h e r i e t ,   A .   B e k r i ,   A .   H a z z a b ,   a n d   H .   G o u a b i ,   “ E x p e r t   sy st e m  b a s e d   o n   f u z z y   l o g i c :   A p p l i c a t i o n   o n   f a u l t s  d e t e c t i o n   a n d   d i a g n o si s  o f   D F I G , ”   I n t e r n a t i o n a l   J o u r n a l   o f   Po w e r  El e c t r o n i c s  a n d   D r i v e   S y s t e m s ,   v o l .   9 ,   n o .   3 ,   p p .   1 0 8 1 – 1 0 8 9 ,   2 0 1 8 ,   d o i :   1 0 . 1 1 5 9 1 / i j p e d s . v 9 . i 3 . p p 1 0 8 1 - 1 0 8 9 .   [ 2 4 ]   R .   J .   P a t t o n ,   P .   M .   F r a n k ,   a n d   R .   N .   C l a r k ,   E d s. ,   I ss u e s  o f   F a u l t   D i a g n o si s   f o r Dy n a m i c   S y st e m s .   Lo n d o n :   S p r i n g e r   Lo n d o n ,   2 0 0 0 .   [ 2 5 ]   R .   J y o t h i ,   T .   H o l l a ,   K .   U m a   R a o ,   a n d   R .   Ja y a p a l ,   “ M a c h i n e   l e a r n i n g   b a s e d   m u l t i   c l a ss  f a u l t   d i a g n o s i s  t o o l   f o r   v o l t a g e   so u r c e   i n v e r t e r   d r i v e n   i n d u c t i o n   mo t o r , ”   I n t e rn a t i o n a l   J o u rn a l   o f   P o w e r   El e c t ro n i c s  a n d   D ri v e   S y st e m s ,   v o l .   1 2 ,   n o .   2 ,   p p .   1 2 0 5 – 1 2 1 5 ,   2 0 2 1 ,   d o i :   1 0 . 1 1 5 9 1 / i j p e d s. v 1 2 . i 2 . p p 1 2 0 5 - 1 2 1 5 .   [ 2 6 ]   H .   E.   G a r c i a   a n d   T.   S .   Y o o ,   “ M o d e l - b a s e d   d e t e c t i o n   o f   r o u t i n g   e v e n t s  i n   d i scre t e   f l o w   n e t w o r k s,”   A u t o m a t i c a ,   v o l .   4 1 ,   n o .   4 ,   p p .   5 8 3 – 5 9 4 ,   2 0 0 5 ,   d o i :   1 0 . 1 0 1 6 / j . a u t o m a t i c a . 2 0 0 4 . 1 0 . 0 0 2 .   [ 2 7 ]   C .   N .   H a d j i c o st i s,  “ P r o b a b i l i s t i c   f a u l t   d e t e c t i o n   i n   f i n i t e - st a t e   ma c h i n e s  b a s e d   o n   st a t e   o c c u p a n c y   m e a s u r e m e n t s, ”   i n   Pr o c e e d i n g s   o f   t h e   I E EE  C o n f e r e n c e   o n   D e c i s i o n   a n d   C o n t r o l ,   2 0 0 2 ,   v o l .   4 ,   p p .   3 9 9 4 – 3 9 9 9 ,   d o i :   1 0 . 1 1 0 9 / c d c . 2 0 0 2 . 1 1 8 4 9 9 1 .   [ 2 8 ]   S .   Y a d a v ,   M .   S .   I .   S u d ma n ,   P .   K u m a r   D u b e y ,   R .   V i j a v a   S r i n i v a s,   R .   S r i s a i n a t h ,   a n d   V .   C h i t h r a   D e v i ,   “ D e v e l o p men t   o f   a n   G A - R B F   b a s e d   M o d e l   f o r   P e n e t r a t i o n   o f   El e c t r i c   V e h i c l e s  a n d   i t s  P r o j e c t i o n s,”   i n   I n t e r n a t i o n a l   C o n f e r e n c e   o n   S e l f   S u st a i n a b l e   Art i f i c i a l   I n t e l l i g e n c e   S y s t e m s,   I C S S A S   2 0 2 3   -   Pr o c e e d i n g s ,   2 0 2 3 ,   p p .   1 5 9 9 – 1 6 0 4 ,   d o i :   1 0 . 1 1 0 9 / I C S S A S 5 7 9 1 8 . 2 0 2 3 . 1 0 3 3 1 8 8 3 .   [ 2 9 ]   P .   K .   D u b e y ,   B .   S i n g h ,   D .   S i n g h ,   P .   N .   V e r ma,   K .   S .   V e r ma,   a n d   Ja h n a v i ,   “ En e r g y   S t o r a g e   T e c h n o l o g i e s:   Ty p e s,  R e c e n t   Tr e n d s,   a n d   D e v e l o p me n t , ”   i n   2 0 2 4   3 r d   I n t e r n a t i o n a l   C o n f e re n c e   o n   P o w e r  E l e c t r o n i c s  a n d   I o T   A p p l i c a t i o n s  i n   R e n e w a b l e   En e rg y   a n d   i t s  C o n t ro l ,   PAR C   2 0 2 4 ,   2 0 2 4 ,   p p .   1 – 7 ,   d o i :   1 0 . 1 1 0 9 / P A R C 5 9 1 9 3 . 2 0 2 4 . 1 0 4 8 6 4 1 2 .   [ 3 0 ]   B .   S i n g h ,   P .   K .   D u b e y ,   a n d   S .   N .   S i n g h ,   “ R e c e n t   O p t i m i z a t i o n   T e c h n i q u e s   f o r   C o o r d i n a t e d   C o n t r o l   o f   E l e c t r i c   V e h i c l e s  i n   S u p e r   S mart  P o w e r   G r i d s Ne t w o r k :   A   S t a t e   o f   t h e   A r t , ”   2 0 2 2 ,   d o i :   1 0 . 1 1 0 9 / U P C O N 5 6 4 3 2 . 2 0 2 2 . 9 9 8 6 4 7 1 .   [ 3 1 ]   P .   K .   D u b e y ,   B .   S i n g h ,   V .   K u m a r ,   a n d   D .   S i n g h ,   “ A   n o v e l   a p p r o a c h   f o r   c o m p a r a t i v e   a n a l y s i s   o f   d i s t r i b u t e d   g e n e r a t i o n s   a n d   e l e c t r i c   v e h i c l e s   i n   d i s t r i b u t i o n   s y s t e m s , ”   E l e c t r i c a l   E n g i n e e r i n g ,   v o l .   1 0 6 ,   n o .   3 ,   p p .   2 3 7 1 – 2 3 9 0 ,   2 0 2 4 ,   d o i :   1 0 . 1 0 0 7 / s 0 0 2 0 2 - 023 - 0 2 0 7 2 - 2.       B I O G RAP H I E S O F   AUTH O RS       H ire c h e   S li m a n e           wa s  b o rn   i n   1 9 8 5   a t  Ora n - Al g e ria.  He   re c e iv e d   th e   e lec tro n ica l   e n g in e e rin g   d ip l o m a   o p ti o n :  Co n tro l  f ro m   th e   U n iv e rsit y   o f  Be c h a r,   Alg e ria  in   2 0 0 8 ,   a n d   th e   m a g ister  d e g re e   o p ti o n :   A u t o m a ti c   fro m   t h e   Un i v e rsity   o f   Be c h a r,   Alg e ria  i n   2 0 1 3 .   He   is  a   P h . D.   stu d e n t  i n   th e   El e c tri c a l  En g in e e r in g   a t  th e   Un i v e rsity   o f  Be c h a r  si n c e   2 0 1 4 .   His  re se a rc h   in tere sts   in c lu d e   d iag n o stic  a u to m a ti c   sy st e m ,   e lec tro n ic,  c o m m a n d ,   a n d   a u to m a ti c .   He   c a n   b e   c o n tac ted   a t   e m a il :  e tn . slim a n @g m a il . c o m .   Evaluation Warning : The document was created with Spire.PDF for Python.
            I SS N :   2088 - 8 6 9 4   I n t J Po w  E lec  &   Dr i Sy s t ,   Vo l.  15 ,   No .   4 ,  Dec em b er   20 24 :  2 700 - 2 7 0 8   2708     Mo h a m e d   H a b b a b           wa s  b o r n   in   1 9 6 9   a t  Re li z a n e - Alg e ria.  He   re c e iv e d   th e   sta t e   e n g in e e r  d e g re e   in   El e c tro n ic  En g i n e e rin g   i n   1 9 9 4   fr o m   t h e   Un iv e rsit y   o f  S c ie n c e s  a n d   Tec h n o l o g y   o f  Ora n   (UST O) ,   A lg e ria  a n d   th e   M . S c .   d e g re e   a s  we ll   a s   th e   P h . D.  d e g re e   in   t h e   El e c tri c a l  En g i n e e rin g   fr o m   Un iv e rsity   Tah ri  M o h a m e d ,   Be c h a r,   Alg e ria  i n   2 0 1 5   a n d   2 0 1 8   re sp e c ti v e ly .   He   is  c u rre n tl y   p ro fe ss o r  o f  El e c tri c a l  E n g i n e e rin g   a t  Un i v e rsity   Ta h ri  M o h a m e d   Be c h a r,   Alg e ria.  His  re se a rc h   in tere sts  in c lu d e   p o we r  e lec tro n ics ,   a n d   a rti ficia l  in telli g e n c e   a n d   th e ir  a p p li c a ti o n s.  He   c a n   b e   c o n t a c ted   a t  e m a il :  h a b b a b . m o h a m e d @u n i v - b e c h a r. d z .         Abd e ld je b a r   H a z z a b           re c e iv e d   th e   sta te  e n g i n e e r  d e g re e   in   El e c tri c a l  En g in e e ri n g   i n   1 9 9 5   fro m   t h e   Un iv e rsit y   o f  S c ie n c e s  a n d   Tec h n o lo g y   o f  Ora n   (UST O),  Alg e ria ,   th e   M . S c .   d e g re e   fro m   th e   El e c tri c a l  En g in e e rin g   In stit u te   o f  th e   US TO  in   1 9 9 9 ,   a n d   t h e   P h . D.  d e g re e   fro m   th e   El e c tri c a l  En g i n e e rin g   I n stit u te  o f  th e   UST O  i n   2 0 0 6 .   He   is  c u rre n tl y   p r o fe ss o r  o f  El e c tri c a l   En g i n e e rin g   a t  Un i v e rsity   o f  Be c h a r,   Alg e ria,  wh e re   h e   is  d irec to r  o f  th e   re se a rc h   lab o ra to r y   o f   c o n tro l  a n a ly sis  a n d   o p ti m iza ti o n   o f  th e   E lec tro - En e r g e ti c   S y ste m s.  He   is  a lso   an   in v it e d   p ro fe ss o r   fro m   Éco le  d e   Tec h n o lo g ie  S u p é r ieu re   (ET S ),   Un iv e rsité,  M o n tréa l ,   Ca n a d a .   His  re se a rc h   in tere s ts  in c lu d e   p o we r  e lec tro n ics ,   e lec tri c   d riv e s  c o n tro l,   a n d   a rti ficia l  in t e ll ig e n c e   a n d   th e ir  a p p li c a ti o n s.   He   c a n   b e   c o n tac ted   a t  e m a il :  h a z z a b . a b d e ld je b a r@e tsm tl . c a   o r  a b d e ld jeb a r. h a z z a b @g m a il . c o m .         Ahm e d   K h a li l   Mo u ss a o u i         w a s  b o r n   i n   Ba c h a r,   Alg e ria,   in   1 9 8 8 .   He   g o t   L. S c .   a n d   M . S c .   d e g re e s  in   El e c tri c a l  a n d   E lec tro n ic  En g in e e ri n g   fr o m   th e   Un iv e rsit y   o f  Ba sh a r,   Al g e ria,  i n   2 0 1 0   a n d   2 0 1 2 ,   re sp e c ti v e ly .   He   h a s  b e e n   wo rk in g   h is  P h . D.   sin c e   S e p tem b e r  2 0 1 4   in   th e   De p a rtme n t  o f  El e c tri c a l  a n d   El e c tro n ic  E n g in e e rin g .   He   is  c u rre n tl y   a   re se a rc h   fe ll o w  in   Lab o ra to r y   Co n tro l  a n d   An a l y sis  a n d   El e c tri c a l  P o we r  Im p ro v e m e n t  S y ste m s,  De p a rtme n t  o f   El e c tri c a l  a n d   El e c tro n ic  E n g i n e e rin g ,   Be c h a r  U n iv e rsit y .   His  m a in   re se a rc h   a c ti v it y   fo c u se s  o n   d ro n e s,  p ro g ra m m in g ,   a n d   p ro c e ss   c o n tro l.   He   c a n   b e   c o n tac ted   a t  e m a il :  k h a li lmo u ss a o u i 8 8 @ g m a il . c o m .         Am b r ish   Ch a n d r a           g o t  B . E.   d e g re e   fro m   th e   Un i v e rsity   o f   R o o r k e e ,   In d ia,   in   1 9 7 7 ,   th e   M . Tec h .   d e g re e   fro m   IIT   De lh i,   in   1 9 8 0 ,   a n d   t h e   P h . D.  d e g re e   fro m   th e   Un iv e rsit y   o f  Ca lg a ry ,   in   1 9 8 7 .   Be fo re   j o in i n g   a s  a n   a ss o c iate   p ro fe ss o r  a t  t h e   ÉT S ,   M o n trea l,   in   1 9 9 4 ,   h e   wo rk e d   a s  a n   a ss o c iate   p ro fe ss o r  a t  IIT R .   S in c e   1 9 9 9 ,   h e   h a s  b e e n   a   f u ll   p ro fe ss o r  o f   e lec tri c a l  e n g i n e e rin g   with   ÉT S .   F ro m   2 0 1 2   to   2 0 1 5 ,   h e   wa s  th e   d irec to r   o f   th e   M u lt i d i sc ip li n a ry   G ra d u a te  P r o g ra m   o n   Re n e wa b le  En e rg y   a n d   En e rg y   Eff icie n c y   with   ÉT S .   He   is  c u rre n tl y   t h e   d irec to r  o f  t h e   m a ste r  p ro g ra m   in   El e c tri c a l  En g in e e rin g .   T h e   p rima ry   f o c u s  o f  h is  wo r k   is  re late d   to   t h e   a d v a n c e m e n t  o f   n e w  th e o r y   a n d   c o n tro l   a lg o rit h m s  fo r  p o we r   e lec tro n ic  c o n v e rters   fo r  p o we r  q u a li t y   imp ro v e m e n t   in   d istri b u t io n   sy ste m s  a n d   in teg r a ti o n   o f  re n e wa b le  e n e rg y   so u rc e s.  He   c a n   b e   c o n tac ted   a t  e m a il :  a m b rish . c h a n d ra @e tsm tl . c a .         H icha m   G o u a b i          wa s  b o rn   o n   th e   2 0 t h   No v e m b e r  1 9 9 2   in   Be c h a r,   Alg e ria.  H e   re c e iv e d   th e   m a ste r  d e g re e   in   A u to m a ti o n   o f  I n d u strial  P ro c e ss e s:  Au to m a ti c   Co n tr o l  fro m   th e   M ’Ha m e d   Bo u g a ra   Un iv e rsity ,   Bo u m e rd e s,  Al g e ria  i n   2 0 1 6 .   He   is  a   m e m b e r  o f   th e   Co n tr o l   An a ly sis  a n d   O p ti m iza ti o n   o f  t h e   El e c tro - En e r g e ti c   S y ste m s  (C AO S EE )  Lab o ra to r y   si n c e   2 0 1 6 .   His  re se a rc h   in tere sts  c o v e r,   p o we r  e lec tro n ics ,   c o n tr o l  o f  m u lt il e v e l  c o n v e rters ,   a rti f icia l   in telli g e n c e ,   a n d   th e ir  a p p li c a ti o n s.  He   c a n   b e   c o n tac ted   a t  e m a il :  g o u a b i . h ich a m @u n iv - b e c h a r. d z .         Alh a c h e m i   M o u la y   Abd e ll a h         wa s  b o r n   o n   t h e   2 n d   o f  Ja n u a ry   1 9 9 9   i n   Ad ra r,   Alg e ria.   He   re c e iv e d   a n   M . S .   d e g re e   i n   Au to m a ti o n   a n d   I n d u strial  C o m p u ti n g   fro m   Tah ri  M o h a m m e d   Un iv e rsity   i n   2 0 2 2 .   He   h a s  b e e n   a   m e m b e r  o f  th e   Co n tr o l  An a ly sis  a n d   Op ti m iza ti o n   o f  th e   El e c tro - En e rg e ti c   S y ste m s  (CAO S EE )  Lab o ra to r y   sin c e   2 0 2 3 .   His   re se a rc h   in tere sts  c o v e r,   p o we r   e lec tro n ics ,   c o n tr o l  o f  m u lt il e v e l  c o n v e rters ,   a rti ficia l  i n telli g e n c e ,   a n d   re n e wa b le  e n e rg y .   He   c a n   b e   c o n tac ted   a t  e m a il :  a l h a c h e m i. a b d e ll a h @u n i v - b e c h a r. d z .     Evaluation Warning : The document was created with Spire.PDF for Python.