Minimising Makespan of Discrete Controllers: A Qualitative Approach

Ezequiel Castellano, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel, Kenji Tei

研究成果: Conference contribution

抄録

Qualitative controller synthesis techniques produce controllers that guarantee to achieve a given goal in the presence of an adversarial environment. However, qualitative synthesis only produces one controller out of many possible solutions and typically does not provide support for expressing preferences over other alternatives. In this paper, we thus present a formal approach to reason about preferences qualitatively, restricting attention to makespan of discrete eventbased controllers for reachability goals. Time is reasoned upon symbolically, which relieves the user from providing concrete quantitative measures. In particular, we study the scenario in which durations of individual activities are not known up-front. We first show how controllers can be symbolically and fairly compared by fixing the contingencies. Then, we present an algorithm to produce controllers that are makespan-minimising.

本文言語English
ホスト出版物のタイトル2019 IEEE 58th Conference on Decision and Control, CDC 2019
出版社Institute of Electrical and Electronics Engineers Inc.
ページ1068-1075
ページ数8
ISBN(電子版)9781728113982
DOI
出版ステータスPublished - 2019 12
イベント58th IEEE Conference on Decision and Control, CDC 2019 - Nice, France
継続期間: 2019 12 112019 12 13

出版物シリーズ

名前Proceedings of the IEEE Conference on Decision and Control
2019-December
ISSN(印刷版)0743-1546

Conference

Conference58th IEEE Conference on Decision and Control, CDC 2019
CountryFrance
CityNice
Period19/12/1119/12/13

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modelling and Simulation
  • Control and Optimization

フィンガープリント 「Minimising Makespan of Discrete Controllers: A Qualitative Approach」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル