This workshop on Mathematical Foundations of Open Systems explores new research directions towards a logical/mathematical foundation for modeling the behavior of dynamic open systems that evolve over time through self-organization, regulation, and adaptation to changing environments and structures. Such a framework should provide a unified approach for obtaining an advanced understanding of natural systems, the ability to fix and modify them, and to design cyber-physical systems (CPS) in principled ways using new notions of control and coordination. The workshop, held May 23-25, 2010, Philadelphia, PA, is supported by the NSF and other agency members of the interagency coordinating group on High Confidence Software and Systems.

This award supports the first Summer School on Cyber-Physical Systems, held at the Georgia Institute of Technology, Atlanta, Georgia, June 22-25, 2009. NSF funds support outreach and enable the participation of US graduate students and early career faculty in this international event. Cyber Physical Systems (CPS) are systems that rely on a tight integration of computation, communication, and controls, for their operation and interaction with the physical environment in which they are deployed. Such systems must be able to operate safely, dependably, securely, efficiently and in real-time, in potentially highly uncertain or unstructured environments. CPS are expected to have great technical, economic and societal impacts in the near future. The objective of the Georgia Tech Summer School on Cyber-Physical Systems is to establish a forum for intellectual exchange on CPS science and technology for researchers from industry and academia. The format of the Summer School is a five-day meeting, organized around the different aspects of Cyber Physical Systems. The topical areas covered include: formal methods, distributed embedded systems, networked control systems, embedded software, scheduling, platforms, and applications.

The focus of this project is the efficient implementation of multiple control and non-control automotive applications in a distributed embedded system (DES) with a goal of developing safe, dependable, and secure Automotive CPS. DES are highly attractive due to the fact that they radically enhance the capabilities of the underlying system by linking a range of devices and sensors and allowing information to be processed in unprecedented ways. Deploying control and non-control applications on a modern DES, which uses advanced processor and communication technology, introduces a host of challenges in their analysis and synthesis, and leads to a large semantic gap between models and their implementation. This gap will be filled via the development of a novel CPS architecture by stitching together common fundamental principles of multimodality from real-time systems and related notions of switching in control theory and integrating them into a co-design of real-time platforms and adaptive controllers. This architecture will be validated at the Toyota Technical Center in the context of engine control and diagnostics. The results of this project will provide the science and technology for a foundation in any and all infrastructure systems ranging from finance and energy to telecommunication and transportation where distributed embedded systems are present. In addition to training the graduate and undergraduate students, and mentoring a post-doctoral associate who will gain multi-domain expertise in advanced control, real-time computation and communication, and performance analysis, an inter-school graduate and an integrated summer course will be developed on control in embedded systems and combined with on-going outreach programs at MIT and UPenn for minority and women undergraduate students and K-12 students.