Канал: Resilient Cyber-Physical Systems Lab

Keynote presentation: Towards Secure, Safe, and Resilient Learning-Enabled IoT

Keynote presentation: Towards Secure, Safe, and Resilient Learning-Enabled IoT

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems - CDC2020

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems - CDC2020

Secure State Estimation using Satisfiability Modulo Convex Optimization (cruise control)

Secure State Estimation using Satisfiability Modulo Convex Optimization (cruise control)

Secure State Estimation using Satisfiability Modulo Convex Optimization

Secure State Estimation using Satisfiability Modulo Convex Optimization

SMC-based Linear temporal logic motion planning for teams of robots

SMC-based Linear temporal logic motion planning for teams of robots

SMC-based Linear temporal logic motion planning for teams of robots

SMC-based Linear temporal logic motion planning for teams of robots

LTL Motion Planning using Satisfiability Modulo Convex Programming

LTL Motion Planning using Satisfiability Modulo Convex Programming

Non-invasive Spoofing Attacks for Anti-lock Braking Systems

Non-invasive Spoofing Attacks for Anti-lock Braking Systems

DoS-Resilient Multi-Robot Temporal Logic Motion Planning

DoS-Resilient Multi-Robot Temporal Logic Motion Planning