I nte rna t io na l J o urna l o f   E lect rica l a nd   Co m p ute E ng in ee ring   ( I J E CE )   Vo l.   11 ,   No .   1 Feb r u ar y   2 0 2 1 ,   p p .   27 2 ~ 283   I SS N:  2 0 8 8 - 8708 DOI : 1 0 . 1 1 5 9 1 / i j ec e . v 1 1 i 1 . pp 2 7 2 - 283          272       J o ur na l ho m ep a g e h ttp : //ij ec e. ia esco r e. co m   Fully sy m bo lic - ba sed tec hnique  f o so lv ing  com plex  s tate - spa ce  co ntrol sy ste m s       A m er a   M .   Abd - Alra he m 1 ,   H a la   M .   E lha did y 2 ,   K a m el  A.   E ls er a f i 3 ,   H a s s en  T .   Do rr a h 4   1, 2, 3 De p a rtm e n t   o f   El e c tri c a En g in e e rin g ,   P o r t - S a id   U n iv e rsity ,   Eg y p t   2 De p a rtme n o f   C o m p u ter E n g in e e rin g   a n d   N e tw o rk s,  Jo u f   Un iv e rsity ,   Kin g d o m   o f   S a u d A ra b i a   4 De p a rtme n o f   El e c tri c a En g in e e rin g ,   Ca iro   Un iv e rsity ,   Eg y p t       Art icle  I nfo     AB ST RAC T   A r ticle  his to r y:   R ec eiv ed   Dec   2 4 ,   2 0 1 9   R ev i s ed   J u n   7 ,   2 0 2 0   A cc ep ted   A u g   5 ,   2 0 2 0       De sp it e   th e   su p e rio rit y   o f   s y m b o li c   a p p r o a c h e o v e th e   p u re ly   n u m e rica l   a p p ro a c h e i n   m a n y   a sp e c ts,  it   d o e n o re c e iv e   th e   p ro p e a tt e n ti o n   d u e   to   it s   sig n if ica n c o m p le x it y ,   h ig h   re so u rc e s   re q u irem e n a n d   lo n g   d r a w n   ti m e   w h ich   e v e n   g ro w sig n i f ica n tl y   w it h   th e   in c re a se   o f   m o d e d im e n sio n s.  Ho w e v e r,   it m e rit d e se rv e   e v e r y   a tt e m p to   o v e rc o m e   th e   d iff i c u lt ies   b e in g   f a c e d .   In   th is  p a p e r,   a   f u ll y   g e n e r ic  s y m b o li c - b a se d   tec h n iq u e   is  p r o p o se d   t d e a w it h   c o m p lex   sta te  sp a c e   c o n tro l   p r o b lem s.  In   th is  tec h n i q u e ,   d e p e n d in g   o n   th e   m o d e d im e n sio n   if   e x c e e d a   p re d e f in e d   li m it ,   th e   sta te  sp a c e   i s   so lv e d   u si n g   th e   p a rti ti o n e d   m a tri c e th e o ry   a n d   b l o c k   w ise   in v e rsio n   f o r m u la.  Ex p e ri m e n tal  re su lt d e m o n stra te  th a th e   p ro p o se d   tec h n iq u e   o v e rc o m e a ll   th e   p re v io u sly   m e n ti o n e d   b a rriers   a n d   g iv e th e   sa m e   re su lt w h e n   c o m p a r e d   to   n u m e rica m e th o d (S im u li n k ).   M o re o v e r,   it   c a n   b e   u se d   to   g a in   u se f u in f o r m a ti o n   a b o u th e   s y ste m   it se l f ,   p ro v id e a n   in d ica ti o n   o f   w h ich   p a ra m e ters   a re   m o re   i m p o rtan a n d   re v e a ls  th e   se n siti v it y   o f   s y ste m   m o d e to   sin g le p a ra m e ter v a riatio n s.   K ey w o r d s :   L iq u id   co n tain er   P ar titi o n   m atr ix   t h eo r y   Sh ip   au to p ilo t   State - s p ac s o lu t io n   S y m b o lic  alg eb r a   W in d   tu r b in e   T h is i 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 :   Am er M.   A b d - A lr ah e m ,     Dep ar t m en t o f   E lectr ical  E n g i n ee r in g ,   P o r t - Said   Un iv er s it y ,   Facu lt y   o f   E n g i n ee r i n g ,   P o r t - F o ad   4 2 5 2 6 ,   E g y p t .   E m ail:  a m er a. g a m ea @ en g . p s u . ed u . eg       1.   I NT RO D UCT I O N     S y m b o lic  alg eb r is   g e n er ic   tech n iq u ex p lo ited   to   p r o d u ce   s y m b o lic  e x p r ess io n s   f o r   an y   s y s te m   r eg ar d in g   its   p ar a m e ter s   an d   v ar iab les.  I n   f ie ld   lik co n tr o s y s te m s   w h er co m p le x   m a th e m atica f o r m u la s   ar co m m o n l y   u s ed ,   g en er i s o lu tio n   ca n   b ex tr e m el y   v al u ab le.   Usi n g   s y m b o lic   m an ip u latio n   an d   s i m p li f icat io n s ,   th e   co n tr o e n g in ee r   ca n   o b tain   s i m p le   f o r m u las   f o r   co m p lex   lo o k i n g   p r o b lem .   I n   g e n er al,     it  is   co n ce i v ab le  to   ex p r es s   th at  u s i n g   s y m b o lic  tec h n iq u es  b r in g s   t w o   f u n d a m e n tal  a d v an ta g es  a m o n g   n u m er o u s   o th er s u s i n g   ex ac ca lcu latio n s   a n d   d ir ec t m a n ip u latio n   o f   s y m b o l s   [ 1 ] .   Nu m er ical  tech n iq u is   b ased   o n   an al y zin g   t h s y s te m   f o r   s ev er al   s a m p le  p o in t s   an d   it  i s   ass u m ed   th at  th r es u lt s   also   h o ld   f o r   all  th v al u es  a m o n g   t h e m   [ 2 ] .   I is   co n s id er ed   to   b m o r ap p r o x i m ate  s o l u tio n s   co m p ar ed   to   s y m b o lic  s o lu tio n s .   Alt h o u g h   it  is   u s u all y   m u ch   f aster ,   it  s h o w s   s o m w ea k n e s s e s   esp ec ial l y   w it h   p ar a m eter s   v ar y i n g   s y s te m s .   I m a y   lead   to   im p r ec is c o n clu s io n s ,   th v ar iab les  t h at  ac tu all y   m at ter   m a y   b d if f ic u lt  to   ag r ee   u p o n ,   b m ea s u r ed ,   o r   co n tr o [ 3 ] T h er ef o r e,   t h is   ca u s es  lo ad s   o f   r es ea r ch es  w h er ea c h   p r o p o s e s   di f f er e n t set o f   v al u e s   ass u m p t io n s   to   b th p er f ec t c h o ice  f o r   th p r o b le m   u n d er   in v e s ti g atio n .     A lt h o u g h   t h eo r etica ll y   s y m b o lic  an al y s i s   ca n   b co n s id er e d   as  g o o d   co m p le m e n to   n u m er ical   an al y s is ,   it   is   s ti ll  f ac i n g   s o m d i f f icu lties   s u c h   as   t h co s o f   h ar d w ar i m p le m en t atio n   m ea s u r ed   b y   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J   E lec  &   C o m p   E n g     I SS N:  2088 - 8708       F u lly  s ymb o lic - b a s ed   tech n iq u fo r   s o lvin g   co mp lex  s ta te - s p a ce   co n tr o l sys tems   ( A me r a   M .   A b d - A lr a h em )   273   co m p u tatio n al  a n d   co m m u n i ca tio n   r eq u ir e m en ts .   A l s o ,   t h er is   p r o b lem   o f   in cr ea s in g   co m p le x it y   o f   m o d er n   co n tr o p r o b le m s   to   b d ea lt  w it h   w h ile  t h s y m b o lic - b ased   ass i s tan p r o g r a m m i n g   is   s till   u n d er   d ev elo p m en t.   I i s   b elie v ed   th at  th e   ad v a n ta g es  ar m u c h   m o r i m p o r tan t h a n   t h d i f f icu l ties   w h ic h   m a k it   w o r th   al l o u r   ef f o r ts   to   d ef ea t t h d if f ic u ltie s   b ein g   co n f r o n te d .   His to r icall y ,   t h u s o f   s y m b o lic  b ased   tech n iq u es  w i tn e s s   p er io d s   o f   r is an d   d ec a y .   A lt h o u g h     th ea r l y   id ea s   o f   s y m b o lic  c o m p u tatio n s   ar i s i n   t h 1 9 6 0 s ,   b u atte n tio n   w a s   t u r n ed   b y   th e   ti m to w ar d   n u m er ical  tec h n iq u es  as  s y s te m s   w er g ett in g   m o r co m p le x .   T h en ,   it  ca n   b co n s id er ed   t h at  th r ea leap   f o r   ex p lo itin g   s y m b o lic  al g eb r in   co n tr o en g in ee r i n g   ap p licatio n s   w as  i n   t h late  n i n etie s   b y   P r o f ess o r   Neil   Mu n r o .   He  g at h er ed   m a n y   v alu ab le  ap p licatio n s   o f   s y m b o lic  alg eb r to   co n tr o th eo r y   [ 4 ] ,   w h ic h   d r e w   in te n s at ten tio n   to   t h u s o f   s y m b o lic  tech n iq u es  a s   n e w   p o w er f u to o f o r   s o lv in g   m a n y   p r o b le m s   i n   co n tr o s y s te m s   e n g in ee r i n g .   T h is   led   to   th d ev elo p m en o f   m an y   s y m b o lic  to o lb o x es  in   co n tr o s y s te m   d esig n   [ 5 6 ] .     I n   r ec en t   y ea r s ,   as   th e   c y b er - p h y s ical   s y s te m s   i n cr ea s e,   r esear ch er s   r et u r n   a g ain   to   f o cu s   o n   s y m b o lic  alg eb r i n   co n tr o ap p li ca tio n s   in c lu d i n g   f ield s   lik s y s te m   m o d elli n g ,   a n al y s is   a n d   co n tr o ller   d esig n   [ 7 ] .   R e g ar d in g   t h s y s t e m   m o d elli n g ,   P o la  et   a l .   [ 8 ]   d er iv ed   s y m b o lic  m o d el   as   an   ap p r o x i m atio n   f o r   th p lan an d   t h e n   ex p lo ited   t o   o b tain   th co n tr o p r o b lem   s o lu tio n .   T h r e s u lts   w er u t ili ze d   in   t h s y m b o lic   co n tr o o f   ca r - lik e   r o b o t.  Fak h r o lesl a m   e a l .   [ 9 ]   co n s tr u ct ed   ap p r o x im ate l y   b i s i m ilar   s y m b o lic   m o d els   f o r   n o n li n ea r   co n tr o s y s te m s .   I t   s h o w s   h o w   t h ch e m ical  p r o ce s s   co n tr o ca n   b m a n a g ed   v ia   th u s a g of   m et h o d s   th at  is   b ased   o n   s y m b o lic  m o d els.  Gir ar d   et  a l .   [ 1 0 ]   p r o p o s ed   m u lti s ca l s y m b o lic  m o d els   co n s tr u ct io n   f o r   s w itc h ed   s y s te m s .   I w a s   d e m o n s tr ated   th at  th e s m o d els   ar ap p r o x im atel y   b i s i m ilar   t o     th g e n u in s y s te m s .   T h en ,   it  w a s   u s ed   f o r   co n tr o ller   c o m p u tatio n   an d   ap p lied   to   t h s a f et y   a u to m a ta.   R ad a y d eh   an d   Mo t h af ar   [ 1 1 ]   d ev elo p ed   s y m b o lic  s tate - s p ac e - b ased   m o d el  f o r   c u r r en t - m o d co n tr o lled   m o d u lar   DC - D C   co n v er ter s .   T h en   th co n tr o l - to - o u tp u v o ltag tr an s f er   f u n ctio n s   ar d e r iv ed   in   s y m b o lic   f o r m .   R eg ar d in g   co n tr o ller   d esi g n ,   Miz o g u c h a n d   U s h io   [ 1 2 ]   d esig n ed   d ea d lo ck - f r ee   s y m b o lic  o u tp u f ee d b ac k   co n tr o ller .   B o r r et  a l .   [ 1 3 ]   p r o p o s ed   s y m b o lic  m et h o d   to   th e   co n tr o d esi g n   o f   NC S,  ta k i n g   in to   ac co u n th e   m o s s ig n i f ica n n o n - id ea liti e s   i n   t h co m m u n ic atio n   c h an n el   w it h   ap p licati o n   to   r o b o m o tio n   p lan n i n g .   Sh a m g ah   et  a l .   [ 1 4 ]   d ev elo p ed   n o v el  s y m b o lic   tech n iq u f o r   co n tr o llin g   au t o n o m o u s   attac k i n g   v eh ic les  in   f eu d i n g   e n v ir o n m e n ts .   Do r r ah   et  a l .   [ 1 5 ]   p r o p o s e d   n e w   g en er ic  m eth o d o lo g y   f o r   d er iv atio n   an r ea lizatio n   o f   f ee d b ac k   g ai n s   f o r   au to m atic  co n tr o s y s te m s   b ased   o n   s y m b o lic   r ep r esen tatio n   o f   f ee d b ac k   s tab ilizatio n   f u n ct io n s .     R eg ar d in g   t h s y s te m   a n al y s is ,   Mla d e n o v ić  et  a l .   [ 1 6 ]   an al y ze d   t h e x p ec tatio n - m a x i m izatio n   alg o r ith m   v ia   s y m b o lic   p r o ce s s i n g   a n d   co m p u ter   al g eb r t o o ls .   T h en ,   t h o b tain ed   r esu l ts   ar e m p lo y ed   f o r   f u r t h er   o p ti m izat io n .   Setia w a n   et  a l .   [ 1 7 ]   p r o p o s ed   a   s tead y   s tate  s y m b o lic  a n al y s i s   f o r   b u ck   co n v er ter   w h ic h   g iv e s   th e   ex ac t   ca lc u latio n   o f   s tead y   s tate   o u tp u w i th   n o   n ee d   f o r   tr an s ien t   r esp o n s e v al u atio n .     A b d - Alr ah e m   e a l .   [ 2 ]   ex a m in e d   th p r o b lem   o f   f u ll y   s y m b o lic  r ep r esen tatio n   an d   an al y s i s   f o r   p a r a m eter   v ar y i n g   s y s te m s   ( P VS) .   T h s i m u latio n   r es u lt s   w er c ar r ied   o u o n   th d r u g   co n ce n tr atio n   p h ar m ac o k i n etics   an d   p r o p o r tio n al - d er iv ativ ac tio n   i n   t h r etin a.   T h g en er at ed   o u tp u w as   r ep o r ted   to   b n ea ter   th a n   a n d   a s   clo s as  al g eb r aic,   an d   t h e f f ec o f   p ar a m eter   v ar iatio n   o n   s tate   v ar iab les   w as   an al y z ed .   Ne v er th ele s s ,     it is   in co n v e n ie n f o r   h ig h   o r d er   s tate  s p ac m o d els,  as it s u f f er s   f r o m   h i g h   co m p u tatio n al  co m p le x it y .   T h er ef o r e,   in   th i s   p ap er ,   f u ll y   s y m b o lic - b a s ed   tech n iq u e   is   p r o p o s ed   f o r   s o lv i n g   n th   o r d er   s tate - s p ac m o d els  a n d   t h u s   u tili ze d   in   t h a n al y s is   o f   p ar a m e ter   v ar iatio n s .   T h p r o p o s ed   tech n iq u h as   th e   ab ilit y   to   d ea w i th   lar g co m p lex   s y s te m s   th r o u g h   p ar titi o n i n g   t h e   o r ig in al  m a tr ices,  th e n   ea ch   s u b - m atr i x   is   tr ea ted   s ep ar atel y   w i th   t h ap p r o p r iate  m et h o d s   a n d   as s e m b led   ev e n tu a ll y   alto g eth e r .   Hen ce ,   s p e ed in g   u p   th e   p r o ce s s   an d   r ed u ce   th co m p u tatio n al  co m p le x it y   p r o b le m   f o u n d   in   [ 2 ].   T h r est  o f   th is   p ap er   is   o r g an ized   as  f o llo w s :   T h co n v e n tio n al  cr iter io n   f o r   s o lv in g   s tate  s p ac e   m o d el  i s   f o r m u lated   in   Sec ti o n   2 .   T h p r o p o s ed   s y m b o lic - b ased   tech n iq u v ia  p ar titi o n   m a tr ix   t h eo r y   f o r   s o lv i n g   s tate   m o d els   is   d escr i b ed   in   Sectio n   3 .   T h s i m u la tio n   r es u lt s   ar p r esen ted   in   Sectio n   4 .   F in al l y ,     th p ap er   is   co n clu d ed   in   Sect i o n   5.       2.   P RO B L E M   ST AT E M E NT   As  m o d er n   s y s te m s   b ec o m i n h er e n tl y   co m p lex ,   t h s tate  s p ac r ep r esen tatio n   o f   d y n a m ic  s y s te m   r ep lace s   an   n th   o r d er   d if f er en t i al  eq u atio n   w it h   s i n g le  f ir s o r d er   m atr ix   d i f f er e n tial e q u a t io n   as f o llo w s   [1 8 ] :     ̇   = A   + B   u     ( 1 )     = C x   + D   u      ( 2 )   Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SS N :   2 0 8 8 - 8708   I n t J   E lec  &   C o m p   E n g ,   Vo l.  1 1 ,   No .   1 ,   Feb r u ar y   2 0 2 1   :   27 2   -   28 3   274   w h er e   ( 1 )   is   ca lled   th s tate  e q u atio n   a n d   ( 2 )   is   ca lled   th o u tp u eq u at io n .   u   is   t h i n p u f u n ct io n   a n d   y   is     th o u tp u t   f u n c tio n A (n × n) ,   B (n × p) ,   C (q × ) ,   D ( q × )   r ep r esen ts   th s tate  m atr ix ,   t h i n p u t   m atr ix ,     th o u tp u m atr i x   a n d   th f ee d   th r o u g h   m atr i x   r esp ec tiv el y .     T h co m p lete  s y s te m   s ta te  r esp o n s x ( t)   co n s is ts   o f     t w o   p ar ts a   ze r o - in p u r esp o n s    th at   r ep r esen ts   t h r esp o n s e   d u to   ar b itra r y   i n itial   co n d itio n s   x ( 0 )   w it h   n o   i n p u ts   at  al l,  an d   ze r o   s tate  r esp o n s e      th at  r ep r esen ts   t h r esp o n s d u to   ar b itra r y   in p u w it h   ze r o   in itial  co n d itio n s .   T h t w o   p ar ts   ar th en   j o in ed   to   p r o d u ce   th co m p let r esp o n s as f o llo w s ,        Φ( t ) .   x( 0 )     ( 3 )        ( )   ( )    0      ( 4 )     X ( t )   = Φ ( t ) .   x( 0 )   ( )   ( )    0       ( 5 )     w h er Φ ( t)   is   id en ti f ied   to   b th s tate  tr a n s it io n   m atr ix ,   w h i ch   is   co m p u ted   b y :     Φ( t )   1 [ S I     A ] - 1             ( 6 )     A cc o r d in g   to   [ 2 ] ,   s tr aig h t f o r w ar d   s y s te m atic  m et h o d   f o r   s y m b o lic  d er iv atio n   o f   s tate  s p ac e   s o lu tio n   is   p r esen ted .   A n   atte m p to   ex p lo it  th m eth o d   f o r   s o lv in g   lar g s tate  s p ac m o d els  u n f o r tu n atel y   s h o w s   s e v er s h o r tco m in g s   in   s p ee d   an d   r eso u r ce s   u s a g e   d u e   to   h ig h   d i m en s io n   m atr i x   m a n ip u lat io n s   w it h   its   r elate d   p r o s p ec ts   o f   r u n n in g   o u o f   av ai lab le  m e m o r y   [ 1 9 ] .   S y m b o lic  s o lu tio n s   o f   h ig h er   d i m en s io n   m atr ice s   ar in ev i tab l y   lar g e.   Fo r   in s ta n ce ,   co m p u tin g   t h i n v er s m atr ix   i n   s y m b o lic  f o r m   is   c u m b er s o m p r o ce s s .   5 × 5   in v er s m atr ix   e x ce ed s   2 0 0 0 0 0   ch ar ac ter s   lo n g ,   6   x   6   in v er s m atr i x   e x ce ed s   2 0 0 0 0 0 0 ,   th in v er s e   b ec o m e s   1 0   ti m es   lar g er   i n   len g t h   f o r   ea ch   ad d itio n al  in cr ea s o f   m atr i x   d i m en s io n .   I n   g e n er al,   f o r     s y m b o lic  in v er s o f   n × n   m at r ix ,   th o u tp u s ize  i s   ab o u 2 . 2 x 10 .   So ,   m u ltip le  g ig ab y tes  ar n ee d ed   to   ca lcu late  th e   i n v er s e   o th er   t h an   t h o th er   p r o ce s s es.  Als o ,   th c u r r en s o f t w ar o f te n   g en er ate s   h i g h l y   co m p le x   r a w   ex p r es s io n s   w h i ch   ar to o   d if f ic u lt to   b d ir ec tl y   u s ed   [ 2 0 ] .   I n   r esp o n s e   to   t h ese  p r o b le m s ,   f u ll y   s y m b o lic   b ased   tec h n iq u f o r   s o l v in g   co m p lex   s tate  s p ac e   m o d el s   is   p r o p o s ed .   T h p r o p o s ed   tech n iq u tr ie s   to   o v er co m t h b ar r ier s   o f   h i g h   r eso u r ce s ,   ti m e   co n s u m p tio n   an d   co m p u ta tio n al  co m p le x it y   u s in g   t h p ar titi o n ed   m atr i x   t h eo r y .   All  t h s tate,   i n p u a n d   o u tp u m a tr ices  o f   th o r ig i n al   s y s te m   ar b r o k en   u p   in to   b lo ck s   an d   all  th s u b s eq u en p r o ce s s i n g   i s   m ad o n   th ese  b lo c k s ,   t h e n   to   b as s e m b led   at  th e n d .   A lt h o u g h   th e   s tate  s p ac m o d el  m a y   b o f   an y   d i m en s io n   e ith e r   o d d   o r   ev en ,   th p ar titi o n   p r o ce s s   m a y   lead   to   r ec tan g u la r   b lo ck s   w h ic h   w ill  b co n s i d er ed   p r o b lem   as    th p r o ce s s i n g   i n cl u d es  i n v er s m atr ix   o p er atio n s .   T h is   b ar r ier   is   o v er co m b y   b lo ck w i s e   in v er s io n   f o r m u la   w h ic h   in s u r e s   th at  o n l y   ei th er   th to p - le f t o r   b o tto m - r i g h m a tr ices sh o u ld   o n l y   b s q u ar b lo ck s .       3.   T H E   P RO P O SE T E CH NI Q U E   I n   o r d er   to   o v er co m t h a f o r e m en tio n ed   d r a w b ac k s ,   p r o ce d u r th at   is   b ased   o n   p ar titi o n   m atr ix   th eo r y   a lo n g   w it h   b lo ck w is e   i n v er s es  is   p r o p o s ed .   P ar titi o n   m atr i x   t h eo r y   is   co n s id er ed   to   b th e   b est   m et h o d   to   d ea w it h   h i g h   d i m en s io n   m atr ices.   I r elies   o n   p ar titi o n i n g   lar g m atr i x   in to   co m p ati b le  s m aller   s ec tio n s   r ef er r ed   to   as  s u b - m a tr ices   o r   b lo ck s .   Hen ce ,   m a n ip u lat io n s   ca n   b p er f o r m ed   o n   t h s m all er   b lo ck s   w h ic h   i n   tu r n   lead s   to   s ig n i f ica n co m p u tatio n al  b e n ef i ts   [ 2 1 ] .   T h co m p lete  f lo w   c h ar o f   t h p r o p o s ed   s y m b o lic - b ased   tech n iq u f o r   s o lv i n g   c o m p le x   s tate  s p ac m o d el s   is   d ep icted   in   Fig u r 1 .   Fo r   lo w   d i m en s io n   s y s te m s ,   it  is   co n v e n ie n to   u s th s t r aig h t f o r w ar d   s y s te m a tic  p r o ce d u r f o r   s o lv i n g   s tate  s p ac m o d el   d ir ec tly   o n     th o r ig i n al  m atr ice s   w it h o u an y   ad d itio n al  p r o ce s s i n g .   Me an w h ile  f o r   h i g h   d i m e n s io n   s y s t e m s ,   i t   i s   d e s i r a b l e   t o   p a r t i t i o n   t h e   o r i g i n a l   s y s t e m   i n t o   l o w e r   d i m e n s i o n a l   b l o c k s .   S o   t h a t   a n y   f u r t h e r   p r o c e s s i n g   i s   m a d e   o n   t h e s e   b l o c k s   i n s t e a d ,   w h i c h   m a k e s   t h e   p r o c e s s i n g   m u c h   p o w e r f u l   a n d   e a s i e r   t o   b e   a p p l i e d .   T h p r o p o s ed   tech n iq u b eg i n s   w it h   d ec id in g   w h et h er   tec h n iq u to   b u s ed   ac co r d in g   to   t h o r ig i n al   m o d el  d i m e n s io n .   I f   t h m at r ix   d i m e n s io n s   e x ce ed   p r ed ef in ed   li m it,  al s u b s eq u e n t   o p er atio n s   w ill  b e   p er f o r m ed   o n   s u b - m atr ix   le v e l,  o th er w i s o n   f u ll  m atr ix   le v el.   T h v alu o f   t h d i m e n s io n   li m it  i s   s et  to   7   as   it  w as   f o u n d   e m p ir icall y   b y   o u r   ex p er i m e n ts .   As  th e   d i m e n s io n s   g e lar g er ,   th e   d if f er en c b et w ee n   th e   t w o   m et h o d s   g ets  f u r th er   e n tire l y   i n   f a v o u r s   o f   th p ar titi o n ed   m atr ix   tech n iq u e.   P ar titi o n in g   o cc u r s   ac co r d in g   to   ce r tai n   cr iter io n   as   s h o w n   i n   Fi g u r e   2 .   If   n   ( th s ta te  m a tr i x   d i m en s io n )   i s   an   e v e n   n u m b er ,   th s ta te  m a tr ix   i s   d iv id ed   in t o   f o u r   eq u al  q u ar ter s   o f   s ize  n /2 .   I n   ca s t h at  n   is   an   o d d   n u m b er ,   th p ar titi o n   p r o ce s s   en s u r es  th a o n l y   11   an d   22   ar s q u ar b lo ck s   s o   th at  t h e y   ca n   b in v er ted   b lo c k w is e   w h ile  12   an d   21   ar m ai n tai n ed   as   r ec tan g u lar   b lo ck   m atr ice s .   I n   ca s o f   v er y   h i g h   d i m en s io n   m atr i x ,   th s o - ca lle d   n ested   p ar titi o n s   ca n   b ex p lo ited   if   n ee d ed .   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J   E lec  &   C o m p   E n g     I SS N:  2088 - 8708       F u lly  s ymb o lic - b a s ed   tech n iq u fo r   s o lvin g   co mp lex  s ta te - s p a ce   co n tr o l sys tems   ( A me r a   M .   A b d - A lr a h em )   275       Fig u r 1 .   T h p r o p o s ed   s y m b o lic  b ased   tech n iq u f lo w   c h ar t             ( a)   ( b )   ( c)     Fig u r 2 .   P ar titi o n ed   m atr i x   p r o ce s s   in   ca s o f   ( a)   is   ev en ,   ( b )   n   is   o d d ,   an d   ( c)   n ested   p ar titi o n s         T h m ai n   p ar o f   t h al g o r ith m   i s   r esp o n s ib le  f o r   t h ac t u a p r o ce s s es  th at   f o r m   t h ze r o   s tate   an d   ze r o   in p u r esp o n s es  o f   th co m p lete  f i n al  s o lu ti o n .   I f   th e   m atr ix   w a s   d etec ted   to   b a   lo w   d im e n s io n   m o d el,   ( 3 )   th r o u g h   ( 6 ar e   em p lo y ed   d ir ec tly   o n   t h f u ll  m a tr ix   o f   th o r ig i n al  s y s te m   m o d el.   Ho w e v er ,   if   h i g h   Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SS N :   2 0 8 8 - 8708   I n t J   E lec  &   C o m p   E n g ,   Vo l.  1 1 ,   No .   1 ,   Feb r u ar y   2 0 2 1   :   27 2   -   28 3   276   d i m en s io n   m o d el  i s   d etec ted   a n d   p ar titi o n   w a s   m ad to   all  m o d el  m atr ices,  all  p r o ce s s es  s h o u ld   b ap p lie d   o n   s u b - m atr i x   b asis .   B eg i n n in g   f r o m   t h s tate  tr a n s i tio n   m atr ix   ca lcu la tio n   ac co r d in g   to   ( 6 ) ,   b lo ck   m atr i x   in v er s io n   s h o u ld   b ca r r ied   o u t.  T h b lo ck w is e   i n v er s io n   f o r m u la  f o r   ca lcu lat in g   th n o n s i n g u lar   p ar titi o n ed   m atr i x   in v er s s ta tes t h at:   f o r   an y   g i v en   m atr i x   A   th a t is p ar titi o n ed   in to   4   b lo ck s   as  f o llo ws,     A   =   [         11 12 13 14 15 21 22 23 24 25 31 32 33 34 35 41 42 43 44 45 51 52 53 54 55 ]            [ 11 12 21 22 ]   ( 7 )     T h in v er s m atr ix   1   ca n   b ex p r ess ed   as f o llo w s ,     1    [ 11 ̃ 12 ̃ 21 ̃ 22 ̃ ]   ( 8 )     No w   t h er ar e   t w o   s et s   o f   f o r m u las to   ca lcu late  11 ̃ 12 ̃ 21 ̃   an d   22 ̃   [ 22 ]:     I f   b o th   11   an d   its   s c h u r   co m p le m en t ( 22   -   21 11 1   12 )   ar n o n s in g u lar ; th m atr i x   is   i n v er tib le   u s i n g ,     11 ̃ 11 1 + 11 1 12 ( 22 21 11 1 12 ) 1 21 11 1   ( 9 )     12 ̃   11 1   12   ( 22     21 11 1   12 ) 1   ( 1 0 )     21 ̃   ( 22     21 11 1   12 ) 1   21   11 1   ( 1 1 )     22 ̃   ( 22     21 11 1   12 ) 1     ( 1 2 )       I f   b o th   22   an d   its   s c h u r   co m p le m en t ( 11   -   12 22 1   21 )   ar n o n s in g u lar ; th m atr i x   is   i n v er tib le  u s i n g ,     11 ̃ ( 11     12 22 1   21 ) 1   ( 1 3 )     12 ̃     ( 11     12 22 1   21 ) 1   12   22 1   ( 1 4 )     21 ̃   22 1 ( 11     12 22 1   21 ) 1   ( 1 5 )     22 ̃ 22 1 + 22 1 21 ( 11 12 22 1 21 ) 1 12 22 1   ( 1 6 )     A l s o   t h p s e u d o   in v er s [ 2 3 ]   w a s   tes ted   in   th e   s tate   tr an s iti o n   m a tr ix   ca lcu la tio n ,   b u it  y ield s   p o o r   r esu lt s   i n   ter m s   o f   ti m a n d   m e m o r y   co m p ar ed   to   t h b lo ck w i s i n v er s io n   f o r m u la.   T h en ,   all  t h s u b s eq u e n t   o p er atio n s   ca n   b ea s il y   e m p lo y ed   u s in g   t h co r r esp o n d in g   b lo ck s   as  eq u atio n s   ( 3 )   to   ( 6 )   s tates.    As  th i n v er s io n   o f   h i g h   o r d er   m a tr ices  h a s   al w a y s   b ee n   ch allen g d u to   th li m i t ed   p r o ce s s in g   an d   m e m o r y   ca p ac it y   o f   tr ad itio n al   co m p u ter s   [ 2 4 ] .   T h er ef o r e,   co m b i n in g   t h p ar titi o n - m atr i x   th eo r y   a n d   b lo ck w i s in v er s e   y ie ld s   a n   in ter e s ti n g   m eth o d o lo g y   w i th   at tr ac tiv e   s o l u tio n   o f   n o   m atr i x   o p er atio n s   o v er h ea d   f o r   t h p r o b le m   o f   h ig h   d i m e n s io n alit y .   Fi n all y ,   th co r r esp o n d in g   s u b - m atr ic es  o f   ze r o   i n p u a n d   ze r o   s tate  r esp o n s es  ar ad d ed ,   th en ,   ass e m b le  t h b lo ck s   ag ain   al to g et h er   to   f o r m   t h co m p lete  s tate  p ac s o lu tio n .       4.   I M P L E M E NT AT I O A ND  CASE   S T UD I E   Sev er al  e x p er i m e n ts   h a v b ee n   p er f o r m ed   to   p r o v t h ap p li ca b ilit y   o f   t h p r o p o s ed   tech n i q u u s in g   MA T L A B   M u P A S y m b o li Ma th   T o o lb o x   [ 2 5 ]   w it h   d if f er e n s ta te  s p ac s y s te m   m o d el  o f   v ar io u s   d i m en s io n s I n   t h n e x s u b s ec tio n s ,   ea ch   ca s s t u d y   is   b r ief l y   d escr ib ed ,   s y m b o l icall y   s o l v ed ,   th e n     th p ar a m eter   v ar y i n g   b eh a v io r   is   an al y ze d   a n d   f i n all y   th r e s u lt s   ar e   co m p ar ed   w it h   n u m e r ical  s o lu tio n s .     4 . 1 .     Ca s s t ud y   # 1   ( s hip   m o t io m o de l )   T o   f u ll y   r ep r ese n t h m o tio n   o f   r i g id   b o d y   i n   s p ac e,   s ix   d eg r ee s   o f   f r ee d o m   ( DO F)  ar r eq u ir ed .   T h Stan d ar d   No tatio n   f o r   s h ip   m o tio n   is   d ep icted   in   Fig u r e   3   [ 2 6 ]   an d   it s   p ar a m eter s   ar e   g iv e n   i n     T ab le  1   [ 2 6 ] .   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J   E lec  &   C o m p   E n g     I SS N:  2088 - 8708       F u lly  s ymb o lic - b a s ed   tech n iq u fo r   s o lvin g   co mp lex  s ta te - s p a ce   co n tr o l sys tems   ( A me r a   M .   A b d - A lr a h em )   277       Fig u r 3 .   Stan d ar d   n o tatio n   f o r   s h ip   m o tio n   d escr ip tio n       T ab le   1 .   Sh ip   Mo tio n   s i m u lati o n   p ar am e ter s   d ef i n itio n s   P a r a me t e r s   D e f i n i t i o n   P a r a me t e r s   D e f i n i t i o n   x ,   y ,   z   D i st a n c e   a l o n g   b o d y - f i x e d   sy st e m a x e s [ m ]     Y a w   a n g l e   [ r a d ]   0 ,   v ,   w   T r a n sl a t i o n a l   v e l o c i t y   i n   b o d y - f i x e d   f r a me   [ m / s ]   θ   P i t c h   a n g l e   [ r a d ]    ,  ,    F o r c e   c o mp o n e n t s   a l o n g   b o d y   a x e s [ k g ]         R o l l   a n g l e   [ r a d ]   , ,   R o t a t i o n a l   v e l o c i t y   i n   b o d y - f i x e d   f r a me   [ r a d / s ]   δ   R u d d e r   A n g l e   [ r a d ]   K ,   M,   N   M o me n t   c o mp o n e n t s   a l o n g   b o d y   a x e s   [ k g . m ]           Ho w e v er ,   f o r   s h ip   m a n o eu v r i n g ,   4   DO d escr ip tio n   t h at  i n v o l v es  s u r g e,   s w a y ,   y a w   an d   r o ll  m o d es  is   t y p icall y   r e g ar d ed   ad eq u ate  [ 2 7 ] .   C o n s eq u en t l y ,   f o u r t h   o r d er   s tate  s p ac m o d el  f o r   th s h ip   m o tio n   u n d er   co n s id er atio n   b ased   o n   th No m o to   m o d el  is   g iv e n   i n   s y m b o lic  f o r m   a s   f o llo w s   [ 2 6 ] ,       [         ̇ ̇ ̇ ̇ ̇ ]           [         11 12 0 0 0 21 22 0 0 0 0 1 0 0 0 0 0 0 44 45 0 0 0 1 0 ]         [         ]         [         1 2 0 4 0 ]           ( 1 7 )     A p p l y in g   t h p r o p o s ed   s y m b o lic  b ased   tech n iq u o n   t h n o n h o m o g en eo u s   s h ip   m o t io n   m o d el,   lo w   d i m en s io n   s y s te m   i s   in d icate d .   T h u s ,   th s tr aig h t f o r w ar d   s y m b o lic  p r o ce d u r th at  f o l lo w s   ( 3 )   to   ( 6 )   is   ex p lo ited   o n   t h o r ig i n al  f u ll   m atr ices C o m p u ti n g   th e   s t ate  tr an s i tio n   m atr i x ,   t h ze r o   in p u t ze r o   s tat e   r esp o n s es   an d   f i n all y   th co m p lete  s y m b o lic  s o lu t io n   o f   th s h ip   m o tio n   s tate  s p ac m o d el  is   o b tain ed .   Si m u latio n   r esu l ts   u s i n g   r ea s h ip   m o d el  p ar am e ter s   h a v b ee n   u n d er tak e n   f o r   test i n g   [ 2 6 ] .   Nu m er ical  v al u es   f o r   th lin ea r ized   s h ip   m o tio n   m o d el  p ar a m eter s   ar s u m m a r ized   in   T a b le  2 .   Fo r   illu s tr atio n ,   Fig u r e   4   s h o w s   th i m p ac t   o f   v ar y i n g   th v al u o f   p ar a m e ter   12   o n l y   w it h   a   s tep   o f   0 . 2   o v er   th r an g f r o m   - 2 . 3   to   - 1 . 5 .     T h p ar am eter   ch a n g i s   ch o s en   to   b n ea r l y   w it h i n   ± 10 %.       T ab le  2 .   Nu m er ical  v al u es  f o r   s h ip   m o t io n   p ar a m eter s   P a r a me t e r   V a l u e   P a r a me t e r   V a l u e   11   - 0 . 0 4   45   - 0 . 0 5 9   12   - 1 . 9 3 3   1   0 . 1 5 5 9   21   0 . 0 0 0 1 1   3   - 0 . 0 0 3 3   22   - 0 . 0 8 1 3   4   0 . 0 0 8 2 1   44   - 0 . 0 7           I is   n o ted   th at  c h an g i n g   12   h as  an   ap p ar en ef f ec o n   t h tr an s latio n al  v e lo cit y   ,   s lig h ef f e ct  o n     an d     an d   al m o s n o   e f f ec t   o n   b o th     an d   Φ .   Als o   it   is   n o ted   f r o m   t h p lo t h at  th e   y a w   an g le  r esp o n s i s   u n s tab le.   T h o p en - lo o p   r esp o n s d o es  n o s atis f y   t h d esi g n   cr iter ia  at  all.   Hen ce ,   th es eq u atio n s   ca n   b u s ed   to   an al y s t h ef f ec t o f   an y   o f   th i n ter n a l p ar a m eter   ch an g es  w i th in   a n y   r a n g o f   v a r iatio n .       Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SS N :   2 0 8 8 - 8708   I n t J   E lec  &   C o m p   E n g ,   Vo l.  1 1 ,   No .   1 ,   Feb r u ar y   2 0 2 1   :   27 2   -   28 3   278       ( a)   ( b )     ( c)     Fig u r 4 .   T h ef f ec t o f   c h an g i n g   12   o n   s tate  v ar iab le s   ( a)     v er s u s   ti m e ,   ( b )     v er s u s   ti m e ,   ( c)     v er s u s   ti m e         4 . 2 .     Ca s s t ud y   # 2   ( l iqu id co nta iner  m o t io n)   T h is   ca s s tu d y   is   co n ce r n ed   w it h   liq u id   co n tain er   tr an s f e r   s y s te m   alo n g   s la n ted   p ath s   t h at  r ed u ce   s lo s h in g ,   av o id   o v er f lo w   a n d   f ac ilit ate  h i g h - s p ee d   tr an s m is s io n   in   t h s teel  i n d u s tr ies  [ 2 8 ] .   T h m elted   m etal   is   m o v ed   to   ca s tin g   ar ea   f r o m   f u r n ac af ter   it  h as  b ee n   p o u r ed   to   lad le.   A   s ch e m at ic  d iag r a m   o f   2   DO F   tr an s f er r in g   m ac h i n o n   s la n ted   tr an s f er   p ath   i s   s h o w n   i n   F ig u r 5   [ 2 9 ] .           Fig u r 5 .   L iq u id   c o n tai n er   tr a n s f er   s y s te m   m o d e l   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J   E lec  &   C o m p   E n g     I SS N:  2088 - 8708       F u lly  s ymb o lic - b a s ed   tech n iq u fo r   s o lvin g   co mp lex  s ta te - s p a ce   co n tr o l sys tems   ( A me r a   M .   A b d - A lr a h em )   279   T h s tate  s p ac m o d el  r ep r esen ti n g   t h s y s te m   i n   t h f o r m   o f   ( 1 ,   2 )   is   g iv e n   b y   [ 2 9 ],     x   [ ̇ ̇ ̈ ̇ ]   ( 1 8 a)     y   [         ]    ,     u     [   1       2 ]   ( 1 8 b )     B   [ 0   c os 0 0 0 0   0 0 0 0 2 0 0 ]   ( 1 8 c)     A   [               0 1 0 0 0 0 0 0 0 0 1   cos 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 ]                 ( 1 8 d )     w h er 1   an d   2   ar th li n ea r   tr an s f er   co n tr o i n p u t   an d   r o tatio n al  m o tio n   i n p u r e s p ec tiv el y .     i s     th p en d u l u m   a n g le  f r o m   h o r izo n tal,     is   th co n tai n e r   an g le ̈   is   th e   co n tain er   r o tatio n   an g u lar     ac ce ler atio n ,   an d   ̈   i s   th ac ce l er atio n   ap p lied   to   th e   co n tain er .   T h o th er   m o d el  p ar a m ete r s   ar s u m m ar ized   in   T ab le  3 .       T ab le  3 .   L iq u id   co n tain er   tr an s f er   s y s te m   m o d el  p ar am e ter s   P a r a me t e r   D e f i n i t i o n   V a l u e   P a r a me t e r   D e f i n i t i o n   V a l u e     M o t o r   g a i n   0 . 0 9 1 2     A n g l e   o f   sl a n t e d   t r a n sf e r   p a t h   5 . 0     T i me   c o n st a n t   0 . 0 2 2 7   l   L e n g t h   o f   p e n d u l u m   0 . 0 4 4 2     M o t o r   g a i n   - 0 . 5 8 0 7   c   C o e f f i c i e n t   o f   v i s c o si t y   1 . 8 8     D a mp i n g   f a c t o r   0 . 3 7 7 8   m   M a ss   o f   l i q u i d   2 . 7 4 4     N a t u r a l   a n g u l a r   f r e q u e n c y   4 1 . 4 4 6   g   G r a v i t a t i o n a l   a c c e l e r a t i o n   9 . 8   h   L i q u i d   l e v e l   0 . 1 4 0             As  th m o d el  d i m e n s io n s   g e ts   lar g er ,   co m m o n   cr iter io n   to   f ac ilit ate  th p r o ce s s i n g   is   to   p u   th co m p le x   m atr ice s   in   ( 1 8 )   in   th p ar a m e tr ic  co m p ac t f o r m   as  f o llo w ,     =   [             0 1 0 0 0 0 0 21 22 0 24 0 0 27 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 54 55 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 77 ]             B   [             0 0 21 0 0 0 0 0 0 52 0 0 71 0 ]               ( 19 )     A p p l y in g   t h p r o p o s ed   tech n iq u o n   t h n o n h o m o g en eo u s   liq u id   co n tai n er   tr an s f er   s tat m o d el,     th m atr i x   lev el  d ec is io n   in d i ca tes  h ig h   d i m en s io n   s y s te m   n= 7   i.e .   o d d   n u m b er .   T h u s ,   th s y s te m   m o d el  is   p ar titi o n ed   in to   lo w er   d i m en s io n al  s u b s y s te m s T h en   all  th s u cc ee d i n g   p r o ce s s e s   i n   tu r n   ar m ad o n     th s u b m atr i x   lev el.   First  co m p u ti n g   th ter m [ SI A ] 1 ,   h er b o th   11   an d   its   s ch u r   co m p le m e n t   ar e   n o n s in g u lar s o ,   i i s   i n v er tib l u s in g   eq u atio n s   ( 9 )   to   ( 1 2 ) S y m b o lic  ca lc u latio n s   ar p r o ce ed ed   co n s is te n tl y ,   th s ta te  tr an s itio n   m atr i x   i s   ca lcu lated   as  f o u r   s ep ar ate  b lo ck s   d en o ted    .   T h en   th ze r o - i n p u r esp o n s e     is   g e n er ated   in   t w o   s ep ar ate   p a r titi o n s   o f   s ize  ( 4 × 1 )   an d   ( 3 × 1 )   r esp ec tiv el y .   T h ze r o - s tate  r esp o n s is     also   c o m p u t e d   o n   a   b l o c k - b a s i s   a c c o r d i n g   t o   ( 5 )   t h a t   y i e l d s   tw o   s e p a r a t e   b l o c k s   o f   s i z e   ( 4 × 1 )   a n d   ( 3 × 1 ) .     F i n a l l y ,   t h e   z e r o   s t a t e   a n d   z e r o   i n p u t   r e s p o n s e   b l o c k s   a r e   a d d e d   a n d   s im p l i f i e d   t o   f o r m   t h e   c o m p l e t   s y m b o l i c   s o l u t i o n .   Si m u latio n   r es u lts   u s in g   r ea m o d el  p ar a m e ter s   h a v b ee n   u n d er ta k en   f o r   test i n g   [ 2 9 ] .   Nu m er ical   v alu e s   f o r   t h liq u id   co n tai n er   tr an s f er   m o d el   p ar a m ete r s   ca n   b f o u n d   i n   T ab le  3 .   Fig u r e   6   s h o ws     th i m p ac t   o f   v ar y i n g   th v al u o f   th liq u id   m a s s   m   o v er   t h r an g f r o m   2   to   4   k ilo g r a m s   w h ic h   r ep r esen t s   an   ap p r o x i m ate  ch a n g ar o u n d   ± 2 0 %,  w h er ea s   all  o th er   p ar a m eter s   v alu e s   ar k ep u n v ar y in g .   T h ch an g e   w il l a f f ec t t h v al u o f   b o th   p a r a m eter s   22   an d   24 .   Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SS N :   2 0 8 8 - 8708   I n t J   E lec  &   C o m p   E n g ,   Vo l.  1 1 ,   No .   1 ,   Feb r u ar y   2 0 2 1   :   27 2   -   28 3   280   I t is n o ted   t h at  i n cr ea s i n g   liq u i d   m ass   m   i n cr ea s t h o s cillati o n s   i n   t h p en d u l u m   a n g le   an d   v elo cit y w h ile   in   t h m ea n ti m h a s   n o   ef f ec o n   th o th er   s tate  p ar a m eter s   at  all.   A ls o ,   it  is   n o ted   f r o m   t h p lo th at  s o m r esp o n s es  ar u n s tab le   an d   in   n ee d   f o r   co n tr o llin g   cr iter ia.   Hen ce ,   th ese  eq u ati o n s   ca n   b u s ed   to   an al y ze   t h e f f ec t o f   an y   o f   t h in ter n al  p ar a m e ter   ch an g e s   w it h i n   an y   r an g o f   v ar iatio n .         ( a)     ( b )         Fig u r 6 .   T h ef f ec t o f   c h an g i n g   m   o n   s tate  v ar iab le s   ( a)   θ   v er s u s   ti m e ,   ( b )   θ ̇   v er s u s   ti m e       4 . 3 .     Ca s s t ud y   # 3   ( Wind   t urbin m o del)   I n   th i s   ca s s tu d y ,   t h w i n d   t u r b in s ta te  s p ac m o d el  to   b in v e s ti g ated   is   t h r ee - b lad v ar iab le  s p ee d   h o r izo n tal  ax i s   w in d   t u r b in e   [ 3 0 ] O v er all  s tate  s p ac r ep r esen tatio n   i n   t h f o r m   o f   ( 1 ,   2 )   is   g iv e n   b y ,     A   =   [                            +             0 1 0 2 0 3 0             2                 1   0 0 0 0 0 0 1 1   0 0 0 0 0 0 0 0 0 0 0 1   0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 ]                             (2 0 a)   Evaluation Warning : The document was created with Spire.PDF for Python.
I n t J   E lec  &   C o m p   E n g     I SS N:  2088 - 8708       F u lly  s ymb o lic - b a s ed   tech n iq u fo r   s o lvin g   co mp lex  s ta te - s p a ce   co n tr o l sys tems   ( A me r a   M .   A b d - A lr a h em )   281   B   [                     0 0 0 0 0 0 0 0 0 0 0 0 1   0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 ]                       ( 2 0 b )     w h er t h s tate   an d   i n p u v ec t o r s   ar e,     x( t )   [ 1 1 ̇ 2 2 ̇ 3 3 ̇ ]   u ( t)   [ , 1 , 2 ,  3 , ]     w h er e     is   r o to r   s p ee d ,     is   g en er ato r   s p ee d ,     is   p itch   p o s itio n   f o r   b lad i,     is   th d r iv tr ain   to r s io n   an g le,   a n d     is   th g e n er ato r   to r q u e   co n tr o lled   b y   t h r ef er e n c , Oth er   p ar am eter s   ar g i v en   in   T ab le  4 .       T ab le  4 W in d   tu r b in m o d el  p ar am eter s   P a r a me t e r   D e f i n i t i o n   V a l u e   P a r a me t e r   D e f i n i t i o n   V a l u e      D r i v e   t r a i n   t o r si o n   d a m p i n g   c o e f f i c i e n t   7 7 5 . 4 9         T h e   g e a r   r a t i o   3 9 0     M o me n t   o f   i n e r t i a   f o r   l o w - sp e e d   sh a f t   55 × 10 6        T i me   c o n st a n t   0 . 02     M o me n t   o f   i n e r t i a   f o r   h i g h - s p e e d   sh a f t   95     T h e   d a m p i n g   f a c t o r   0 . 6      T h e   t o r si o n   st i f f n e ss o f   t h e   d r i v e   t r a i n   27 × 10 8       T h e   n a t u r a l   f r e q u e n c y   1 1 . 1 1        T h e   e f f i c i e n c y   o f   t h e   d r i v e   t r a i n   0 . 9 7   g   G r a v i t a t i o n a l   a c c e l e r a t i o n   9 . 8     V i sco u s   f r i c t i o n   o f   h i g h - sp e e d   s h a f t   4 5 . 6                   To   f ac ilit ate  t h p r o ce s s i n g t h co m p le x   m atr ice s   ( 2 0 )   ar r ep r esen ted   i n   t h p ar a m etr i co m p ac t .   B y   ap p l y i n g   th p r o p o s ed   s y m b o lic  b ased   tech n iq u o n   th n o n h o m o g e n eo u s   w i n d   tu r b in s tate  s p ac m o d el,   th m a tr ix   le v el  d ec is io n   in d i ca tes   h i g h   d i m e n s io n   s y s te m   n= 1 0   i.e .   ev en   n u m b er .   T h u s ,   t h s y s te m   m o d el   is   p ar titi o n ed   in to   lo w er   d i m en s io n al  s u b s y s te m s T h en   al th s u cc ee d in g   p r o ce s s es  i n   tu r n   ar m ad o n     th s u b m atr i x   b asis .   First  co m p u ti n g   th ter m   [ SI A ] 1 w h er b o t h   11   an d   its   s ch u r   co m p le m e n t   ar n o n s in g u lar s o   it   is   in v er ti b le  u s i n g   eq u atio n s   f r o m   ( 9 )   to   ( 1 2 ) .   Sy m b o lic  ca lcu la t io n s   ar p r o ce ed ed   co n s is ten tl y ,   t h s tate  tr an s iti o n   m atr i x   is   ca lc u lated   as  f o u r   s ep ar ate  b lo ck s   d en o ted      o f   s ize  ( 5 × 5 )   f o r   ea ch   b lo ck .   T h en   t h ze r o - i n p u r esp o n s is   g en er ated   i n   t wo   s ep ar ate  p ar titi o n s   o f   s ize  ( 5 × 1 ) .   T h ze r o - s tate  r esp o n s is   also   co m p u ted   o n   b lo ck - b asis   ac co r d in g   to   ( 4 )   th at  y ield s   t w o   s ep ar ate  ze r o   s tate  b lo ck s   o f   s ize   (5 × 1 ) .   Fin all y ,   th ze r o   s tate  an d   ze r o   in p u r esp o n s b lo ck s   ar a d d ed   an d   s im p li f ied   to   f o r m   t h co m p lete  s y m b o lic  s o lu t io n   o f   t h w i n d   tu r b in s ta te  s p ac m o d el.   Si m u lat io n   r es u lt s   u s i n g   r ea m o d el   p ar a m eter s   h a v b ee n   u n d er ta k en   f o r   te s ti n g   [ 30 ] .   Nu m er ical   v alu e s   f o r   w i n d   tu r b i n e   m o d el  p ar am eter s   ar s u m m ar ize d   in   T ab le  4 .   Fo r   illu s tr atio n ,   Fi g u r 7   s h o w s     th i m p ac t   o f   v ar y i n g   t h v al u o f   p ar a m eter   1   o n l y   o v er   t h r an g f r o m   0 . 0 0 1   to   0 . 0 2 ,   w h er ea s   all  o t h er   p ar am eter s   v alu e s   ar k ep u n v ar y i n g .   I is   n o ted   th at  ch an g i n g   1   h as  a   n o ticea b le  im p ac t   o n   r o to r   an d   g en er ato r   s p ee d   an d   to r s io n   an g le  o f   d r iv tr ai n   ( , ),   w h ile   i n   th m ea n ti m h as  n o   e f f ec o n   th o th er   s tate  p ar a m eter s   at  all .   He n c e,   th ese  eq u atio n s   ca n   b u s ed   to   an al y ze   th e f f ec o f   a n y   o f   th i n ter n al   p ar am eter   ch a n g es  w it h in   a n y   r an g o f   v ar iatio n .   Mo r eo v er ,   it  i s   n o ted   f r o m   th e   p lo t h at  s o m r e s p o n s es   ar u n s tab le  an d   i n   n ee d   f o r   co n t r o llin g   cr iter io n .   Fo r   all  t h p r ev io u s   ca s s tu d i es,  t h e   p er f o r m a n ce   o f   t h p r o p o s ed   s y m b o lic - b ased   tec h n iq u h as  b ee n   co m p ar ed   to   t h co r r esp o n d in g   Si m u lin k   m o d el.   Up   to   n o w ,   Si m u li n k   is   to tall y   n u m er ical.   T o   v er if y     th co r r ec tn es s   o f   t h r es u lted   s y m b o lic  s o l u tio n ,   Si m u li n k   m o d el  f o r   ea ch   ca s s t u d y   h as  b ee n   d e v elo p ed   an d   th n u m er ical   v al u es   f o r   th p ar a m eter s   h a ve   b ee n   f ed   in to   t h s tate  s p ac b lo ck .   T h r es u lted   o u tp u ts   f r o m   th e   s co p b lo ck s   s h o w   t h s a m e   b eh a v io u r   id e n ticall y   to   th at   g e n er ated   f r o m   th e   s y m b o lic   eq u atio n s   in   all  ca s s t u d ies .   A la s it  ca n   b co n clu d ed   f r o m   all  ca s s t u d ies  i m p le m e n tat io n s   t h at  t h s y m b o lic  s o lu tio n   g iv e s   id en tical   r es u lts   as   t h n u m er ica co r r esp o n d in g   s o lu ti o n .   So ,   t h s y m b o lic  b a s ed   m o d el  ca n   b a   b etter   alter n ati v to   th e   n u m er ical  m et h o d s   w h ic h   h as   th e   ad v an tag e   o f   g e n er alit y   a n d   f le x ib ilit y .   Mo r eo v er ,     th p ar titi o n ed   m atr i x   tec h n i q u i m p r o v es  t h m e m o r y   u s an d   ti m co n s u m p tio n   t h a n   th d ir ec m eth o d   w h er t h ti m i s   d ec r ea s e d   b y   2 0 an d   m e m o r y   u s b y   ab o u 5 as   ca lcu lated   f r o m   t h p r ev io u s   ca s s tu d ie s   ex p er i m e n tat io n s .     Evaluation Warning : The document was created with Spire.PDF for Python.