arXivDaily arXiv每日学术速递 周一至周五更新
稍安勿躁,官方尚未更新
arXiv 2105.04662cs.AIcs.FL
收藏

Multi-Objective Controller Synthesis with Uncertain Human Preferences

University of Texas at Austin(德克萨斯大学奥斯汀分校);University of Virginia(弗吉尼亚大学);University of Birmingham(伯明翰大学)

Shenghui Chen, Kayla Boggess, David Parker, Lu Feng

英文摘要:

Complex real-world applications of cyber-physical systems give rise to the need for multi-objective controller synthesis, which concerns the problem of computing an optimal controller subject to multiple (possibly conflicting) criteria. The relative importance of objectives is often specified by human decision-makers. However, there is inherent uncertainty in human preferences (e.g., due to artifacts resulting from different preference elicitation methods). In this paper, we formalize the notion of uncertain human preferences and present a novel approach that accounts for this uncertainty in the context of multi-objective controller synthesis for Markov decision processes (MDPs). Our approach is based on mixed-integer linear programming and synthesizes an optimally permissive multi-strategy that satisfies uncertain human preferences with respect to a multi-objective property. Experimental results on a range of large case studies show that the proposed approach is feasible and scalable across varying MDP model sizes and uncertainty levels of human preferences. Evaluation via an online user study also demonstrates the quality and benefits of the synthesized controllers.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑