Georgia Tech Summer School on Cyber-Physical Systems


 

 

When: June 22-26, 2009

Where: Georgia Tech Atlanta Campus

Who: Researchers from Industry and Academia

 

 


Note: On Monday, June 8, the registration will closed and all those registsered will be informed about the logistics of the CPS school. Also, we are having some (minor) issues with the housing, but those will also be resolved by Monday, June 8. Stay tuned...

SUMMER SCHOOL SCHEDULE

DAY 1 - JUNE 22
8:00-8:45 Registration
8:45-9:00 Opening remarks
9:00-10:30 Bruce Krogh
Reachable Set Computations for Verification of Hybrid Systems
10:30-11:00 Break
11:00-12:00 Bruce Krogh
Reachable Set Computations for Verification of Hybrid Systems
12:00-1:30 Lunch
1:30-3:00 Rajeev Alur
Interfaces for Control Components
3:00-3:30 Break
3:30-5:00 Eric Feron
Verification/Validation of Control Systems Software

DAY 2 - JUNE 23
9:00-10:30 John Stankovic
Wireless Sensor Networks - A Platform for CPS
10:30-11:00 Break
11:00-12:00 John Stankovic
Wireless Sensor Networks - A Platform for CPS
12:00-1:30 Lunch
1:30-3:00 Insup Lee
Compositional Real-Time Schedulability Analysis
3:00-3:30 Break
3:30-5:00 Philip Koopman
Deeply Embedded System Security and Survivability

DAY 3 - JUNE 24
9:00-10:30 Nikil Dutt
Integrating End-to-End and Cross-Layer Optimizations for Cyber-Physical Systems
10:30-11:00 Break
11:00-12:00 Nikil Dutt
Integrating End-to-End and Cross-Layer Optimizations for Cyber-Physical Systems
12:00-1:30 Lunch
1:30-3:00 Raj Rajkumar
Scalable Sensor-Actuation Networks
3:00-3:30 Break
3:30-5:00 Magnus Egerstedt
Network Models for Decentralized Control

DAY 4 - JUNE 25
9:00-10:30 Wayne Wolf
Platforms, Performance, and Power
10:30-11:00 Break
11:00-12:00 Wayne Wolf
Platforms, Performance, and Power
12:00-1:30 Lunch
1:30-3:00 Bonnie Heck
Low-Level Interactions and Feedback Mechanisms
3:00-3:30 Break
3:30-4:30 Panel discussion

DAY 5 - JUNE 26
9:00-10:30 Paulo Tabuada
Methods for Correct-by-design Synthesis of Embedded Control Software
10:30-11:00 Break
11:00-2:00 Paulo Tabuada
Methods for Correct-by-design Synthesis of Embedded Control Software
12:00-1:30 Lunch
1:30-3:00 Fumin Zhang
Hybrid Models for Battery Supported CPS
3:00-3:15 Closing remarks



Introduction

Speakers

Registration

Accomodations

Scholarships

 

 

Cyber Physical Systems (CPS) are systems that rely on a tight integration of computation, communication, and controls, for their operation and interaction with the physical environment in which they are deployed. Such systems must be able to operate safely, dependably, securely, efficiently and in real-time, in potentially highly uncertain or unstructured environments. CPS are expected to have great technical, economic and societal impacts in the near future.

 

The Georgia Tech Summer School on Cyber-Physical Systems aims at bringing together researchers from industry and academia. The format of the Summer School will be a five-day meeting, organized around different aspects of Cyber Physical Systems. The topical areas to be covered are:

 

  • Formal Methods
  • Distributed, Embedded Systems
  • Networked Control Systems
  • Embedded Software
  • Scheduling
  • Platforms
  • Applications

 

 

Organizers: Magnus Egerstedt and Wayne Wolf

 

Speakers:

  • Rajeev Alur (UPenn)
  • Nikil Dutt (UC Irvine)
  • Magnus Egerstedt (Georgia Tech)
  • Eric Feron (Georgia Tech)
  • Bonnie Heck Ferri (Georgia Tech)
  • Phil Koopman (CMU)
  • Bruce Krogh (CMU)
  • Insup Lee (UPenn)
  • John A Stankovic (University of Virginia)
  • Paulo Tabuada (UCLA)
  • Wayne Wolf (Georgia Tech)
  • Fumin Zhang (Georgia Tech)

 

Registration

Attendance to the CPS Summer School is FREE!

However, you will need to register your attendance, using the following form:

 

The registration package will include access to the Summer School and the materials presented in the lectures, as well participation in the social activities associated with the Summer School.

 

The filled out registration form should be sent directly to Magnus Egerstedt (magnus@ece.gatech.edu) or Wayne Wolf (wolf@ece.gatech.edu) before June 1, 2009. Note that the total number of participants to the CPS Summer School is limited so a first-come first-serve approach will be used if the number of applications exceeds the limit.

 

Accommodations

We are currently working on resolving the housing issues. More information will be posted shortly.

 

Scholarships

It is expected that a scholarship will be available to pay for the accommodations for students at US institutions. Participants interested in applying for this scholarship should fill out the following form:

 

Note that the form must be accompanied by a supporting letter. If the applicant is a student, this letter must be written by a faculty advisor. If the applicant is a faculty/industry researcher, this letter must be written by a Department Chair/Research Manager. The applications should be sent to the Summer School organizers.