Projects | ISIS Website

Projects

Advanced Search

Title

PI

Co-PI

Status

Archived

Search

Core Area

View Project

Resilient Information Architecture Platform for Smart Grid (RIAPS)

2016 – 2021

PI: Gabor Karsai
View Project

Understandable and Reusable Formal Verification for Cyber-Physical Systems

2018 – 2021

PI: Taylor Johnson
View Project

TRANSAX: Blockchain-based Middleware for Transactive Energy Systems

2016 – 2021

PI: Abhishek Dubey
View Project

Spatio-Temporal AI Inference Engines for System-Level Reliability

2019 – 2020

PI: Abhishek Dubey
View Project

CPS: Small: Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems: REU Supplemental Funding Request

2017 – 2020

PI: Xenofon Koutsoukos
View Project

Adaptive Constraints Satisfaction in Flight Test Configuration (SIFT)

2017 – 2020

PI: Theodore Bapty
View Project

DARPA Spectrum Challenges

2013 – 2019
View Project

Varian - Industrial Internet Architect

2014 – 2018

PI: Douglas Schmidt
View Project

Time Synchronization
View Project

The Virtual Organization for Cyber-Physical Research (CPS-VO)

PI: Janos Sztipanovits
View Project

Networked Embedded Systems Technology
View Project

Science of Security Lablet

PI: Xenofon Koutsoukos
View Project

Microgrid Control/Coordination Co-Design (MicroC3)

PI: Gabor Karsai
View Project

Countersniper System
View Project

National Science Foundation Coordination Activities: CPS, S&CC, SaTC, and NRI PI Meetings

PI: Frankie King
View Project

Artificial Intelligence-Powered Decision Support Tools for Integrated Corridor Management

PI: Daniel Work
View Project

Prowler: Probabilistic Wireless Network Simulator
View Project

Mobile Air Quality Monitoring Network
View Project

Message Routing
View Project

Multimodal Target Tracking with Heterogeneous Sensor Networks
View Project

Tracking of Radio Nodes
View Project

Radio Interferometric Localization