By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yang, J.-M. ; Dept. of Electr. Eng., Catholic Univ. of Daegu, Gyeongsan, South Korea ; Kwak, S.W.

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.

Published in:

Control Theory & Applications, IET  (Volume:4 ,  Issue: 11 )