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

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

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