Lindsay V. Allen, graduate student in electrical engineering:systems,
Conference Paper Award at the 2009 IEEE Conference on Automation Science
and Engineering, with co-authors Kiah Mok Goh from Singapore Institute of
Manufacturing Technology and Prof. Dawn Tilbury, for the paper, Closed
Loop Determinism for Non-Deterministic Environments: Verification for IEC
61499 Logic Controllers.
Allen describes the project:
Verification of logic controllers can identify errors during the design
stage so they can be remedied and prevent some faults from occurring once
the system is running. Input order robustness is the property that multiple
inputs arriving in a variety of orders, and regardless of the order, produce
the same set of outputs and same final state. Verifying this property
ensures determinism of the closed-loop system even if the environment is
non-deterministic. Because use of the IEC 61499 standard for distributed
control is becoming more widespread, we present the application of input
order robustness verification to controllers implemented in this formalism.
Open issues with IEC 61499 execution semantics are presented and discussed
in relation to input order robustness verification.
EECS/ECE Communications Coordinator
firstname.lastname@example.org or 734-936-2965