The Michigan Engineer News Center

Best Paper Award in Automation Research

The award was given at the IEEE Conference on Automation and Engineering. Congratulations, Lindsay!| Short Read
EnlargeLindsay Allen

Lindsay V. Allen, graduate student in electrical engineering:systems, received the Best
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.

Lindsay Allen
Portrait of Catharine June


Catharine June
ECE Communications and Marketing Manager

Electrical Engineering and Computer Science

(734) 936-2965

3301 EECS

The electrons absorb laser light and set up “momentum combs” (the hills) spanning the energy valleys within the material (the red line). When the electrons have an energy allowed by the quantum mechanical structure of the material—and also touch the edge of the valley—they emit light. This is why some teeth of the combs are bright and some are dark. By measuring the emitted light and precisely locating its source, the research mapped out the energy valleys in a 2D crystal of tungsten diselenide. Credit: Markus Borsch, Quantum Science Theory Lab, University of Michigan.

Mapping quantum structures with light to unlock their capabilities

Rather than installing new “2D” semiconductors in devices to see what they can do, this new method puts them through their paces with lasers and light detectors. | Medium Read