4 papers
Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
Sunandan Adhikary, Soumyajit Dey
Modern cyber-physical systems often have a two-layered design, where the primary controller is AI-enabled or an analytical controller optimising some specific cost function. If the…
Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems
Arkaprava Sain, Sunandan Adhikary, Soumyajit Dey
Real-time cyber-physical systems depend on deterministic task execution to guarantee safety and correctness. Unfortunately, this determinism can unintentionally expose timing infor…
Learning-Enabled Adaptive Voltage Protection Against Load Alteration Attacks On Smart Grids
Anjana B., Suman Maiti, Sunandan Adhikary +2
Smart grids are designed to efficiently handle variable power demands, especially for large loads, by real-time monitoring, distributed generation and distribution of electricity.…
Enhancing Attack Resilience in Real-Time Systems through Variable Control Task Sampling Rates
Arkaprava Sain, Sunandan Adhikary, Ipsita Koley +1
Cyber-physical systems (CPSs) in modern real-time applications integrate numerous control units linked through communication networks, each responsible for executing a mix of real-…