Show simple item record

dc.contributor.authorHuang, Chaoen_US
dc.contributor.authorXu, Shichaoen_US
dc.contributor.authorWang, Zhiluen_US
dc.contributor.authorLi, Wenchaoen_US
dc.contributor.authorLan, Shuyueen_US
dc.contributor.authorZhu, Qien_US
dc.date2020-02-27
dc.date.accessioned2020-12-22T19:25:32Z
dc.date.available2020-12-22T19:25:32Z
dc.date.issued2020
dc.identifier.citationChao Huang, Shichao Xu, Zhilu Wang, Wenchao Li, Shuyue Lan, Qi Zhu. "Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems." 57th ACM/EDAC/IEEE ACM/IEEE Design Automation Conference,
dc.identifier.urihttps://hdl.handle.net/2144/41839
dc.description.abstractControl 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.en_US
dc.language.isoen_US
dc.relation.ispartof57th ACM/EDAC/IEEE ACM/IEEE Design Automation Conference
dc.rights© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.en_US
dc.subjectAdaptive controlen_US
dc.subjectControl engineering computingen_US
dc.subjectFormal verificationen_US
dc.subjectLearning (artificial intelligence)en_US
dc.subjectOptimisationen_US
dc.titleOpportunistic intermittent control with safety guarantees for autonomous systemsen_US
dc.typeArticleen_US
dc.description.versionAccepted manuscripten_US
dc.identifier.doi10.1109/DAC18072.2020.9218742
pubs.declined2020-03-02T02:18:46.781+0000en_US
pubs.elements-sourcemanual-entryen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Electrical & Computer Engineeringen_US
pubs.publication-statusAccepteden_US
dc.identifier.orcid0000-0003-0153-4648 (Li, Wenchao)
dc.identifier.mycv550125


This item appears in the following Collection(s)

Show simple item record