Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems Read more about Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems
Semantic Security Analysis of SCADA Networks to Detect Malicious Control Commands in Power Grids Read more about Semantic Security Analysis of SCADA Networks to Detect Malicious Control Commands in Power Grids
Resilient Control of Cyber-Physical Systems against Denial-of-Service Attacks Read more about Resilient Control of Cyber-Physical Systems against Denial-of-Service Attacks
Price-Based Distributed Control for Networked Plug-in Electric Vehicles Read more about Price-Based Distributed Control for Networked Plug-in Electric Vehicles
Mechanics and Manipulation of Planar Elastic Kinematic Chains.pdf Read more about Mechanics and Manipulation of Planar Elastic Kinematic Chains.pdf