Submitted by Anonymous on Wed, 09/30/2015 - 12:08pm
The White House announced a new Smart Cities Initiative Monday, September 14, 2015. The NSF CISE and CISE community have already been playing a crucially important role in laying the foundation for this initiative, which creates enormous opportunities for unlocking “smart” new solutions to improve the quality of life in cities and communities throughout the Nation.
The NSF CPS Program is specifically highlighted in the initiative.
Submitted by Anonymous on Fri, 09/18/2015 - 12:15pm
14th IFAC Symposium on Control in Transportation Systems (CTS 2016)
Considering your research in related areas, we kindly invite you to the 14th IFAC Symposium on Control in Transportation Systems (CTS 2016) that will take place in Istanbul, Turkey on 18-20 May, 2016. Considering its unique integration of historical, cultural and architectural masterpieces that reflect the meeting of Europe and Asia for many centuries, Istanbul, which is historically known as Byzantium and Constantinople, is specially chosen as the conference venue.
Abstract: Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation.
Abstract: Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication and control along with physical dynamics, which are traditionally considered separately. Without a comprehensive modeling formalism, model-based development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software design, networking design, physical models, and protocol design.
