Study of Power Network Security Based on OBDDs

Min-max systems are natural extension of the well known (max,plus) linear Discrete Event Dynamic Systems (DEDS) models. They are motivated by recent research on digital circuits and communication networks. In this talk, we will first introduce the nonlinear DEDS model described by min-max functions, and review recent results for analysis and control of such systems with deterministic parameters. Then we will present some results on robust analysis of a family of min-max systems whose parameters are given by intervals. Kharitonov-like robust stability tests will be established for subsets of vertices of the parameter space. Throughout the paper, we shall focus on the structural properties and their roles in the study of stability and stabilization of min-max systems.
Qianchuan Zhao received the B.E. degree in automatic control in July 1992, the B.S. degree in applied mathematics in July 1992, and MS and Ph.D. degrees in control theory and its applications in July 1996, all from Tsinghua University, Beijing, China. He is currently a Professor and Associate Director of the Center for Intelligent and Networked Systems (CFINS) http://cfins.au.tsinghua.edu.cn, Department of Automation, Tsinghua University. He was a Visiting Scholar at Carnegie Mellon University, Pittsburgh, PA, and Harvard University, Cambridge, MA, in 2000 and 2002, respectively. He was a Visiting Professor at Cornell University, Ithaca, NY, in 2006. His research interests include discrete event dynamic systems (DEDS) theory and applications, optimization of complex systems, and wireless sensor networks. He has published more than 70 research papers in peer-reviewed journals and conferences. He is a recipient of the 4th HO PAN QING YI best paper award in DEDS field in the year 2000, the 9th Guan Zhao-Zhi Award best paper award in the year 2003 and the 2005 UTRC Outstanding Achievement Award. Dr. Zhao is an associate editor for the Journal of Optimization Theory and Applications, associate editor for the joint conference CDC-ECC’05 and International Program Committee member for WODESཀ. He is a member of IEEE.