Synthesis of run-to-completion controllers for discrete event systems
File(s)
Accepted version
Author(s)
Alrahman, Yehia Abd
Braberman, Victor
D'Ippolito, Nicolas
Piterman, Nir
Uchitel, Sebastian
Type
Conference Paper
Abstract
A controller for a Discrete Event System must achieve its goals despite its environment being capable of resolving race conditions between controlled and uncontrolled events. Assuming that the controller loses all races is sometimes unrealistic. In many cases, a realistic assumption is that the controller sometimes wins races and is fast enough to perform multiple actions without being interrupted. However, in order to model this scenario using control of DES requires introducing foreign assumptions about scheduling, that are hard to figure out correctly. We propose a more balanced control problem, named run-to-completion (RTC), to alleviate this issue. RTC naturally supports an execution assumption in which both the controller and the environment are guaranteed to initiate and perform sequences of actions, without flooding or delaying each other indefinitely. We consider control of DES in the context where specifications are given in the form of linear temporal logic. We formalize the RTC control problem and show how it can be reduced to a standard control problem.
Date Issued
2021-07-28
Date Acceptance
2021-01-29
Citation
2021 American Control Conference (ACC), 2021
Publisher
IEEE
Journal / Book Title
2021 American Control Conference (ACC)
Copyright Statement
© 2021 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. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
Source
2021 American Control Conference (ACC)
Subjects
Science & Technology
Technology
Automation & Control Systems
Engineering, Electrical & Electronic
Engineering
Publication Status
Published
Start Date
2021-05-24
Finish Date
2021-05-28
Coverage Spatial
New Orleans, Louisiana, USA