𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Freeway traffic control from linear temporal logic specifications

✍ Scribed by Coogan, Samuel; Arcak, Murat

Book ID: 126654499
Publisher: IEEE
Year: 2014
Weight: 294 KB
Category: Article
ISBN: 1479949310
DOI: 10.1109/ICCPS.2014.6843709

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2014 ACM/IEEE International Confer

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - OpenICE: An open, interoperable platform for medical cyber-physical systems

✍ Plourde, Jeffrey; Arney, David; Goldman, Julian M. 📂 Article 📅 2014 🏛 IEEE ⚖ 56 KB

[IEEE 2014 ACM/IEEE International Confer

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environment

✍ Soupionis, Yannis; Benoist, Thierry 📂 Article 📅 2014 🏛 IEEE ⚖ 334 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 - Cyber-Physical Challenges for Space Systems

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

[IEEE 2011 IEEE/ACM International Confer

[IEEE 2011 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) - Chicago, IL (2011.4.12-2011.4.14)] 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems - Estimate Aggregation with Delay Constraints in Multihop Wireless Sensor Networks

✍ Haitao Zhang, ; Huadong Ma, ; Xiang-Yang Li, 📂 Article 📅 2011 🏛 IEEE ⚖ 337 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

[ACM Press the 4th ACM SIGBED Internatio

[ACM Press the 4th ACM SIGBED International Workshop - Berlin, Germany (2014.04.14-2014.04.17)] Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 - Complex systems techniques for cyber-physical systems

✍ Bujorianu, Manuela L.; MacKay, Robert S. 📂 Article 📅 2014 🏛 ACM Press ⚖ 132 KB