Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By ACM Press

9781450300667

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesizing switching logic for safety and dwell-time requirements

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795198 ◽

2010 ◽

Author(s):

Susmit Jha ◽

Sumit Gulwani ◽

Sanjit A. Seshia ◽

Ashish Tiwari

Keyword(s):

Time Requirements

Download Full-text

Cyber-physical codesign of distributed structural health monitoring with wireless sensor networks

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795211 ◽

2010 ◽

Author(s):

Gregory Hackmann ◽

Weijun Guo ◽

Guirong Yan ◽

Chenyang Lu ◽

Shirley Dyke

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Structural Health Monitoring ◽

Health Monitoring ◽

Wireless Sensor ◽

Structural Health

Download Full-text

A cyber-physical systems approach to energy management in data centers

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795218 ◽

2010 ◽

Author(s):

Luca Parolini ◽

Niraj Tolia ◽

Bruno Sinopoli ◽

Bruce H. Krogh

Keyword(s):

Energy Management ◽

Data Centers ◽

Systems Approach ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Integrating neuromuscular and cyber systems for neural control of artificial legs

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795213 ◽

2010 ◽

Author(s):

He Huang ◽

Yan (Lindsay) Sun ◽

Qing Yang ◽

Fan Zhang ◽

Xiaorong Zhang ◽

...

Keyword(s):

Download Full-text

A concept lattice-based event model for Cyber-Physical Systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795202 ◽

2010 ◽

Author(s):

Ying Tan ◽

Mehmet C. Vuran ◽

Steve Goddard ◽

Yue Yu ◽

Miao Song ◽

...

Keyword(s):

Concept Lattice ◽

Cyber Physical Systems ◽

Physical Systems ◽

Download Full-text

Bundle

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795200 ◽

2010 ◽

Author(s):

Pascal A. Vicaire ◽

Enamul Hoque ◽

Zhiheng Xie ◽

John A. Stankovic

Download Full-text

Dependable, efficient, scalable architecture for management of large-scale batteries

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795219 ◽

2010 ◽

Author(s):

Hahnsang Kim ◽

Kang G. Shin

Keyword(s):

Large Scale ◽

Scalable Architecture

Download Full-text

Mathematical equations as executable models of mechanical systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795196 ◽

2010 ◽

Author(s):

Yun Zhu ◽

Robert Cartwright ◽

Aaron Ames ◽

Raktim Bhattacharya ◽

Edwin Westbrook ◽

...

Keyword(s):

Mechanical Systems ◽

Mathematical Equations ◽

Executable Models

Download Full-text

Automatic abstraction for verification of cyber-physical systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795197 ◽

2010 ◽

Author(s):

Robert A. Thacker ◽

Kevin R. Jones ◽

Chris J. Myers ◽

Hao Zheng

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Automatic Abstraction

Download Full-text

Cyber-physical systems for real-time hybrid structural testing

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 ◽

10.1145/1795194.1795205 ◽

2010 ◽

Author(s):

Huang-Ming Huang ◽

Terry Tidwell ◽

Christopher Gill ◽

Chenyang Lu ◽

Xiuyu Gao ◽

...

Keyword(s):

Real Time ◽

Cyber Physical Systems ◽

Structural Testing ◽

Physical Systems

Download Full-text