Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

access icon free Static corrective control with model matching indicator and its application to payload data managers

  • Author(s): Jung-Min Yang 1  and  Seong Woo Kwak 2
    • View affiliations
  • Source: Volume 14, Issue 11, 23 July 2020, p. 1445 – 1451
    DOI:  10.1049/iet-cta.2019.1248 , Print ISSN 1751-8644, Online ISSN 1751-8652
© The Institution of Engineering and Technology
Received 24/10/2019, Accepted 20/03/2020, Revised 29/01/2020, Published 25/03/2020

Having no internal states, static corrective controllers are advantageous over dynamic ones in terms of resource usage, albeit requiring stricter existence conditions. This study presents a novel static corrective control strategy that solves the model matching problem of input/state asynchronous sequential machines. Compared with the previous result, the proposed scheme provides a relaxed existence condition by utilising the model matching indicator that specifies the desirable state at hand. It is shown that the proposed static controller can be designed as long as a corresponding dynamic one exists. The improvement of resource usage in controller synthesis is validated by applying the proposed scheme to the payload data manager in the mass memory unit of satellite systems.

Inspec keywords: asynchronous machines; sequential machines; control system synthesis; closed loop systems; machine control

Other keywords: novel static corrective control strategy; relaxed existence condition; payload data manager; static corrective controllers; dynamic ones; desirable state; controller synthesis; model matching indicator; static controller; model matching problem; stricter existence conditions; internal states; data managers; resource usage

Subjects: Control system analysis and synthesis methods; Control of electric power systems; Asynchronous machines

References

    1. 1)
      • 15. Venkatraman, N., Hammer, J.: ‘On the control of asynchronous sequential machines with infinite cycles’, Int. J. Control, 2006, 79, (7), pp. 764–785.
    2. 2)
      • 8. Yang, J.M., Hammer, J.: ‘Static state feedback control of asynchronous sequential machines’, Int. J. Gen. Syst., 2016, 45, (7–8), pp. 830–863.
    3. 3)
      • 5. Wang, B., Feng, J.E., Meng, M.: ‘Matrix approach to model matching of composite asynchronous sequential machines’, IET Control Theory Appl., 2017, 11, (13), pp. 2122–2130.
    4. 4)
      • 7. Yang, J.M., Kwak, S.W.: ‘Static corrective control for asynchronous sequential machines and its application to on-board computers’, IET Control Theory Appl., 2016, 10, (18), pp. 2526–2533.
    5. 5)
      • 16. Sterpone, L., Porrmann, M., Hagemeyer, J.: ‘A novel fault tolerant and runtime reconfigurable platform for satellite payload processing’, IEEE Trans. Comput., 2013, 62, (8), pp. 1508–1525.
    6. 6)
      • 2. Xu, X., Hong, Y.: ‘Matrix approach to model matching of asynchronous sequential machines’, IEEE Trans. Automat. Control, 2013, 58, (11), pp. 2974–2979.
    7. 7)
      • 17. Gu, B.J., Kim, S.Y., Lee, J.J., et al: ‘Design of mass memory unit in the NEXTSat-2 (in korean)’. Proc. Korean Society for Aeronautical & Space Sciences (KSAS) Fall Conf., Jeju, South Korea, 2018, pp. 1079–1980.
    8. 8)
      • 13. Yang, J.M., Kwak, S.W.: ‘Model matching and fault-tolerant control of switched asynchronous sequential machines with transient faults’, IET Control Theory Appl., 2019, 13, (12), pp. 1882–1890.
    9. 9)
      • 6. Wang, B., Feng, J.E., Meng, M.: ‘Model matching of switched asynchronous sequential machines via matrix approach’, Int. J. Control, 2019, 92, (10), pp. 2430–2440.
    10. 10)
      • 9. She, X., McElvain, K.S.: ‘Time multiplexed triple modular redundancy for single event upset mitigation’, IEEE Trans. Nucl. Sci., 2009, 56, (4), pp. 2443–2448.
    11. 11)
      • 3. Geng, X., Hammer, J.: ‘Input/output control of asynchronous sequential machines’, IEEE Trans. Automat. Control, 2005, 50, (12), pp. 1956–1970.
    12. 12)
      • 11. Yang, J.M., Kwak, S.W.: ‘Corrective control of parallel interconnected asynchronous sequential machines with output feedback’, IET Control Theory Appl., 2019, 13, (5), pp. 693–701.
    13. 13)
      • 10. Yang, J.M., Kwak, S.W.: ‘Fault recovery for cascaded asynchronous sequential machines’, IET Control Theory Appl., 2018, 12, (1), pp. 60–67.
    14. 14)
      • 14. Kohavi, Z., Jha, N.K.: ‘Switching and finite automata theory’ (Cambridge University Press, Cambridge, UK, 2010).
    15. 15)
      • 1. Murphy, T.E., Geng, X., Hammer, J.: ‘On the control of asynchronous machines with races’, IEEE Trans. Automat. Control, 2003, 48, (6), pp. 1073–1081.
    16. 16)
      • 4. Wang, J., Han, X., Chen, Z., et al: ‘Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices’, Future Gener. Comput. Syst., 2018, 83, pp. 468–475.
    17. 17)
      • 12. Yang, J.M.: ‘Static feedback control of switched asynchronous sequential machines’, Syst. Control Lett., 2017, 99, pp. 40–46.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cta.2019.1248
Loading

Related content

content/journals/10.1049/iet-cta.2019.1248
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address