CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems |
Qi Zhu |
|
|
Jan 1 2018 - Dec 31 2020 |
1834701 |
insufficient privileges |
CPS: Small: Recovery Algorithms for Dynamic Infrastructure Networks |
Hamsa Balakrishnan |
|
CPS Domains, Modeling, Critical Infrastructure, Foundations |
Nov 1 2017 - Oct 31 2020 |
1739505 |
insufficient privileges |
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems |
Yier Jin |
|
|
Oct 26 2017 - Sep 30 2021 |
1818500 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems |
Ufuk Topcu |
Isil Dillig Scott Fish Constantine Caramanis |
|
Oct 1 2017 - Sep 30 2020 |
1646522 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems |
Alberto Sangiovanni Vincentelli |
|
|
Oct 1 2017 - Sep 30 2020 |
1645964 |
insufficient privileges |
CPS: Small: Collaborative Research: Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems |
Margaret Martonosi |
|
|
Oct 1 2017 - Sep 30 2020 |
1739674 |
insufficient privileges |
CPS: Medium: Collaborative Research: Constantly on the Lookout: Low-Cost Sensor Enabled Explosive Detection to Protect High Density Environments |
Chengmo Yang |
|
|
Oct 1 2017 - Sep 30 2020 |
1739390 |
insufficient privileges |
CPS:Small:Collaborative Research: Incentivizing Desirable User Behavior in a Class of CPS |
Vijay Gupta |
|
|
Oct 1 2017 - Sep 30 2020 |
1739295 |
insufficient privileges |
CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems |
Stephane Lafortune |
|
CPS Domains, Design Automation Tools, Control, Energy, Foundations |
Oct 1 2017 - Sep 30 2020 |
1738103 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems |
Mario Sznaier |
|
|
Oct 1 2017 - Sep 30 2020 |
1646121 |
insufficient privileges |
CPS: Medium: Collaborative Research: Constantly on the Lookout: Low-cost Sensor Enabled Explosive Detection to Protect High Density Environments |
Ahmet Cetin |
|
|
Oct 1 2017 - Sep 30 2020 |
1739396 |
insufficient privileges |
NeTS: Small: Leveraging Opportunistic Pushing for CDNs and Mobile Devices |
Aaron Striegel |
|
|
Oct 1 2017 - Sep 30 2019 |
1718400 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems |
Sandipan Mishra |
|
|
Oct 1 2017 - Sep 30 2020 |
1645648 |
insufficient privileges |
CPS: Small: Self-Improving Cyber-Physical Systems |
Susmit Jha |
|
|
Oct 1 2017 - Sep 30 2020 |
1740079 |
insufficient privileges |
CPS: Medium: Collaborative Research: Constantly on the Lookout: Low-cost Sensor Enabled Explosive Detection to Protect High Density Environments |
Alex Orailoglu |
|
|
Oct 1 2017 - Sep 30 2020 |
1739684 |
insufficient privileges |
CPS: TTP Option: Medium: Collaborative Research: Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA |
Mohammad Abdullah Al Faruque |
|
|
Oct 1 2017 - Sep 30 2021 |
1739503 |
insufficient privileges |
CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications |
Sayan Mitra |
Nikita Borisov Geir Dullerud |
|
Oct 1 2017 - Sep 30 2020 |
1739966 |
insufficient privileges |
CPS:Small:Collaborative Research: Incentivizing Desirable User Behavior in a Class of CPS |
Mingyan Liu |
|
|
Oct 1 2017 - Sep 30 2020 |
1739517 |
insufficient privileges |
CPS: Medium: Collaborative Research: Constantly on the Lookout: Low-cost Sensor Enabled Explosive Detection to Protect High Density Environments |
sule ozev |
Jennifer Blain Christen |
|
Oct 1 2017 - Sep 30 2020 |
1739451 |
insufficient privileges |
CPS: TTP Option: Medium: Synthetic, Distributed Sensing, Soft and Modular Tissue (sTISSUE) |
Mark Rentschler |
Nicolaus Correll James Humbert Christoph Keplinger |
|
Oct 1 2017 - Sep 30 2021 |
1739452 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems |
Yisong Yue |
|
|
Oct 1 2017 - Sep 30 2020 |
1645832 |
insufficient privileges |
CPS: Medium: Enabling Multimodal Sensing, Real-time Onboard Detection and Adaptive Control for Fully Autonomous Unmanned Aerial Systems |
Qinru Qiu |
Amit Sanyal Yanzhi Wang Jian Tang Senem Velipasalar |
Control, Wireless Sensing and Actuation, CPS Technologies, Foundations |
Oct 1 2017 - Sep 30 2019 |
1739748 |
insufficient privileges |
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems |
Yier Jin |
Teng Zhang |
Automotive, Certification, CPS Domains, Wireless Sensing and Actuation, Transportation, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2017 - Jan 31 2018 |
1739736 |
insufficient privileges |
Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems |
Xenofon Koutsoukos |
Zhenkai |
CPS Domains, Testing, Defense, Energy, Critical Infrastructure, Health Care, Resilient Systems, Manufacturing, Science of Security, Transportation, Validation and Verification, Foundations |
Oct 1 2017 - Sep 30 2020 |
1739328 |
insufficient privileges |
CPS: TTP Option: Medium: Collaborative Research: Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA |
Philip Brisk |
William Grover Victor G. Rodgers |
|
Oct 1 2017 - Sep 30 2021 |
1740052 |
insufficient privileges |
CPS: Small: Collaborative Research: Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems |
Kelly Shaw |
|
|
Oct 1 2017 - Sep 30 2020 |
1739701 |
insufficient privileges |
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems |
Parasara Sridhar Duggirala |
|
|
Sep 15 2017 - Aug 31 2020 |
1739936 |
insufficient privileges |
CPS: Medium: Modular Power Orchestration at the Meso-scale |
Xuan Zhang |
Christopher D. Gill hgonzale |
|
Sep 15 2017 - Aug 31 2021 |
1739643 |
insufficient privileges |
CPS: Small: A Convex Framework for Control of Interconnected Systems over Delayed Networks |
Matthew Peet |
|
CPS Domains, Networked Control, Control, Modeling, Robotics, Foundations |
Sep 15 2017 - Aug 31 2020 |
1739990 |
insufficient privileges |
CPS: Medium: Integrated control of biological and mechanical power for standing balance and gait stability after paralysis |
Roger Quinn |
Musa Audu Ronald Triolo |
|
Sep 15 2017 - Aug 31 2020 |
1739800 |
insufficient privileges |
CPS: Medium: Cyber Attack-Defense Modeling, Risk and Contingency Analysis for the Power Grid using Game Theory |
Manimaran Govindarasu |
Sourabh Bhattacharya |
|
Sep 15 2017 - Aug 31 2020 |
1739969 |
insufficient privileges |
EAGER: Collaborative Research: Data Science Applications In Cyberphysical Systems for Health |
Clifford Dacso |
Bokai Zhu |
|
Sep 15 2017 - Aug 31 2019 |
1703170 |
insufficient privileges |
EAGER: Collaborative Research: Data Science Applications In Cyberphysical Systems for Health |
Athanasios Antoulas |
|
|
Sep 15 2017 - Aug 31 2019 |
1701292 |
insufficient privileges |
CPS: Medium: Leveraging Honey Bees as Bio-Cyber Physical Systems |
Kirstin Petersen |
Alyosha Molnar |
|
Sep 1 2017 - Aug 31 2020 |
1739671 |
insufficient privileges |
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security |
Alberto Sangiovanni Vincentelli |
saseshia |
Architectures, Automotive, CPS Domains, Design Automation Tools, Transportation, Validation and Verification, CPS Technologies |
Sep 1 2017 - Aug 31 2020 |
1739816 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System |
Pamela Murray-Tuite |
|
|
Sep 1 2017 - Dec 31 2019 |
1812524 |
insufficient privileges |
CPS: Medium: Collaborative Research: Demand Response & Workload Management for Data Centers with Increased Renewable Penetration |
Rayadurgam Srikant |
|
|
Sep 1 2017 - Aug 31 2020 |
1739189 |
insufficient privileges |
CPS: Medium: Collaborative Research: Demand Response & Workload Management for Data Centers with Increased Renewable Penetration |
Junshan Zhang |
Lei Ying |
|
Sep 1 2017 - Aug 31 2020 |
1739344 |
insufficient privileges |
CPS: TTP Option: Frontier: Collaborative Research: A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury |
Payam Heydari |
Zoran Nenadic An Do |
|
Sep 1 2017 - Aug 31 2022 |
1646275 |
insufficient privileges |
CPS: Medium: Collaborative Research: Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies |
Xiaofeng Wang |
|
Architectures, Modeling, Science of Security, Foundations |
Sep 1 2017 - Aug 31 2020 |
1739886 |
insufficient privileges |
CPS: Medium: Collaborative Research: Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies |
Naira Hovakimyan |
LuiSha Petros Voulgaris |
Architectures, Modeling, Resilient Systems, Foundations |
Sep 1 2017 - Aug 31 2020 |
1739732 |
insufficient privileges |
CPS: TTP Option: Medium: Building a Smart City Economy and Information Ecosystem to Motivate Pro-Social Transportation Behavior |
Alexandros Labrinidis |
Adam Lee
Sera Linardi Mark Magalotti Konstantinos Pelechrini |
|
Sep 1 2017 - Aug 31 2020 |
1739413 |
insufficient privileges |
CPS:Small: Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization |
Kang Shin |
Liang He |
|
Sep 1 2017 - Aug 31 2020 |
1739577 |
insufficient privileges |
CPS: Medium: Collaborative Research: Demand Response & Workload Management for Data Centers with Increased Renewable Penetration |
Steven Low |
|
CPS Domains, Smart Grid, Energy |
Sep 1 2017 - Aug 31 2020 |
1739355 |
insufficient privileges |
CPS: Medium: Collaborative Research: Cyber-Enabled Online Quality Assurance for Scalable Additive Bio-Manufacturing |
Zhenyu Kong |
haibo.zeng Blake Johnson |
|
Sep 1 2017 - Aug 31 2021 |
1739318 |
insufficient privileges |
CPS: Medium: Collaborative Research: An Actuarial Framework of Cyber Risk Management for Power Grids |
Lingfeng Wang |
Wei Wei |
|
Sep 1 2017 - Aug 31 2020 |
1739485 |
insufficient privileges |
CPS: Breakthrough: Collaborative Research: Transactive Control of Smart Railway Grid |
Sudip Mazumder |
|
|
Sep 1 2017 - Aug 31 2019 |
1644874 |
insufficient privileges |
2017 CPS PI Meeting |
Janos Sztipanovits |
KNEW |
CPS Domains, CPS Technologies, Education, Foundations, Science Policy, Research Program Overview |
Sep 1 2017 - Aug 31 2018 |
1743523 |
insufficient privileges |
CPS: TTP Option: Frontier: Collaborative Research: A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury |
Richard Andersen |
|
|
Sep 1 2017 - Aug 31 2022 |
1646307 |
insufficient privileges |
CPS: Small: Cyber-Physical Communication for Cooperative Human-Robot Mobility |
Ella Atkins |
|
Control, Robotics |
Sep 1 2017 - Aug 31 2020 |
1739525 |
insufficient privileges |