-
CPS: Medium: Collaborative Research: Remote Imaging of Community Ecology via Animal-borne Wireless Networks
September 2011 – August 2017Lead PI: Leonard, Naomi -
-
-
-
CPS: Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems
September 2011 – August 2016Lead PI: Christopher Gill -
CPS: Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems
September 2011 – August 2016Lead PI: Arun Prakash -
Longevity-Oriented Curriculum Enhancement for Cyber-Physical Systems
October 2011 – September 2014Lead PI: Hui Chen -
Securing Mobile Cyber-Physical Systems (CPSs) Against Stealthy Attacks
January 2012 – February 2015Lead PI: Mina Guirguis -
New, GK-12: CYBER-Alaska- Training Tomorrow's Engineers in Cyber-Physical Systems (CYBER: Creating Young Brilliant Engineers and Researchers)
September 2011 – August 2016Lead PI: Orion Lawlor -
CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems
May 2013 – April 2019Lead PI: Jonathan Sprinkle -
CPS: Synergy: Collaborative Research: Cognitive Green Building: A Holistic Cyber-Physical Analytic Paradigm for Energy Sustainability
January 2015 – December 2017Lead PI: Thomas Hou -
CPS: Breakthrough: Energy and Delay: Network Optimization in Cyber Physical Human Sensing Systems
January 2015 – December 2019Lead PI: Urbashi Mitra -
CPS: Synergy: Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices
December 2012 – November 2016Lead PI: Pietro Valdastri -
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
October 2012 – September 2016Lead PI: John Hatcliff -
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
August 2014 – July 2019Lead PI: Georgios Fainekos -
CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms
October 2014 – September 2017Lead PI: Sriram Sankaranarayanan -
CPS: Synergy: Collaborative Research: Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures
January 2015 – December 2017Lead PI: Saman Aliari Zonouz -
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
December 2014 – August 2019Lead PI: Scott Smolka -
CPS: Breakthrough: Safe Protocols in Cyber-Physical Systems (CPS)
October 2013 – September 2016Lead PI: Nicholas Maxemchuk -
CPS: Synergy: Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop
October 2012 – September 2015Lead PI: Francesco Borrelli -
CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems
October 2013 – September 2016Lead PI: Jason Rife -
CPS: Synergy: Collaborative Research: Harnessing the Automotive Infoverse
October 2013 – September 2019Lead PI: Ramesh Govindan -
CPS: Synergy: Collaborative Research: Formal Design of Semi-Autonomous Cyber-Physical Transportation Systems
November 2012 – October 2016Lead PI: Domitilla Del Vecchio -
CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems
January 2015 – December 2017Lead PI: Georgios Fainekos