[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems

[IEEE 2012 IEEE/ACM Third International

✍ Al-Nayeem, Abdullah; Sha, Lui; Cofer, Darren D.; Miller, Steven M. 📂 Article 📅 2012 🏛 IEEE ⚖ 262 KB

Designing and verifying distributed protocols in a multi-rate asynchronous system is, in general, extremely difficult when the distributed computations require consistent input views, consistent actions and synchronized state transitions. In this paper, we address this problem and introduce a formal

[IEEE 2012 IEEE/ACM Third International

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Cyber-Physical Challenges for Space Systems

✍ Klesh, Andrew T.; Cutler, James W.; Atkins, Ella M. 📂 Article 📅 2012 🏛 IEEE ⚖ 556 KB

[IEEE 2012 IEEE/ACM Third International

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Unidentifiable Attacks in Electric Power Systems

✍ Qin, Zhengrui; Li, Qun; Chuah, Mooi-Choo 📂 Article 📅 2012 🏛 IEEE ⚖ 263 KB

[IEEE 2012 IEEE/ACM Third International

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Rationale and Architecture Principles for Medical Application Platforms

✍ Hatcliff, John; King, Andrew; Lee, Insup; Macdonald, Alasdair; Fernando, Anura; 📂 Article 📅 2012 🏛 IEEE ⚖ 579 KB

[IEEE 2012 IEEE/ACM Third International

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Multi-scale Integration of Physics-Based and Data-Driven Models in Power Systems

✍ Xie, Le; Zhang, Yun; Ilic, Marija D. 📂 Article 📅 2012 🏛 IEEE ⚖ 462 KB

[IEEE 2012 IEEE/ACM Third International

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - WiP Abstract: A Human-Centered Cyber-Physical Systematic Approach for Post-Stroke Monitoring

✍ Wang, Hongan; Deng, Xiaoming; Tian, Feng 📂 Article 📅 2012 🏛 IEEE ⚖ 143 KB