Keynote Speaker - Walid Taha
Rigorous simulation
Abstract
The falling price of computational and communication components means that they will increasingly be embedded into physical products. Verifying the designs of the resulting “cyber-physical” products is challenging for several reasons. First, closed-form solutions for the behavior of physical systems rarely exist. Second, the most natural mathematical tool for modeling cyber-physical combinations, namely, hybrid (discrete/continuous) systems, exhibit pathologies that arise in neither purely continuous nor purely discrete systems. Third, the expressivity of existing continuous dynamics formalisms is generally lower than those used by domain experts.
To address these problems, we are developing a technology called “rigorous simulation”. The back-end for rigorous simulation uses validated numerics algorithms, which compute guaranteed bounds for the precision of all solutions. We show that these algorithms can be extended to compute trajectories for some hybrid systems exhibiting Zeno behavior. Ongoing work suggests that chattering behavior can be similarly addressed. We make validated numerics more accessible to non-specialists through the use of a domain-specific language, based on hybrid ordinary differential equations, which we also extend to support partial derivatives and certain types of equational modeling. An implementation called “Acumen” has been built and used for several case studies. These include virtual testing of advanced driver assistance functions, bipedal robotics, and a range of model problems for teaching at both graduate and undergraduate levels.
Biography
Walid Taha is a Professor of Computer Science at Halmstad University and a Research Professor at the University of Houston. He has held academic positions at Chalmers, Yale, and Rice University, and short-term positions at ABB, Schlumberger, and Lucent Bell Labs. He is a founding chair of the ACM GPCE conference and the IFIP WG on Program Generation (2.11). Taha is a recipient of an NSF CAREER Award. His research interests include software engineering, programming language semantics, modeling and simulation, and cyber-physical systems.
Keynote Speaker - Ji Zhang
The Industrial Internet of Things (IIoT) and industrial data analytics
Abstract
The Industrial Internet of Things (IIoT) is the next wave of innovation impacting the way the world connects and optimizes machines. It is also the driving force to generate a huge amount of big data which are valuable assets and can in turn push the advancement of IIOT. In this talk, I will review the current development of IIOT and the standards, pipeline and techniques for dealing with IIOT driven industrial data analytics. I will also present sound real-life case study of IIOT and industry data analytics and share some of our recent research work in these areas.
Biography
Prof. Ji Zhang is currently a Reader (Equivalent to Professor in the US universities) in Computing at the University of Southern Queensland (USQ), Australia and the leader of the research group on data engineering and big data analytics at USQ. He is an Australian Endeavour Fellow, Queensland Fellow and Izaak Walton Killam Fellow (Canada) and the recipient of the USQ Research Excellence Award in 2011. He served the Principal Advisor for Research in Division of ICT Services, USQ from 2010-2013. He received his degree of Ph.D. from the Faculty of Computer Science at Dalhousie University, Canada in 2008. Prof. Zhang's research interests include knowledge discovery and data mining (KDD), Big Data analytics, IoT, information privacy and security, and health informatics. He has published over 100 papers, some appearing in top-tier international journals including IEEE Transactions on Dependable and Secure Computing (TDSC), Information Sciences, Knowledge-based Systems, WWW Journal, Bioinformatics, Knowledge and Information Systems (KAIS), Soft Computing, Journal of Database Management and Journal of Intelligent Information Systems (JIIS) and international conferences such as VLDB, ACM CIKM, ACM SIGKDD, IEEE ICDE, IEEE ICDM, WWW, DASFAA, DEXA and DaWak. He has also authored 6 book chapters. Prof. Zhang is holding a patent with CSIRO, Australia.
Keynote Speaker - Min Chen
Title: Cognitive Internet of Things
Abstract
Cognitive Internet of Things (IoT) is the use of cognitive computing technologies, which is derived from cognitive science and artificial intelligence, in combination with data generated by connected devices and the actions those devices can perform. IBM describes cognitive IoT as the second generation of IoT, which can model human brain with the cognitive power to learn, memorize, reason and respond to external stimulus, autonomously and tirelessly. Cognitive IoT redefines the relationship between human and their pervasive digital environment. They may play the role of assistant or coach for the user. Specifically, the IoT generated big data, when used to power predictive analytics algorithms or to develop a corps for a cognitive computing solution. Through two practical IoT systems, i.e., smart clothing system, and interactive pillow robot system, this talk introduces the architecture, features, design, applications and challenges of a cognitive IoT system.
Biography
Min Chen is a professor in School of Computer Science and Technology at Huazhong University of Science and Technology (HUST). He is Chair of IEEE Computer Society (CS) Special Technical Communities (STC) on Big Data. He was an assistant professor in School of Computer Science and Engineering at Seoul National University (SNU) from Sep. 2009 to Feb. 2012. He worked as a Post-Doctoral Fellow in Department of Electrical and Computer Engineering at University of British Columbia (UBC) for three years. Before joining UBC, he was a Post-Doctoral Fellow at SNU for one and half years. He received Best Paper Awardfrom QShine 2008, IEEE ICC 2012, ICST IndustrialIoT 2016, and IEEE IWCMC 2016. He serves as editor or associate editor for Information Sciences, Information Fusion, and IEEE Access, etc. He is a Guest Editor for IEEE Network, IEEE Wireless Communications, and IEEE Trans. Service Computing, etc. He is Co-Chair of IEEE ICC 2012-Communications Theory Symposium, and Co-Chair of IEEE ICC 2013-Wireless Networks Symposium. He is General Co-Chair for IEEE CIT-2012, Tridentcom 2014, Mobimedia 2015, and Tridentcom 2017. He is Keynote Speaker for CyberC 2012, Mobiquitous 2012, Cloudcomp 2015, IndustrialIoT 2016, and The 7th Brainstorming Workshop on 5G Wireless. He has more than 280 paper publications, including 150+ SCI papers, 60+ IEEE Trans./Journal papers, 9 ISI highly cited papers and 2 hot paper. He has published two books: OPNET IoT Simulation (2015) and Big Data Inspiration (2015) with HUST Presss, and a book on big data: Big Data Related Technologies (2014) with Springer Series in Computer Science. His Google Scholars Citations reached 7,350+ with an h-index of 42. His top paper was cited 830+ times. He is an IEEE Senior Member since 2009. His research focuses on Cyber Physical Systems, IoT Sensing, 5G Networks, Mobile Cloud Computing, SDN, Healthcare Big Data, Medica Cloud Privacy and Security, Body Area Networks, Emotion Communications and Robotics, etc.
