Speakers
Location:Home > Speakers

 

 

 

Keynote Speakers

 

Prof. Lihua Xie, Fellow of IEEE and IFAC

Nanyang Technological University, Singapore

 

Lihua Xie received the Ph.D. degree in electrical engineering from the University of Newcastle, Australia, in 1992. He was a faculty with the Department of Automatic Control, Nanjing University of Science and Technology from 1986 to 1989. Since 1992, he has been with the School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore, where he is currently a professor and the Director of the Delta-NTU Corporate Laboratory for Cyber-Physical Systems. He served as the Head of Division of Control and Instrumentation from July 2011 to June 2014. His research areas include robust control, networked control, compressive sensing, localization and unmanned systems. He has been listed as a highly cited researcher by Thomson Routers and Clarivate Analytics annually since 2014. He is currently an Editor-in-Chief of Unmanned Systems and Associate Editor of IEEE Transactions on Control of Network Systems. He has served as an Editor of IET Book Series on Control and Associate Editor of IEEE Transactions on Automatic Control, IEEE Transactions on Control Systems Technology, Automatica, IEEE Transactions on Circuits and Systems-II, etc. He was an IEEE Distinguished Lecturer (2011-2014) and an elected member of the Board of Governors of IEEE Control System Society (Jan. 2016- Dec. 2018). He is Fellow of IEEE, Fellow of IFAC, and Fellow of Academy of Engineering Singapore.

 

Speech Title: "Localization and Control in GPS Denied Environment"

 

Abstract: The capability of localization is of great importance for many applications such as Internet of Things and operation of unmanned systems. GPS has been widely used for positioning and navigation. However, in indoor environments and many outdoor environments such as urban canon and forest, GPS may not be available or unreliable. Hence, it has been a lot of interest in developing technologies and algorithms for localization in such environments. In this talk, we shall discuss some recent research on this topic. We shall discuss localization leveraging on various technologies including WiFi, UWB and vision. In particular, we shall introduce WiFi based indoor positioning and activity recognition as well as recently developed distance based cooperative localization including consensus based approach and graph optimization based approach, leveraging on UWB technologies. We shall also discuss an integrated visual-inertial-UWB system for mapping and localization with applications in logistics and structure inspection.

 

Prof. Masahiro Fujita

The University of Tokyo, Japan

 

Masahiro Fujita received his Ph.D. in Information Engineering from the University of Tokyo in 1985 on his work on model checking of hardware designs by using logic programming languages. In 1985, he joined Fujitsu as a researcher and started to work on hardware automatic synthesis as well as formal verification methods and tools, including enhancements of BDD/SAT- based techniques. From 1993 to 2000, he was director at Fujitsu Laboratories of America and headed a hardware formal verification group developing a formal verifier for real-life designs having more than several million gates. The developed tool has been used in production internally at Fujitsu and externally as well. Since March 2000, he has been a professor at VLSI Design and Education Center of the University of Tokyo. He has done innovative work in the areas of hardware verification, synthesis, testing, and software verification-mostly targeting embedded software and web-based programs. He has been involved in a Japanese governmental research project for dependable system designs and has developed a formal verifier for C programs that could be used for both hardware and embedded software designs. The tool is now under evaluation jointly with industry under governmental support. He has authored and co-authored 10 books, and has more than 200 publications. He has been involved as program and steering committee member in many prestigious conferences on CAD, VLSI designs, software engineering, and more. His current research interests include synthesis and verification in SoC (System on Chip), hardware/software co-designs targeting embedded systems, digital/analog co-designs, and formal analysis, verification, and synthesis of web-based programs and embedded programs.

 

Speech Title: "Circuit-Compiler Co-Design for AI Systems"

 

Abstract: There have been significant researches on the new development of specialized circuits for efficient AI system processing such as neural electric circuits on one hand, and specialized parallel processing compilation on the others. So far they are somehow separately researched and developed. In this talk we try to establish a co-design and development methodology that can simultaneously optimize circuits as well as parallel processing on top of them. Taking examples in convolutional neural networks and self-attention mechanisms in transformers, we show that such co-design methodology can fully optimize the target AI systems, which is impossible through individual optimizations. The proposed design methodology can make it possible to develop highly efficient edge devices for AI sytems.

 

 

Invited Speakers

Prof. Hirohide Haga

Doshisha University, Japan

 

Hirohide Haga was born in 1954 in Kyoto, Japan. He received his B.Eng and M.Eng from Doshisha University in electrical engineering and Ph.D. in computer science from Kyoto University in 1978, 1980, and 1994 respectively. In 1980, he joined to Hitachi, Ltd., one of the leading computer companies in Japanese where he was a research staff of computer software. In 1994, he moved from Hitachi to Doshisha University. Currently he is a full professor of computer science at Faculty of Science and Engineering, Doshisha University. He held several visiting positions (visiting scholar, visiting professor, and invited professor) at Imperial College of Science and Technology, University of London (UK), University of Oulu (Finland), Cambridge University (UK), École Centrale de Lille (France), and CentraleSupélec (France). He is a member of IEEE, ACM, BCS (British Computer Society), and IEICE-J (Institute of Electronics, Information, and Communication Engineer-Japan). His research interests include Software Engineering, Multi-Agent System, highly secure and reliable database system (Blockchain technology), and Digital Art. He was honored as a Chartered IT Professional from BCS.

 

Speech Title: "Simulating Physical and Social Phenomenon by Agent-based Modeling (ABM)"

 

Abstract: In this talk, I will provide some examples of simulating physical and social phenomenon by Agent-based Modeling and emphasize the advantages of it. With the progress of computer hardware and software, simulation becomes very popular in science and engineering. To simulate the target system, some equations which describe the target system with enough precision must be established. Then these equations, such as algebraic or differential equations, are solved analytically or numerically. However, when we want to simulate social phenomenon, it is virtually impossible to write these equations. Therefore, simulating the social phenomenon was hard or sometimes impossible. But now we have a new simulation method named Agent-based Simulation (ABM). In ABM, the target system is described by the set of agents, which are autonomous software entities, and environment (space). Agents can interact to each other and to environment. Each agent has its own rules for interaction. These rules only describe microscopic (local) action. However, these microscopic rules emerge the macro-level phenomenon in the target system. In ABM, no global equation is necessary, instead, local rules are necessary. Usually describing local rules is easier than describing global rules.
 

 

 

 

 

 

 


Copyright © 2020 3rd International Conference Electronics and Electrical Engineering Technology (EEET 2020). All Rights Reserved.