Tentative Conference Program
April 13, 2010
...
April 14, 2010
...
April 15, 2010
...
|
09:00
|
CPS Week Plenary Speaker, Prof. Jack Stankovic, University of Virginia
|
|
10:00
|
Break
|
|
10:30
|
Emerging CPS Applications Workshop
|
|
12:00
|
Lunch
|
|
13:30
|
Emerging CPS Applications Workshop
|
|
15:00
|
Break
|
|
15:30
|
Industry Panel: Industrial Challenges in Cyber Physical Systems
|
Tentative Session Info
Session 1: Foundations of CPS
-
"Mathematical Equations as Executable Models of Mechanical Systems",
Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Marcia O’Malley, Robert Cartwright, Aaron Ames and Raktim Bhattacharya (Rice University and Texas A&M)
-
"Automatic Abstraction for Verification of Cyber-Physical Systems",
Robert Thacker, Kevin Jones, Chris Myers and Hao Zheng (University of Utah and University of Florida)
-
"Synthesizing Switching Logic for Safety and Dwell-Time Requirements",
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia and Ashish Tiwari (University of California at Berkeley, Microsoft Research and SRI International)
Session 2: Infrastructural Elements for CPS
-
"Bundle: A Group Based Programming Abstraction for Cyber Physical
Systems",
Pascal A. Vicaire, Enamul Hoque, Zhiheng Xie and John A. Stankovic (University of Virginia at Charlottesville)
-
"A Reduced Complexity Design Pattern For Distributed Hierarchical C&C
System",
Heechul Yun, Po-Liang Wu, Maryam Rahmaniheris, Cheolgi Kim and Lui Sha (University of Illinois at Urbana Champaign)
-
"A Concept Lattice-based Event Model for Cyber-Physical Systems",
Ying Tan, Mehmet C. Vuran, Steve Goddard, Yue Yu, Miao Song and Shangping Ren (University of Nebraska at Lincoln and Illinois Institute of Technology)
Session 3: Design, Correctness and Security
-
"Robustness Analysis for the Certification of Digital Controller
Implementations",
Jerome Le Ny and George Pappas (University of Pennsylvania)
-
"Time-Based Intrusion Detection in Cyber-Physical Systems",
Christopher Zimmer, Balasubramanya Bhat, Frank Mueller and Sibin Mohan (North Carolina State University and University of Illinois at Urbana Champaign)
-
"Cyber-Physical Co-Design of Distributed Structural Health Monitoring
With Wireless Sensor Networks",
Gregory Hackmann, Weijun Guo, Guirong Yan, Chenyang Lu and Shirley Dyke (Washington University of St. Louis and Purdue University)
Session 4: Medical CPS
-
"Integrating Neuromuscular and Cyber Systems for Neural Control of
Artificial Legs",
He Huang, Yan Sun, Qing Yang, Fan Zhang, Xiaorong Zhang, Yuhong Liu, Jin Ren and Fabian Sierra (University of Rhode Island)
-
"Toward Patient Safety in Closed-Loop Medical Device Systems",
David Arney, Miroslav Pajic, Julian Goldman, Insup Lee, Rahul Mangharam and Oleg Sokolsky (University of Pennsylvania and MGH/CIMIT)
-
"A Framework for the Safe Interoperability of Medical Devices in the
Presence of Connection Failures",
Cheolgi Kim, Mu Sun, Sibin Mohan, Heechul Yun, Abdullah Al-Nayeem, Lui Sha and Tarek Abdelzaher (University of Illinois at Urbana Champaign)
Session 5: Automotive and Energy CPS
-
"Dependable, Efficient, Scalable Architecture for Management of
Large-scale Batteries",
Hahnsang Kim and Kang G. Shin (University of Michigan at Ann Arbor)
-
"A Cyber-Physical Systems Approach to Energy Management in Data
Centers",
Luca Parolini (Carnegie Mellon University), Niraj Tolia (Hewlett-Packard Research), Bruno Sinopoli and Bruce H. Krogh (Carnegie Mellon University)
-
"Design of Cooperative Vehicle Safety Systems based on Tight Coupling
of Communication, Computing and Physical Vehicle Dynamics",
Yaser P. Fallah, ChingLing Huang, Raja Sengupta (University of California at Berkeley) and Hariharan Krishnan (General Motors R&D)
-
"MEC-IDC: Joint Load Balancing and Power Control for Distributed
Internet Data Centers in Multi-Electricity Markets",
Lei Rao, Xue Liu (McGill University), Marija Ilic (Carnegie Mellon University) and Jie Liu (Microsoft Research)
Session 6: Sensor Networks in CPS
-
"Sensor Placement for Lifetime Maximization in Monitoring Oil
Pipelines",
Yifeng Guo, Fanxin Kong, Dakai Zhu, Ali Tosun and Qingxu Deng (University of Texas at San Antonio and George Mason University)
-
"Cyber-Physical Systems for Real-Time Hybrid Structural Testing: A
Case Study",
Huang-Ming Huang, Xiuyu Gao, Terry Tidwell, Christopher Gill, Chenyang Lu and Shirley Dyke (Washington University of St. Louis)
-
"(CPS)^2: Integration of Center Pivot Systems with Wireless
Underground Sensor Networks for Autonomous Precision Agriculture",
Agnelo Silva and Mehmet Vuran (University of Nebraska at Lincoln)
-
"Congestion Control for Spatio-temporal Data in Cyber-physical
Systems",
Hossein Ahmadi, Tarek Abdelzaher and Indranil Gupta (University of Illinois at Urbana Champaign)