Minimising makespan of discrete controllers: a qualitative approach
File(s)
Accepted version
Author(s)
Castellano, Ezequiel
Braberman, Victor
D'Ippolito, Nicolas
Uchitel, Sebastian
Tei, Kenji
Type
Conference Paper
Abstract
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.
Date Issued
2020-03-12
Date Acceptance
2019-12-01
Citation
2019 IEEE 58th Conference on Decision and Control (CDC), 2020
Publisher
IEEE
Journal / Book Title
2019 IEEE 58th Conference on Decision and Control (CDC)
Copyright Statement
© 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.
Identifier
https://ieeexplore.ieee.org/document/9029766
Source
2019 IEEE 58th Conference on Decision and Control (CDC)
Publication Status
Published
Start Date
2019-12-11
Finish Date
2019-12-13
Coverage Spatial
Nice, France
Date Publish Online
2020-03-12