CPS: TTP Option: Synergy: Collaborative Research: Dependable Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments
Lead PI:
Hai Lin
Co-PI:
Abstract
Driven by both civilian and military applications, such as coordinated surveillance, search and rescue, underwater or space exploration, manipulation in hazardous environments, and rapid emergency response, cooperative actions by teams of robots has emerged as an important research area. However, the coordination strategies for such robot teams are still developed to a great extent by trial-and-error processes. Hence, the strategies cannot guarantee mission success.
Performance Period: 01/01/2015 - 12/31/2017
Institution: University of Notre Dame
Sponsor: National Science Foundation
Award Number: 1446288
CPS: Synergy: Collaborative Research: Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures
Lead PI:
Katherine Davis
Abstract
Trustworthy operation of next-generation complex power grid critical infrastructures requires mathematical and practical verification solutions to guarantee the correct infrastructural functionalities. This project develops the foundations of theoretical modeling, synthesis and real-world deployment of a formal and scalable controller code verifier for programmable logic controllers (PLCs) in cyber-physical settings. PLCs are widely used for control automation in industrial control systems.
Performance Period: 01/01/2015 - 12/31/2017
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1446229
2014 NSF CPS PI Meeting
Janos Sztipanovits
Lead PI:
Janos Sztipanovits
Co-PI:
Abstract
Through this project, the Cyber-Physical System Virtual Organization (CPS-VO) at Vanderbilt University will organize the 2014 NSF CPS PI Meeting. This meeting convenes all Principal Investigators of the National Science Foundation's (NSF) Cyber-Physical Systems Program (CPS) for the fifth time since the program began. The PI Meeting is to take place on November 6-7, 2014 in Crystal City, Arlington, Virginia.
Janos Sztipanovits

Dr. Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University. He is founding director of the Institute for Software Integrated Systems (ISIS). His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber Physical Systems. His other research contributions include structurally adaptive systems, autonomous systems, design space exploration and systems-security co-design technology. He served as  program manager and acting deputy director of DARPA/ITO between 1999 and 2002 and he was member of the US Air Force Scientific Advisory Board between 2006-2010.  He was founding chair of the ACM Special Interest Group on Embedded Software (SIGBED). Dr. Sztipanovits was elected Fellow of the IEEE in 2000 and external member of the Hungarian Academy of Sciences in 2010. He graduated (Summa Cum Laude) from the Technical University of Budapest in 1970 and received his doctorate from the Hungarian Academy of Sciences in 1980.

Performance Period: 09/01/2014 - 08/31/2016
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1446160
CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach
Lead PI:
Murat Arcak
Co-PI:
Abstract
Title: Efficient Traffic Management: A Formal Methods Approach The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.
Performance Period: 01/01/2015 - 12/31/2018
Institution: University of California at Berkeley
Sponsor: National Science Foundation
Award Number: 1446145
CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach
Calin Belta
Lead PI:
Calin Belta
Abstract
Title: Efficient Traffic Management: A Formal Methods Approach The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.
Performance Period: 01/01/2015 - 12/31/2017
Institution: Trustees of Boston University
Sponsor: National Science Foundation
Award Number: 1446151
CPS: Synergy: Adaptive Management of Large Energy Storage Systems for Vehicle Electrification
Kang Shin
Lead PI:
Kang Shin
Co-PI:
Abstract
Large battery systems with 100s/1000s cells are being used to power various physical platforms. For example, automobiles are transitioning from conventional powertrains to (plug-in) hybrid and electric vehicles (EVs). To achieve the desired efficiency of EVs, significant improvements are needed in the architecture and algorithms of battery management. This project will develop a new comprehensive battery management architecture, called Smart Battery Management System (SBMS).
Performance Period: 01/01/2015 - 12/31/2018
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1446117
NSF Early Career Workshop on Exploring New Frontiers in Cyber-Physical Systems
Lead PI:
Sertac Karaman
Abstract
This proposal funds an early-career workshop in Cyber-Physical Systems. The target audience includes late-stage graduate students; postdoctoral fellows; and assistant professors early in their academic careers. The workshop is multidisciplinary, and is designed to focus on foundational CPS ideas applicable across multiple domains such as energy, transportation, and healthcare. The workshop hopes to identify new research directions through brainstorming discussions, plenary talks, and poster sessions.
Performance Period: 06/15/2014 - 06/30/2016
Institution: Massachusetts Institute of Technology
Sponsor: National Science Foundation
Award Number: 1445299
NSF Workshop on Transportation Cyber-Physical Systems - Participant Support
Ragunathan Rajkumar
Lead PI:
Ragunathan Rajkumar
Abstract
This project provides participant support for the 2014 Transportation CPS Workshop, enabling a broad range of leading researchers spanning academia, industry, and government to develop an ambitious research agenda at the intersection of transportation systems and cyber-physical systems, together with a workshop report that crystallizes this agenda.
Performance Period: 04/15/2014 - 03/31/2015
Institution: Carnegie Mellon University
Sponsor: National Science Foundation
Award Number: 1439929
2014 CPS Medical Devices Workshop Travel Support
Lead PI:
Scott Smolka
Abstract
This proposal provides for travel of participants of the 2014 CPS Workshop on Medical Frontiers in Research. The workshop is bringing together multi-disciplinary experts from industry, academia, and government to discuss future CPS research challenges in this space. The participants are expert in the foundational science, engineering, and technology underlying next-generation cyber-physical systems, particularly in the context of the application domain of medicine, including medical devices.
Performance Period: 03/15/2014 - 02/29/2016
Institution: SUNY at Stony Brook
Sponsor: National Science Foundation
Award Number: 1430010
Workshop for Aspiring PIs in Cyber-Physical Systems
Jonathan Sprinkle
Lead PI:
Jonathan Sprinkle
Abstract

This proposal outlines a Workshop for Aspiring PIs in Cyber-Physical Systems. The invitation-only workshop will take place over 1.5 days, and include early-career researchers with interests in cyber-physical systems who have not previously been funded by the NSF CPS solicitation but who have submitted proposals. The workshop will help aspiring PIs understand what NSF (and importantly, the panels convened by NSF) are expecting to see in a successful CPS proposal.

Jonathan Sprinkle

Dr. Jonathan Sprinkle is a Professor of Computer Science at Vanderbilt University. From 2007-2021 he was with the faculty of Electrical and Computer Engineering of the University of Arizona, where he was a Distinguished Scholar and a Distinguished Associate Professor. He served as a Program Director at the National Science Foundation from 2017-2019 in the Computer and Information Science and Engineering Directorate, working with programs such as Cyber-Physical Systems, Smart & Connected Communities, and Research Experiences for Undergraduates.

Performance Period: 01/15/2014 - 06/30/2015
Institution: University of Arizona
Sponsor: National Science Foundation
Award Number: 1419419
Subscribe to