Assistant professor Lei Feng coauthors award-winning student paper

Published Aug 30, 2012

The best student paper award in 2012 IEEE Conference on Automation Science and Engineering in Seoul, Korea went to Lei Feng, Assistant professor at MMK, Mohammad Reza Shoaei, PhD student at Chalmers, and professor Bengt Lennartson.

The best student paper award in IEEE Conference on Automation Science and Engineering is awarded each year to the best conference paper with a student (at the time of the conference) as the lead author and principle contributor.

Lei Feng, Assistant professor at the Mechatronics department at MMK, co-authored the winning paper titled “Abstractions for Nonblocking Supervisory Control of Extended Finite Automata” with the first author Mohammad Reza Shoaei, a PhD student at Chalmers, and professor Bengt Lennartson.

The paper was written mainly by Mohammad Reza Shoaei. Lei Feng and professor Lennartson helped on the revision and quality control. Lei Feng also helped Mohammad Reza Shoae understand and define the new concepts for extended finite automata.

The paper is an an extension of Lei Feng´s previous work on the quasi-congruent abstraction of finite state automata.

Abstract

An abstraction method for Extended Finite Automata (EFAs), i.e., finite automata extended with variables, using transition projection is presented in this work. A manufacturing system modeled by EFAs is abstracted into subsystems that embody internal interacting dependencies. Synthesis and verification of subsystems are achieved through their model abstractions rather than their global model. Sufficient conditions are presented to guarantee that supervisors result in maximally permissive and nonblocking control. An examples demonstrate the computational effectiveness and practical usage of the approach.

Read more about the IEEE Conference on Automation Science and Engineering in Seoul:

case2012.org