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

access icon free Fault recovery for cascaded asynchronous sequential machines

  • Author(s): Jung-Min Yang 1  and  Seong Woo Kwak 2
    • View affiliations
  • Source: Volume 12, Issue 1, 02 January 2018, p. 60 – 67
    DOI:  10.1049/iet-cta.2017.0367 , Print ISSN 1751-8644, Online ISSN 1751-8652
© The Institution of Engineering and Technology
Received 04/04/2017, Accepted 05/10/2017, Revised 04/09/2017, Published 10/10/2017

In this study, the authors investigate the fault-tolerant control problem of a cascaded asynchronous sequential machine (ASM) in which two ASMs subject to adversarial inputs constitute a cascade composition. The main objective is to develop a corrective controller that can diagnose and tolerate any unauthorised state transition occurring in the cascaded machine. In particular, the authors address fault-tolerant control for two control configurations, one with a state feedback and the other with an output feedback. The existence condition for a controller is found to be different with respect to each feedback availability. The authors apply the proposed control scheme to robust operations of memory scrubbing modules in space-borne computers implemented on field-programmable gate array systems. Experimental results show the practicability of the proposed methodology.

Inspec keywords: state feedback; control system synthesis; control engineering computing; aerospace computing; cascade systems; fault tolerant control; aerospace control; sequential machines; field programmable gate arrays

Other keywords: output feedback; space-borne computers; feedback availability; fault-tolerant control problem; robust operations; ASM; corrective controller; adversarial inputs; state transition; state feedback; cascade composition; fault recovery; field-programmable gate array systems; cascaded asynchronous sequential machines; memory scrubbing modules; existence condition

Subjects: Control system analysis and synthesis methods; Aerospace engineering computing; Aerospace control; Logic and switching circuits; Automata theory; Control engineering computing

References

    1. 1)
      • 1. Murphy, T.E., Geng, X., Hammer, J.: ‘On the control of asynchronous machines with races’, IEEE Trans. Autom. Control, 2003, 48, (6), pp. 1073–1081.
    2. 2)
      • 7. Hammer, J.: ‘Automatic defensive control of asynchronous sequential machines’, Int. J. Control, 2016, 89, (1), pp. 193–209.
    3. 3)
      • 3. Peng, J., Hammer, J.: ‘Bursts and output feedback control of non-deterministic asynchronous sequential machines’, Eur. J. Control, 2012, 18, (3), pp. 286–300.
    4. 4)
      • 11. Yang, J.M.: ‘Corrective control of composite asynchronous sequential machines under partial observation’, IEEE Trans. Autom. Control, 2016, 61, (2), pp. 473–478.
    5. 5)
      • 13. Kohavi, Z., Jha, N.K.: ‘Switching and finite automata theory’ (Cambridge University Press, Cambridge, UK, 2010).
    6. 6)
      • 9. Van Berkel, C.H., Josephs, M.B., Nowick, S.M.: ‘Applications of asynchronous circuits’, Proc. IEEE, 1999, 87, (2), pp. 223–233.
    7. 7)
      • 15. Cardarilli, G.C., Ottavi, M., Pontarelli, S., et al.: ‘Fault tolerant solid state mass memory for space applications’, IEEE Trans. Aerosp. Electron. Syst., 2005, 41, (4), pp. 1353–1372.
    8. 8)
      • 12. Awoseyila, A.B., Kasparis, C., Evans, B.G.: ‘Robust time-domain timing and frequency synchronization for OFDM systems’, IEEE Trans. Consum. Electron., 2009, 55, (2), pp. 391–399.
    9. 9)
      • 10. Lee, E.A., Varaiya, P.: ‘Structure and interpretation of signals and systems’ (UC, Berkeley, 2011), Available at LeeVaraiya.org.
    10. 10)
      • 14. Tang, M.X., Lee, J., Morita, K.: ‘General design of reversible sequential machines based on reversible logic elements’, Theor. Comput. Sci., 2015, 568, pp. 19–27.
    11. 11)
      • 5. Yang, J.M., Hammer, J.: ‘State feedback control of asynchronous sequential machines with adversarial inputs’, Int. J. Control, 2008, 81, (12), pp. 1910–1929.
    12. 12)
      • 4. Xu, X., Hong, Y.: ‘Matrix approach to model matching of asynchronous sequential machines’, IEEE Trans. Autom. Control, 2013, 58, (11), pp. 2974–2979.
    13. 13)
      • 8. Yang, J.M., Kwak, S.W.: ‘Corrective control for transient faults with application to configuration controllers’, IET Control Theory Appl., 2015, 9, (8), pp. 1213–1220.
    14. 14)
      • 6. Yang, J.M., Hammer, J.: ‘Asynchronous sequential machines with adversarial intervention: the use of bursts’, Int. J. Control, 2010, 83, (5), pp. 956–969.
    15. 15)
      • 2. Venkatraman, N., Hammer, J.: ‘On the control of asynchronous sequential machines with infinite cycles’, Int. J. Control, 2006, 79, (7), pp. 764–785.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cta.2017.0367
Loading

Related content

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