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)
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)