Abstract: The project is a collaborative effort between the University of Pennsylvania and Washington University, St. Louis. The project has started in September 2013. The project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these features within system platform architectures.

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.

Abstract: Cyber-Physical Systems (CPS) encompass a large variety of systems including example future energy systems (e.g. smart grid), homeland security and emergency response, smart medical technologies, smart cars and air transportation. One of the most important challenges in the   design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control.

Abstract: The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

Abstract: Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.

Abstract: Cyber-Physical Systems (CPS) are deployed in a wide variety of safety critical applications from avionics, medical, and automotive domains. For these applications, it is essential to create a precise specification and formally verify that the implementation behaves as specified. The formal verification of these systems presents a wide variety of challenges. Models of these systems must represent the physical world, analog sensors and actuators, computer hardware and software, networks, and feedback control.

Abstract: Fault tolerance is vital to ensuring the integrity and availability of safety critical systems. Current solutions are based almost exclusively on physical redundancy at all levels of the design. The use of physical redundancy, however, dramatically increases system size, complexity, weight, and power consumption.