mlsanityData to 14 Oct 2026

SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge

arXiv 2302.12493 ↗First posted 24 Feb 2023eess.SY cs.DC cs.LGcited by 0

Not on the map. Why?

Abstract (arXiv)

Runtime energy management has become quintessential for multi-sensor autonomous systems at the edge for achieving high performance given the platform constraints. Typical for such systems, however, is to have their controllers designed with formal guarantees on safety that precede in priority such optimizations, which in turn limits their application in real settings. In this paper, we propose a novel energy optimization framework that is aware of the autonomous system's safety state, and leverages it to regulate the application of energy optimization methods so that the system's formal safety properties are preserved. In particular, through the formal characterization of a system's safety state as a dynamic processing deadline, the computing workloads of the underlying models can be adapted accordingly. For our experiments, we model two popular runtime energy optimization methods, offloading and gating, and simulate an autonomous driving system (ADS) use-case in the CARLA simulation environment with performance characterizations obtained from the standard Nvidia Drive PX2 ADS platform. Our results demonstrate that through a formal awareness of the perceived risks in the test case scenario, energy efficiency gains are still achieved (reaching 89.9%) while maintaining the desired safety properties.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 12 of its 24 references that are in the map. First posted on arXiv 24 Feb 2023.

Builds on

12 of 24 references.

References · 12

  1. 2017CARLA: An Open Urban Driving Simulatorcited by 2,449
  2. 2017Safe Reinforcement Learning via Shieldingcited by 449
  3. 2019End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Taskscited by 289
  4. 2022Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methodscited by 151
  5. 2018Formal Verification of Neural Network Controlled Autonomous Systemscited by 41
  6. 2021Pylot: A Modular Platform for Exploring Latency-Accuracy Tradeoffs in Autonomous Vehiclescited by 33
  7. 2020ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllerscited by 17
  8. 2022EcoFusion: Energy-Aware Adaptive Sensor Fusion for Efficient Autonomous Vehicle Perceptioncited by 13
  9. 2021SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Controlcited by 8
  10. 2018Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systemscited by 7
  11. 2021Energy-Efficient Adaptive System Reconfiguration for Dynamic Deadlines in Autonomous Drivingcited by 1
  12. 2023EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiencycited by 1

Built on by

Not cited yet.