CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems
Lead PI:
Andre Platzer
Co-PI:
Abstract
The objective of this research is to address fundamental challenges in the verification and analysis of reconfigurable distributed hybrid control systems. These occur frequently whenever control decisions for a continuous plant depend on the actions and state of other participants. They are not supported by verification technology today. The approach advocated here is to develop strictly compositional proof-based verification techniques to close this analytic gap in cyber-physical system design and to overcome scalability issues.
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: 09/01/2009 - 08/31/2014
Institution: Carnegie-Mellon University
Sponsor: National Science Foundation
Award Number: 0931985
Project URL
Project URL
CPS: Small: Collaborative Research: Foundations of Cyber-Physical Networks
Lead PI:
Jiawei Han
Abstract
The objective of this research is to investigate the foundations, methodologies, algorithms and implementations of cyberphysical networks in the context of medical applications.
Performance Period: 09/01/2009 - 08/31/2012
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 0931975
CPS: Small: Collaborative Research: Foundations of Cyber-Physical Networks
Lead PI:
John Stankovic
Abstract
The objective of this research is to investigate the foundations, methodologies, algorithms and implementations of cyberphysical networks in the context of medical applications.
Performance Period: 09/01/2009 - 08/31/2012
Institution: University of Virginia Main Campus
Sponsor: National Science Foundation
Award Number: 0931972
CPS: Small: Sensor Network Information Flow Dynamics
Lead PI:
Mehdi Khandani
Abstract
The objective of this research is to develop numerical techniques for solving partial differential equations (PDE) that govern information flow in dense wireless networks. Despite the analogy of information flow in these networks to physical phenomena such as thermodynamics and fluid mechanics, many physical and protocol imposed constraints make information flow PDEs unique and different from the observed PDEs in physical phenomena.
Performance Period: 10/01/2009 - 12/31/2014
Institution: University of Maryland College Park
Sponsor: National Science Foundation
Award Number: 0931957
CPS: Small: Collaborative Research: Fault Diagnosis and Prognosis in a Network of Embedded Systems in Automotive Vehicles
Lead PI:
Krishna Pattipati
Abstract
The objectives of this research are to design a heterogeneous network of embedded systems so that faults can be quickly detected and isolated and to develop on-line and off-line fault diagnosis and prognosis methods. Our approach is to develop functional dependency models between the failure modes and the concomitant monitoring mechanisms, which form the basis for failure modes, effects and criticality analysis, design for testability, diagnostic inference, and the remaining useful life estimation of (hardware) components.
Performance Period: 09/01/2009 - 08/31/2012
Institution: University of Connecticut
Sponsor: National Science Foundation
Award Number: 0931956
Project URL
CPS: Medium: Embedded Fault Detection for Low-Cost, Safety-Critical Systems
Lead PI:
Gary Balas
Co-PI:
Abstract
The objective of this research is to bring high levels of system reliability and integrity to application domains that cannot afford the cost, power, weight, and size associated with physical redundancy. The approach is to develop complementary monitoring algorithms and novel computing architectures that enable the detection of faults. In particular, there is a significant opportunity to reduce the reliance on physical redundancy by combining model-based and data-driven monitoring techniques.
Performance Period: 10/01/2009 - 09/30/2014
Institution: University of Minnesota-Twin Cities
Sponsor: National Science Foundation
Award Number: 0931931
CPS: Small: Collaborative Research: Establishing Integrity in Dynamic Networks of Cyber Physical Devices
Lead PI:
Trent Jaeger
Abstract
The objective of this research is to develop energy-efficient integrity establishment techniques for dynamic networks of cyber physical devices. In such dynamic networks, devices connect opportunistically and perform general-purpose computations on behalf of other devices. However, some devices may be malicious in intent and affect the integrity of computation. The approach is to develop new trust establishment mechanisms for dynamic networks.
Performance Period: 09/01/2009 - 08/31/2013
Institution: Pennsylvania State Univ University Park
Sponsor: National Science Foundation
Award Number: 0931914
Abstract
The objective of this research is to discover new fundamental principles, design methods, and technologies for realizing distributed networks of sub-cm3, ant-sized mobile micro-robots that self-organize into cooperative configurations. The approach is intrinsically interdisciplinary and organized along four main thrusts: (1) Algorithms for distributed coordination and control under severe power, communication, and mobility constraints. (2) Electronics for robot control using event-based communication and computation, ultra-low-power radio, and adaptive analog-digital integrated circuits.
Performance Period: 10/01/2009 - 09/30/2014
Institution: University of Maryland College Park
Sponsor: National Science Foundation
Award Number: 0931878
CPS: Small: Mathematical, Computational, and Perceptual Foundations for Interactive Cyber-Physical Systems
Lead PI:
Timothy Bretl
Abstract
The objective of this research is to create interfaces that enable people with impaired sensory-motor function to control interactive cyber-physical systems such as artificial limbs, wheelchairs, automobiles, and aircraft. The approach is based on the premise that performance can be significantly enhanced merely by warping the perceptual feedback provided to the human user. A systematic way to design this feedback will be developed by addressing a number of underlying mathematical and computational challenges. The intellectual merit lies in the way that perceptual feedback is constructed.
Performance Period: 09/01/2009 - 08/31/2013
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 0931871
Abstract
The objective of this research is to develop a theory of ActionWebs, that is, networked embedded sensor-rich systems, which are taskable for coordination of multiple decision-makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.
Claire Tomlin
Claire Tomlin is a Professor of Electrical Engineering and Computer Sciences at the University of California at Berkeley, where she holds the Charles A. Desoer Chair in Engineering. She held the positions of Assistant, Associate, and Full Professor at Stanford from 1998-2007, and in 2005 joined Berkeley. She received the Erlander Professorship of the Swedish Research Council in 2009, a MacArthur Fellowship in 2006, and the Eckman Award of the American Automatic Control Council in 2003. She works in hybrid systems and control, with applications to air traffic systems, robotics, and biology.
Performance Period: 09/15/2009 - 08/31/2016
Institution: University of California at Berkeley
Sponsor: National Science Foundation
Award Number: 0931843
Project URL
Project URL