The third NSF/Georgia Tech Summer School on Cyber-Physical Systems (CPS) will be held at the Georgia Tech Atlanta campus on Monday-Wednesday, June 27-29, 2011.
Many thanks to the National Science Foundation for their generous support of this summer school.
Speakers
Registration
Attendance is free but you must register no later than Friday, May 20. To register, please fill out the registration form and email to magnus@ece.gatech.edu or wolf@ece.gatech.edu.
Accommodations and Scholarships
Attendees may receive scholarships to pay for housing on the Georgia Tech campus. To apply, please fill out the scholarship form and email to magnus@ece.gatech.edu or wolf@ece.gatech.edu. no later than Friday, May 20. Program
Programs and Presentations
June 27
8:30-9:00 Registration
9:00-9:30 Opening remarks
9:30-10:30 Janos Sztipanovits, Domain Specific Modeling Languages for CPS: Semantics Perspective
10:30-11:00 Break
11:00-12:00 Janos Sztipanovits, Domain Specific Modeling Languages for CPS: Semantics Perspective
12:00-1:00 Lunch
1:00-2:30 Bruno Sinopoli, TITLE TBD
2:30-3:00 Break
3:00-4:30 Magnus Egerstedt, From Control Specifications to Executions in CPS
4:30-6:00 Poster Session
June 28
9:30-10:30 Samarjit Chakraborty, Algorithm/Architecture Co-Design for Cyber-Physical Systems
10:30-11:00 Break
11:00-12:00 Samarjit Chakraborty, Algorithm/Architecture Co-Design for Cyber-Physical Systems
12:00-1:00 Lunch
1:00-2:30 Pulkit Grover, CPS: the need to look beyond Turing's machine
2:30-3:00 Break
3:00-4:30 Christoph Kirsch, Virtualizing Time, Space, and Power for Cyber-Physical Cloud Computing
4:30-6:00 Santiago Grijalva, Electrical Energy CPS and Smart Grid
6:30-9:00 Social Event at the Georgia Tech Student Center
June 29
9:30-10:30 Fumin Zhang, Modeling of Battery Supported CPS
10:30-11:00 Break
11:00-12:00 Fumin Zhang, Robustness analysis of Battery Supported CPS
12:00-1:00 Lunch
1:00-2:30 Marilyn Wolf, Distributed Cyber-Physical Systems
3:00-4:30 Eric Feron, Cascaded control system design with full proof support
4:30-5:30 Closing reception
|
|
|
