讲座名称
Advanced Topics in Supervisory Control for Discrete Event Systems based on Automata
讲座时间
2019-06-19 14:30:00
讲座地点
西电北校区主楼III-237报告厅
讲座人
Klaus Werner Schmidt
讲座人介绍
Dr. Klaus Werner Schmidt is currently a Professor. at Middle East Technical University, Ankara, Turkey. He received his Ph.D in Engineering Sciences at the Technical Faculty of the University of Erlangen-Nuremberg, Germany. He is an Associate Editor of "Discrete Event Dynamic Systems: Theory and Applications" as well as the "Turkish Journal of Electrical Engineering and Computer Sciences". He was a Member of the Program Committee of the Workshop on Discrete Event Systems 2008, 2010, 2012, 2014, 2016, 2018. He was awarded Outstanding Reviewer for the IEEE Trans on Automatic Control. Moreover, He is also an Associate Editor for the IFAC World Congress 2017 (representing the IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems). In recent years, Prof. Schmidt's main research interests include decentralized and hierarchical control of discrete event systems, reconfiguration of manufacturing system behavior specifications, and adaptive cruise control of vehicles. Prof. Schmidt has published over 100 papers.
讲座内容
The general formulation of the supervisory control theory (SCT) is based on formal languages, the design can be performed in different modeling frameworks such as finite state automata or Petri Nets. Nevertheless, a common problem encountered in the supervisor design is the impractical computation effort when applying the SCT to large-scales DES. Because of this reason, a large part of the existing literature on SCT is devoted to methods that make use of the structure of practical DES in order to reduce the computational effort.
This first part of the lecture will give an overview of structural approaches for the supervisory control of DES in the modeling framework of finite state automata. After a short introduction of the basic notions and definitions, the concepts of modular control, abstraction-based control and the combination of modular control and abstraction-based control will be outlined and supported by examples. The original formulation of the SCT is based on the representation of the system behavior by formal languages. A different formulation that is particularly important for the reconfiguration of DES is given by the concept of state feedback control for state attraction of DES. In this setting, it is desired to reach a given set of plant states using a bounded number of event occurrences from any possible plant state. The second part of the lecture will introduce the concept of state attraction and give illustrative examples.
