Abstract: This 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. The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between  different features.

Abstract:  The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components.

Abstract:  While driving on your favorite route to your destination, have you ever wondered why the technology you are seeing as far as traffic management is concerned is so antiquated? My answer to that is the people and organization that manage the traffic are not “cyber-physicists” and Google does not run our traffic lights.

Self-Awareness in Cyber-Physical Systems A CPS Week Workshop in frame of CPSWeek 2016 DESCRIPTION:

1st IFAC/IFIP Workshop on Computers and Control (WOCO 2016) Sponsored and Organised by IFAC TC3.1 Technical Committee on Computers for Control Co-Sponsored by IFIP WG 10.5 Design and Engineering of Electronic Systems WOCO 2016 is the first IFAC Workshop on Computer and Control following previous workshops organized by IFAC Technical Committee 3.3 as Workshop on Real-Time Programming (WRTP) and Algorithms and Architectures for Real-Time Control (AARTC) that were successfully organised during 30 editions.

5th Mediterranean Conference on Embedded Computing  (MECO’2016) Bar, Montenegro  | June 12-16, 2016 | http://embeddedcomputing.me

Abstract: Overview: 

INDIN 2016 IEEE International Conference on Industrial Informatics Sponsored by: IEEE Industrial Electronics Society and Pprime Institute, Futuroscope-Poitiers, France INDIN2016  is 14th International Conference on Industrial Informatics sponsored by the Industrial Electronics Society of the IEEE. The  premier  conference  series  presenting  the  state  of  the  art  and  future  perspectives  of industrial information  technologies.

Abstract:  This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level.

Abstract: Following Smart Cities Initiative from White House, this project was aimed to address urban transportation challenges through ridership sharing in both time and space across different transportation modes. Our research project is uniquely built upon large-scale urban infrastructure systems across different cities in the world, including NYC, Washington D.C., San Francisco, Rome, Beijing, Shanghai and Shenzhen.