IEEE Computer & EMBS and ComSoc & SP joint Chapters - Austin, special session on "Cyber-Physical System Challenges to the Trustworthiness of Systems" : vTools Events

IEEE.org | IEEE Xplore Digital Library | IEEE Standards | IEEE Spectrum | More Sites

IEEE Computer & EMBS and ComSoc & SP joint Chapters - Austin, special session on "Cyber-Physical System Challenges to the Trustworthiness of Systems"

#Technologies #IoT #5G #AI #Blockchain #Nanotechnology #Cybersecurity #use #cases

Austin Computer & EMBS and ComSoc & Signal Processing Joint Chapters

IEEE CTS Austin Computer & EMBS and ComSoc & Signal Processing joint chapter would like to invite you a special talk on

Topic:

"Cyber-Physical System Challenges to the Trustworthiness of Systems"

Presented by Prof. Al Mok, UT Austin

Professor, Quincy Lee Centennial Professorship In Computer Sciences

Location: AT&T Labs, Arboretum, Austin

Date: May 23, 2019

Time: 6-8 pm

Abstract:

As defined by the National Science Foundation, Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components. Examples of CPS include autonomous vehicles, factory and home robots, power grid, smart highway. Since the proper functioning of CPS depends on the collaboration between computing elements, communications and control devices, the safety and security of CPS must take into account the interaction between computing, communication and control. In this talk, we shall discuss some of issues in the engineering of efficient, safe and secure CPS.

Bio:

Prof. Al MOk,
Quincy Lee Centennial Professor in Computer Sciences, UT Austin

Areas of Interest: Fault-tolerant hard-real-time systems, system architecture, computer-aided system design tools, and software engineering

Current research include conducting fundamental research in the area of distributed real-time systems. My primary concerns include specification techniques for real-time systems, algorithms for guaranteeing stringent timing constraints and understanding the trade-off between the robustness and response times of time-critical systems. The goal is to develop a formal framework for automating the analysis and synthesis of robust real-time systems. Application areas include robot control systems, avionics software and industrial process control systems. Funding is being provided by the Office of Naval Research to develop a highly automated design environment for real-time systems.

B.S. in Electrical Engineering (1977), M.S. (1977), Ph.D. (1983)
Massachusetts Institute of Technology

……………………………………………………………………………………….…………………………….

Free F&B

For any questions/details, please email F.Behmann@IEEE.org

Chair ComSoc/SP and EMBS/CS Austin Chapters