Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems

Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu

Research output: Contribution to journalArticlepeer-review


Control schemes for autonomous systems are often designed in a way that anticipates the worst case in any situation. At runtime, however, there could exist opportunities to leverage the characteristics of specific environment and operation context for more efficient control. In this work, we develop an online intermittent-control framework that combines formal verification with model-based optimization and deep reinforcement learning to opportunistically skip certain control computation and actuation to save actuation energy and computational resources without compromising system safety. Experiments on an adaptive cruise control system demonstrate that our approach can achieve significant energy and computation savings.

Original languageEnglish (US)
JournalUnknown Journal
StatePublished - May 7 2020


  • Energy saving
  • Formal methods
  • Opportunistic intermittent control
  • Robust control invariant
  • Safe RL
  • Safety guarantee

ASJC Scopus subject areas

  • General

Fingerprint Dive into the research topics of 'Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems'. Together they form a unique fingerprint.

Cite this