报告1：
题目：Internet of Things: Recent Advances and Applications
报告人：周孟初教授，New Jersey Institute of Technology, USA
时间：2013年7月19日下午2：00点
地点：CSC 223

摘要：About 200 years ago, Industrial Revolution, in which muscle power from both human and animals was replaced by mechanical power, accelerated productivity and economic growth sharply. Started in 1950, Internet Revolution that relied on computing, communication and networking technologies increased productivity and propelled the global economy even more sharply than Industrial Revolution did. What is the next “revolution” that will bring a new wave of productivity gain? Our answer is “Internet of Things (IoT)” also called “Industrial Internet”. It consists of intelligent devices, intelligent systems, and intelligent decisioning that allow the physical world of machines, facility, fleets and networks to more deeply merge with the connectivity, big data and analytics of the digital world. With IoT, all things in the world link and communicate with each other. They have their identities, physical attributes, and interfaces. They are seamlessly integrated into the information network such that they become active participants in business, information and social processes wherever and whenever needed and proper. They can interact among themselves and with the environment by exchanging data and information ‘sensed’ about the environment, while reacting autonomously to the events by triggering actions and creating services with or without direct human intervention. What are the proper architectures for such IoT? How can one implement them? What are the technical challenges? What are the existing applications showing the promise of IoT? This talk intends to answer these questions and lead the audience to an exciting field of IoT and their various applications including environmental monitoring, intelligent transportation systems and smart grids.

报告人简介
Dr. MengChu Zhou is currently Professor of The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University , Shanghai , China and New Jersey Institute of Technology (NJIT). He is the Director of the MS Program in Power and Energy System and Area Coordinator of Intelligent Systems at NJIT. His research interests are in Petri nets, sensor networks, big data, web service, semiconductor manufacturing, transportation and energy systems. He has over 480 publications including 11 books, 220+ journal papers (majority in IEEE Transactions), and 18 book-chapters. Dr. Zhou has led or participated in over 50 research and education projects with total budget over $12M, funded by National Science Foundation, Department of Defense, NIST, New Jersey Science and Technology Commission, and industry. He is the founding Editor-in-Charge of IEEE Book Series on Systems Science and Engineering. He is currently Editor of IEEE Transactions on Automation Science and Engineering, and Associate Editor of IEEE Transactions on Systems, Man and Cybernetics: Part A, IEEE Transactions on Industrial Informatics and IEEE Transactions on Intelligent Transportation Systems. He is a founding co-chair of IEEE International Conferences on Networking, Sensing and Control. He served General and Program Chairs for many international conferences including IEEE International Conference on Systems, Man and Cybernetics and IEEE International Conference on Automation Science and Engineering. He was the recipient of many awards including CIM University-LEAD Award by Society of Manufacturing Engineers, Perlis Research Award and Fenster Innovation in Engineering Education Award by NJIT, Humboldt Research Award for US Senior Scientists by Humboldt Foundation, Germany , and Outstanding Contributions Award, Distinguished Lecturership and Franklin V. Taylor Memorial Best Paper Award of IEEE Systems, Man, and Cybernetics Society. He is a life member of Chinese Association for Science and Technology-USA and served as its President in 1999. He is Fellow of IEEE and American Association for the Advancement of Science (AAAS).

报告2：
题目：Modular Design of Urban Traffic Light Control Systems Based on Synchronized Timed Petri Nets
报告人：黄义盛教授，台湾宜兰大学
时间：2013年7月19日下午2：00点
地点：CSC 223

摘要：Timed Petri net s (TPN s ) ha ve been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this paper, we propose a new methodology to design and analyze an urban traffic network control system by using STPN. In addition, t he applications of STPN to eight-phase, six-phase and two-phase traffic light control systems are modularized . The advantage of the proposed approach is the clear presentation of traffic lights’ behavio r s in terms of conditions and events that cause the phases alternations. In additional, the size of urban traffic network control system can easily be extend ed with our proposed modular technique. The analysis of the control models is performed to demonstrate how the models enforce the lights’ transitions by a reachability graph method.

报告人简介

Yi-Sheng Huang received the B.S. degree in Automatic Control Engineering from Feng Chia University, Taiwan, in 1989, the M.S. degree in Electronic Engineering from Chung Yuan Christian University, Taiwan, in 1991, and the Ph.D. degree in Electrical Engineering from National Taiwan University of Science and Technology (NTUST), Taiwan, in 2001.
He was an Associate Professor in the Department of Aeronautical Engineering at Chung Cheng Institute of Technology (CCIT), National Defense University in Taiwan. He is presently a full professor in the Department of Electrical Engineering, National Ilan University in Taiwan. His research interests include discrete event systems, Petri nets, computer integrated manufacturing, automation, reactive systems, air traffic control, intelligent transport systems and motor control systems.
Prof. Huang has been serving as a Reviewer for the Automatic, IEEE TSMCA, IEEE TSMCC, IEEE TASE, IEEE TIE, , IEEE ITS, IET Control Theory and Application, IET Intelligent Transport Systems, International Journal of Production Research, The Computer Journal, IJAMT, AJC, JCIE and JISE.

报告3：
题目：PLC程序的Petri网建模与分析方法研究
报告人：罗继亮 副教授，华侨大学
时间：2013年7月19日下午2：00点
地点：CSC 223

摘要：核电和化工等安全关键领域，可编程逻辑控制器（PLC）任何逻辑错误都可能造成灾难。本报告介绍了一种PLC程序的Petri网建模方法，以及基于Petri网状态空间分析的PLC程序“竞态”的识别定位方法。

报告人简介：

罗继亮副教授，华侨大学控制科学与工程学系副主任。2006年获得浙江大学控制科学与工程专业博士学位。主要从事离散事件系统监控理论和Petri网理论与应用等方面的研究，在IEEE Transactions on Automatic Control和Automatica等期刊发表多篇论文，2012年获得离散事件系统领域著名的何潘清漪优秀论文奖。

报告4：
题目：关于信标可控性定义的讨论
报告人：王寿光教授，浙江工商大学
时间：2013年7月19日下午2：00点
地点：CSC 223

摘要：死锁是离散事件系统中极不希望出现的现象，目前研究死锁避免的一个重要方法是信标控制法，该方法的基础是信标的可控性。本报告首先回顾了文献中的各个信标可控性定义，然后从可控性定义的严格宽松程度、应用的范围大小以及等价性等方面分析比较了现有的信标可控性定义优缺点，最后探讨了今后的研究方向。

报告人简介：

王寿光教授，浙江工商大学测仪系系主任、省中青年学科带头人、IEEE高级会员。2005年获得浙江大学控制科学与工程专业博士学位。主要从事离散事件系统监控理论和Petri网理论与应用等方面的研究。以第一作者发表30多篇论文。主持的一项浙江省自然科学基金项目被评为“十一五”100项浙江省自然科学基金优秀项目。