http://iet.metastore.ingenta.com
1887

Corrective control of asynchronous machines with uncontrollable inputs: application to single-event-upset error counters

Corrective control of asynchronous machines with uncontrollable inputs: application to single-event-upset error counters

For access to this article, please select a purchase option:

Buy article PDF
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Control Theory & Applications — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Corrective control of asynchronous sequential machines is to design a feedback controller so that the behaviour of the closed-loop asynchronous machine matches that of a prescribed model. This study proposes a control scheme for asynchronous machines with uncontrollable external inputs, over which the controlling agent has no influence. The existence condition for an appropriate controller and its design procedure are analytically presented. It is shown that an asynchronous machine must have additional reachability to achieve control objectives against transitions caused by uncontrollable inputs. In particular, the authors apply the proposed control scheme to implementing single-event-upset error counters used by error detection and correction circuits. The authors' result demonstrates that corrective control can be employed in real digital systems.

References

    1. 1)
      • Geng, X.: `Model matching for asynchronous sequential machines', 2003, PhD, University of Florida.
    2. 2)
      • T.E. Murphy , X. Geng , J. Hammer . On the control of asynchronous machines with races. IEEE Trans. Autom. Control , 6 , 1073 - 1081
    3. 3)
      • X. Geng , J. Hammer . Input/output control of asynchronous sequential machines. IEEE Trans. Autom. Control , 12 , 1956 - 1970
    4. 4)
      • N. Venkatraman , J. Hammer . On the control of asynchronous sequential machines with infinite cycles. Int. J. Control , 7 , 764 - 785
    5. 5)
      • J.M. Yang . Corrective control of asynchronous sequential machines in the presence of adversarial input. IET Control Theory Appl. , 8 , 706 - 716
    6. 6)
      • J.M. Yang , J. Hammer . State feedback control of asynchronous sequential machines with adversarial inputs. Int. J. Control , 12 , 1910 - 1929
    7. 7)
      • C.G. Cassandras , S. Lafortune . (1999) Introduction to discrete event systems.
    8. 8)
      • P.C.Y. Chen , W.M. Wonham . Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Real-Time Syst. , 3 , 183 - 208
    9. 9)
      • Z. Kohavi . (1978) Switching and finite automata theory.
    10. 10)
      • S. Karp , B.K. Gilbert . Digital system design in the presence of single event upsets. IEEE Trans. Aerosp. Electron. Syst. , 2 , 310 - 316
    11. 11)
      • Kim, H.S., Lee, H.K., Choi, S.D.: `Command and data handling subsystem for KITSAT-3', Proc. DASIA 97 – Data Systems in Aerospace, 1997, p. 277–279.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cta.2009.0397
Loading

Related content

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