Abstract
This project represents a cross-disciplinary collaborative research effort on developing rigorous, closed-loop approaches for designing, simulating, and verifying medical devices. The work will open fundamental new approaches for radically accelerating the pace of medical device innovation, especially in the sphere of cardiac-device design. Specific attention will be devoted to developing advanced formal methods-based approaches for analyzing controller designs for safety and effectiveness; and devising methods for expediting regulatory and other third-party reviews of device designs.
Performance Period: 05/01/2015 - 04/30/2020
Institution: Carnegie-Mellon University
Sponsor: National Science Foundation
Award Number: 1446725
Abstract
In the next few decades, autonomous vehicles will become an integral part of the traffic flow on highways. However, they will constitute only a small fraction of all vehicles on the road. This research develops technologies to employ autonomous vehicles already in the stream to improve traffic flow of human-controlled vehicles. The goal is to mitigate undesirable jamming, traffic waves, and to ultimately reduce the fuel consumption. Contemporary control of traffic flow, such as ramp metering and variable speed limits, is largely limited to local and highly aggregate approaches.
Performance Period: 01/01/2015 - 12/31/2017
Institution: Rutgers University Camden
Sponsor: National Science Foundation
Award Number: 1446715
CPS: Breakthrough: Knowledge-Aware Cyber-Physical Systems
Lead PI:
Andre Platzer
Abstract
This project addresses the foundational problem of knowledge within cyber-physical systems (CPS), i.e., systems that combine aspects such as communication, computation, and physics. A single system observes its environment through sensors and interacts through actuators. Neither is perfect. Thus, the CPS's internal view of the world is blurry and its actions are imprecise. CPS are still analyzed with methods that do not distinguish between truth in the world and an internal view thereof, resulting in a mismatch between the behavior of theoretical models and their real-world counterparts.
Andre Platzer
André Platzer is a Professor of Computer Science at Carnegie Mellon University, Pittsburgh, PA, USA. He develops the Logical Foundations of Cyber-Physical Systems (NSF CAREER). In his research, André Platzer works on logic-based verification and validation techniques for various forms of cyber-physical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. He developed differential dynamic logic and differential invariants and leads the development of the CPS verification tool KeYmaera X.
André Platzer received an ACM Doctoral Dissertation Honorable Mention Award, an NSF CAREER Award, and was named one of the Brilliant 10 Young Scientists by the Popular Science magazine 2009 and one of the AI's 10 to Watch 2010 by the IEEE Intelligent Systems Magazine.
Performance Period: 01/01/2015 - 12/31/2017
Institution: Carnegie-Mellon University
Sponsor: National Science Foundation
Award Number: 1446712
Abstract
In the next few decades, autonomous vehicles will become an integral part of the traffic flow on highways. However, they will constitute only a small fraction of all vehicles on the road. This research develops technologies to employ autonomous vehicles already in the stream to improve traffic flow of human-controlled vehicles. The goal is to mitigate undesirable jamming, traffic waves, and to ultimately reduce the fuel consumption. Contemporary control of traffic flow, such as ramp metering and variable speed limits, is largely limited to local and highly aggregate approaches.
Performance Period: 01/01/2015 - 12/31/2017
Institution: Temple University
Sponsor: National Science Foundation
Award Number: 1446690
CPS: Synergy: Collaborative Research: Control of Vehicular Traffic Flow via Low Density Autonomous Vehicles
Lead PI:
Daniel Work
Abstract
In the next few decades, autonomous vehicles will become an integral part of the traffic flow on highways. However, they will constitute only a small fraction of all vehicles on the road. This research develops technologies to employ autonomous vehicles already in the stream to improve traffic flow of human-controlled vehicles. The goal is to mitigate undesirable jamming, traffic waves, and to ultimately reduce the fuel consumption. Contemporary control of traffic flow, such as ramp metering and variable speed limits, is largely limited to local and highly aggregate approaches.
Performance Period: 01/01/2015 - 12/31/2017
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1446702
CPS: Breakthrough: Compositional Modeling of Cyber-Physical Systems
Lead PI:
Rance Cleaveland
Abstract
Title: CPS: Breakthrough: Compositional Modeling of Cyberphysical Systems
This project is devoted to the discovery of new mathematical modeling techniques for Cyber-Physical Systems. In particular, the research involves devising novel conceptual methods for assembling systems from subsystems, and for reasoning about the behavior of systems in terms of the behavior of their subsystems, which may be computational or physical.
Performance Period: 09/01/2015 - 08/31/2017
Institution: University of Maryland College Park
Sponsor: National Science Foundation
Award Number: 1446665
Abstract
This project represents a cross-disciplinary collaborative research effort on developing rigorous, closed-loop approaches for designing, simulating, and verifying medical devices. The work will open fundamental new approaches for radically accelerating the pace of medical device innovation, especially in the sphere of cardiac-device design. Specific attention will be devoted to developing advanced formal methods-based approaches for analyzing controller designs for safety and effectiveness; and devising methods for expediting regulatory and other third-party reviews of device designs.
Performance Period: 05/01/2015 - 04/30/2020
Institution: Georgia Tech Research Corporation
Sponsor: National Science Foundation
Award Number: 1446675
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
Lead PI:
Rahul Mangharam
Abstract
This project represents a cross-disciplinary collaborative research effort on developing rigorous, closed-loop approaches for designing, simulating, and verifying medical devices. The work will open fundamental new approaches for radically accelerating the pace of medical device innovation, especially in the sphere of cardiac-device design. Specific attention will be devoted to developing advanced formal methods-based approaches for analyzing controller designs for safety and effectiveness; and devising methods for expediting regulatory and other third-party reviews of device designs.
Performance Period: 05/01/2015 - 04/30/2020
Institution: University of Pennsylvania
Sponsor: National Science Foundation
Award Number: 1446664
CPS: Breakthrough: Improving Metropolitan-Scale Transportation Systems with Data-Driven Cyber-Control
Lead PI:
Tian He
Abstract
Traditionally, the design of urban transit services has been based on limited sampling data collected through surveys and censuses, which are often dated and incomplete. Lacking massive online feeds from multiple transit modes makes it hard to achieve real-time equilibrium in demand and supply relationship through cyber-control, which eventually manifests into multiple urban transportation issues: (i) lengthy last-mile transit due to non-supply, (ii) prolonged waiting due to undersupply, and (iii) excessive idle mileage due to oversupply.
Performance Period: 07/01/2015 - 06/30/2019
Institution: University of Minnesota-Twin Cities
Sponsor: National Science Foundation
Award Number: 1446640
Abstract
The project funds the organization of a workshop on "Airborne Networking and Communications". The workshop, colocated with the ACM MobiHoc Symposium, will be held on August 11, 2014, in Philadelphia. The workshop will be the third in a series that started in 2012. Airborne Networking is an emerging area of cyber physical systems - and issues of control, processing, and networking lie at the heart of this field. It is important to build a foundational science to support this area as unmanned vehicles become more prevalent.
Performance Period: 09/01/2014 - 07/31/2016
Institution: University of North Texas
Sponsor: National Science Foundation
Award Number: 1446639