cyber-physical systems

Traffic Monitoring and MAC-Layer Design for Future IoT Systems

-

B1 L4 R4214

The advances in the technology and the emergence of low complexity intelligent devices result in the evolution of the Internet-of-Things (IoT). One of the most important resources is the wireless channel, which is a shared resource; thus, it is necessary for the nodes to have methods that schedule channel access. This thesis considers the problem of distributed sensing and channel access in the context of IoT systems, where a set of selfish nodes competes for transmission opportunities. In the channel access part, a memory-one channel access game is proposed to reduce the collision rate, to enhance the cooperation among the nodes, and to maximize their payoffs by optimizing their channel access probabilities, based on the channel state in the previous time step.

Cross-Layer Security of Embedded and Cyber-Physical Systems

Prof. Mohammad Alfaruque, University of California, Irvine, USA.

-

B2 5220

Abstract Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components . Embedded systems comprising of hardware and software systems are the major enabling technology for these cyber-physical systems. Today, CPSs can be found in security-sensitive areas such as aerospace, automotive, energy, healthcare, manufacturing transportation, entertainment, and consumer appliances. Compared to the traditional information processing systems, due to the tight interactions between cyber and physical components

Model-based Design of Cyber-physical Systems with Learning Components

Prof. Panagiotis Katsaros, Aristotle University of Thessaloniki

-

B2 5220

Abstract Cyber-physical system design involves heterogeneous components for sensing, control, actuation, networking and relies on models for the system’s physical dynamics, and all interactions with its environment. Since safety and security are critical, model-based engineering methods are often used to increase the confidence and guide the validation testing of the system under design. An abundant of results from modern system theory (discrete, continuous and hybrid) provides the foundations for modeling, simulation, testing and formal verification. Mature tools and languages offer advanced

Resilient Cyber-Physical and Embedded Systems - Or how to cheat to get to n=f+1

-

B5 L5 R5209

Our society keeps entrusting ICT systems with high value cyber-only assets, such as our most sensitive data, finances, etc. However, when it comes to cyber-physical systems and their ability to act in and with the physical world, lifes are at risk and require rigorous protection against accidental faults and cyberattacks.

Securing Cyber-Physical and IoT Systems in Smart Living Environments

Prof. Sajal K. Das is a Curators’ Distinguished Professor of Computer Science, and Daniel St. Clair Endowed Chair, Missouri University of Science and Technology, USA.

-

B4 L5 R5220

Our daily lives are becoming increasingly dependent on smart cyber-physical infrastructures, such as smart homes and cities, smart grid, smart transportation, smart healthcare, smart agriculture, and so on.

Meet KAUST new student: Ioannis Zografopoulos

1 min read ·
Ioannis Zografopoulos is a Ph.D. student who joined KAUST this fall as a Ph.D. candidate and member of the Secure Next Generation Resilient Systems (SENTRY) Lab under the supervision of Professor Charalambos Konstantinou. Zografopoulos believes that KAUST's renowned faculty, global reputation and research infrastructure make the University the ideal environment for him to develop high-quality, impactful research.

Ioannis (Yannis) Zografopoulos

Ioannis Zografopoulos received his Ph.D. at the Computer, Electrical, and Mathematical Sciences and Engineering Division (CEMSE) of King Abdullah University of Science and Technology (KAUST) in 2023. Prior, he graduated with a B.Eng. and M.Eng. degrees in Computer, Communications, and Network Engineering, and an M.Sc. degree in Electrical and Computer Engineering from the University of Thessaly, Volos, Greece, in 2014 and 2015, respectively. His research interests include cyber-physical systems security, with an emphasis on embedded systems for industrial, distributed energy, and power grid

Erick Rodrigues E Silva

Education Erick pursued his education in Control and Automation Engineering at CEFET-RJ, where he was awarded a Motion of Praise for his victory in a national robotics championship. He authored a thesis titled "Platform for Simulation and Generation of Synthetic Data for Autonomous Inspections by UAVS in Solar Plants." Experience During the thesis composition, Erick made a significant contribution to the paper "Virtual Reality Simulation of Autonomous Solar Plant Inspections with Unmanned Aerial Systems." This paper was published at ICUAS, a conference held in Dubrovnik, Croatia in 2021. After

Enas M. Odat

Enas Odat received the B.S. degree in computer engineering from the Jordan University of Science and Technology in 2009, and the M.S. degree from the Department of Computer Science, King Abdullah University of Science and Technology, in 2011, where she is currently pursuing the Ph.D. degree. Her research interests include machine learning, game theory, and Cyber-Physical systems. Education Profile MS. Computer Sciences, King Abdullah University of Sciences and Technology (KAUST), 2011 BS. Computer Engineering, Jordan University of Science and Technology (JUST), 2009

Charalambos (Harrys) Konstantinou

Professor Konstantinou is an expert in critical infrastructure security and resilience, focusing on smart grid technology, renewable energy integration and real-time simulation.

Bodhibrata Mukhopadhyay

Postdoctoral Research Fellow, Electrical and Computer Engineering
Bodhibrata Mukhopadhyay is a Postdoctoral Fellow at Computer Electrical and Mathematical Sciences and Engineering Center (CEMSE), King Abdullah University of Science and Technology (KAUST), working with Professor Mohamed-Slim Alouini in Communication Theory Lab (CTL). Education and Early Career Bodhibrata Mukhopadhyay received his Master of Science (MS(R)) degree in Telecommunication and PhD degree in Electrical Engineering from the Indian Institute of Technology Delhi (IITD), India, in 2015 and 2021. Since 2017, he has been the Director of Suxma Systems (an IIT Delhi incubated startup), which