Beyond SCADA: Cyber Physical Systems Meeting (HCSS-NEC4CPS)
November 8 & 9, 2006, Pittsburgh, Pennsylvania
Working Group Session III
|
| 1. (18) Networked
Control Systems Research: A brief Discussion of Challenges and Opportunities
|
| |
P.
Antsaklis |
| 2. (20) High
Confidence Powertrain Control Software Development |
| |
H. Yazarel, T. Kaga, and K.
Butts |
| 3. (16) Modeling
of Verification of Distributed Cyber-Physical Systems: Challenges, Research |
| Needs,
and Possible Roadmap |
| |
D.M. Tilbury |
| 4. (4) Cyber-Physical
Systems Distributed Control: The Advanced Electric Power Grid |
| |
B. Mc Millin, C. Gill, M. L.
Crow, F. Liu, D. Niehaus, A. Potthast, and D. Tauritz |
| 5. (8) Embedded
Sensor Network for Secure Electric Energy Infrastructure |
| |
V. Vittal and G. Manimaran |
| 6. (23) The
Role of Synchronized Wide Area Measurements for Electric Power Grid Operations |
| |
J. Dagle and M. Hadley |
| 7. (21) On
Performance Metrics for Guaranteed QOS in Industrial Networked Embedded
Sensing & |
| Control
Systems: Systems issues, Challenges and Needs |
| |
T. Kuruganti and W. Manges |
| 8. (1) Network
Control for Cyber Physical Systems: Position Paper |
| |
M. Dahleh, E. Frazzolli, A.
Megretski, S. Mitter, A. Ozdaglar, P. Parrilo and D. Shah |
| 9. (14) Design
of Integrated Networked Embedded and Dynamical Systems |
| |
A. Banaszuk, C. A. Jacobson,
J. Marsden, I. Mezic and A. Sangiovanni-Vincentelli |
| 10. (6) New
Methods in Developing Large-scale Distributed High-confidence Real-time
System |
| |
M. Feldman, A. Fiksel and Al
Portnoy |
| 11. (25) Model-Based
Software Tool Suite for the Design of Networked Embedded Control Systems |
| |
T. J. Koo |
| 12. (31) Networked
Embedded Systems |
| |
P. J. Mosterman |
| 13. (17) Verification
and Integration of Real-Time Control Software |
| |
R. Alur |