By Topic

Input Order Robustness: Definition, Verification Procedure, and Examples

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 $13
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

3 Author(s)
Allen, L.V. ; Depts. of Electr. Eng.: Syst. & Mech. Eng., Univ. of Michigan, Ann Arbor, MI, USA ; Goh, K.M. ; Tilbury, D.M.

Verifying that logic control satisfies some desirable properties is essential to the proper and safe functioning of a manufacturing system. Input order robustness is one such property that has not been thoroughly explored. If a logic controller is input order robust for all sets of inputs whose elements can arrive in any order and whose order should not affect the logic controller's final state or set of outputs, then the logic controller behaves the same in these regards irrespective of the inputs' order. This paper develops a procedure to verify input order robustness for logic controllers implemented in a variety of formalisms, and demonstrates its application on Event-Condition-Action Modular Finite-State Machines (ECA MFSM) and IEC 61499 controllers. Additionally, this verification is extended to a class of networks of controllers, and the computational complexity of such verifications are discussed.

Published in:

Automation Science and Engineering, IEEE Transactions on  (Volume:9 ,  Issue: 1 )