Held during 6-7 July, 2011, and in conjunction with The Seventh International Wireless Communications and Mobile Computing Conference 5-8 July 2011, Istanbul, Turkey.


CyPhy will take place over two days, July 6 and 7, 2011.

Date: Wednesday July 6, 2011

Conference Keynote  (8:30-10:00)

Room: Conference Hall
Speaker: Mario Gerla, UCLA
Title: Vehicular Communications - From Urban Sensing to Traffic Control and Game

Coffee Break (10:00 – 10:30)

Wednesday Morning Session (WM)—(10:30-12:30)

Room: A-101
Session Title: Modeling and Evaluating Networked CyPhy Systems
Session Chair: Abd-Elhamid M. Taha, Queen’s University
  • Exact Response Time of FlexRay Communication Protocol; Lucien Ouedraogo (Iowa State University, USA); Ratnesh Kumar (Iowa State University, USA)
  • Management of PHEV Batteries in the Smart Grid: Towards a Cyber-Physical Power Infrastructure; Melike Erol-Kantarci (University of Ottawa, Canada); Hussein Mouftah (University of Ottawa, Canada)
  • An Approach to Evaluating Usability of VANET Applications; Ciprian Dobre (University POLITEHNICA of Bucharest, Romania); Catalin Fratila (University Politehnica of Bucharest, Romania); Liviu Iftode (Rutgers University, USA)
  • On Robustness of A Class of Cyber-Physical Network Infrastructures; Nageswara Rao (Oak Ridge National Laboratory, USA); Chris Yu Tak Ma (Advanced Digital Sciences Center, Illinois at Singapore, Singapore);David K. Y. K. Y. Yau (Purdue University, USA)
Lunch Break (11:50 – 13:30)

Wednesday Afternoon Session (WA)—(13:30-15:30)

Room: Cinema
Session Title: Realistic Simulation for CyPhy Systems
Session Chair: Abd-Elhamid M. Taha, Queen’s University
  • Methods for real-time simulation of Cyber-Physical Systems: application to automotive domain; Cyril Faure (IFP Energies Nouvelles, France); Mongi Ben-Gaid (IFP Energies Nouvelles, France); Nicolas Pernet (IFP Energies Nouvelles, France);Morgan Fremovici (IFP Energies Nouvelles, France); Grégory Font (IFP Energies Nouvelles, France); Gilles Corde (IFP Energies Nouvelles, France)
  • Mixed continuous/discrete time modelling with exact time adjustments; Kenneth Rovers (University of Twente, The Netherlands); Jan Kuper (University of Twente, The Netherlands); Marcel van de Burgwal (University of Twente, The Netherlands); Andre Kokkeler (University of Twente, The Netherlands); Gerard Smit (University of Twente, The Netherlands)
  • Electric Loads as Real-time tasks: an application of Real-Time Physical Systems; Marco L Della Vedova (University of Pavia, Italy); Tullio Facchinetti (University of Pavia, Italy)
  • Controlled-Mobile Sensing Simulator for Indoor Fire Monitoring; Aveek Purohit (Carnegie Mellon University, USA); Pei Zhang (Carnegie Mellon University, USA

Date: Thursday July 7, 2011

Conference Keynote  (8:30-10:00)

Room: Conference Hall
Speaker: Sajal Das, University of Texas at Arlington
Title: Cyber-Physical and Networked - Challenges and Opportunities

Coffee Break (10:00 – 10:30)

Thursday Morning Session (WA)—(10:30-12:30)

Room: Cinema
Session Title: Languages and Environments for CyPhy Modeling and Design
Session Chair: Walid Taha, Halmstad University
  • Modelica - A Cyber-Physical Modeling Language and the OpenModelica Environment; Peter Fritzson (Linköping University, Sweden)
  • A Model-Based Methodology of Programming Cyber-Physical Systems; Sundeep Chandhoke (National Instruments, USA); Tim Hayles (National Instruments, USA)
  • Correct-by-construction code generation from hybrid automata specification; Davide Bresolin (University of Verona, Italy); Luigi Di Guglielmo (University of Verona, Italy); Luca Geretti (University of Verona, Italy); Tiziano Villa(University of Verona, Italy)
  • A Model-Based Design Methodology for Cyber-Physical Systems; Jeff Jensen (National Instruments, USA); Danica Chang (University of California, Berkeley, USA); Edward Lee (Berkeley, USA)
  • Cyber-Physical Security Using System-Level PUFs; Omar A. Al Ibrahim (Southern Methodist University, USA); Suku Nair (Southern Methodist University, USA)