1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)

The 19th IEEE International Conference on Engineering of Complex Computer Systems

Abstract: Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-­‐form analytical solutions even simple systems. This limitation makes experimentation the primary modality for designing new cyber-­‐physical systems.

Abstract: Cyber Physical Systems have revolutionized manufacturing to the point that next generation component manufacturing is now referred to as “digital manufacturing.” Parts are made based on digital models that are represented by discrete points or meshes in standard file formats such as STL. The difficulty with these representations is that they can become extremely large when high resolution is desired.

Abstract: This grant provides funding for establishing the scientific foundations of a product innovation process that can engage a vastly larger pool of talent to generate new ideas and to create new cyber-physical products. The primary objective is to address fundamental issues pertaining to natural interfaces, behavioral modeling and secure knowledge sharing, with particular emphasis on their integration.