MONDAY November 02, 8:30am - 9:00am | Slot 3
* Indicates Best Paper Candidate
EVENT TYPE: REGULAR SESSION
SESSION 2C
Safety and Energy Optimizations for Cyber-Physical Systems
Moderator:
Mahdi Nikdast - Colorado State Univ.
This session focuses on optimizing safety-criticality, energy and performance in cyber-physical systems (CPS). The first paper proposes control adaptations for energy-efficient safety guarantees in machine learning-based CPS. The second paper explores the trade-off between the image generation accuracy of a GAN model and the energy consumed in mobile platforms. The third paper lays the foundation for applying probabilistic techniques in safety-critical platforms while ensuring that the functional correctness is not being violated. The last paper proposes an approach for reducing energy and improving performance in 3D resistive memories in a variety of CPS platforms.
2C.1* | Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems | |
Speaker: | Yixuan Wang - Northwestern Univ., Evanston, IL |
|
Authors: | Yixuan Wang - Northwestern Univ., Evanston, IL Chao Huang - Northwestern Univ., Evanston, IL Qi Zhu - Northwestern Univ., Evanston, IL |
|
2C.2 | SETGAN: Scale and Energy Trade-off GANs for Image Applications on Mobile Platforms | |
Speaker: | Nitthilan Kannappan Jayakodi - Washington State Univ., Pullman, WA |
|
Authors: | Nitthilan Kannappan Jayakodi - Washington State Univ., Pullman, WA Jana Doppa - Washington State Univ., Pullman, WA Partha Pratim Pande - Washington State Univ., Pullman, WA |
|
2C.3 | The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems | |
Speaker: | Zhishan Guo - Univ. of Central Florida, Orlando, FL |
|
Authors: | Kunal Agrawal - Washington Univ. in St. Louis, MO Sanjoy Baruah - Washington Univ. in St. Louis, MO Zhishan Guo - Univ. of Central Florida, Orlando, FL Jing Li - New Jersey Institute of Technology, NJ |
|
2C.4 | Accelerating 3D Vertical Resistive Memories with Opportunistic Write Latency Reduction | |
Speaker: | Wen Wen - Univ. of Pittsburgh, Pittsburgh, PA |
|
Authors: | Wen Wen - Univ. of Pittsburgh, Pittsburgh, PA Youtao Zhang - Univ. of Pittsburgh, Pittsburgh, PA Jun Yang - Univ. of Pittsburgh, Pittsburgh, PA |
* Indicates Best Paper Candidate