Synthesis of Run-To-Completion Controllers for Discrete Event Systems. Abd Alrahman, Y., Braberman, V. A., D'Ippolito, N., Piterman, N., & Uchitel, S. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, pages 4892–4899, 2021. IEEE.
Synthesis of Run-To-Completion Controllers for Discrete Event Systems [link]Paper  doi  abstract   bibtex   11 downloads  
A controller for a Discrete Event System must achieve its goals despite that 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.
@inproceedings{acc,
  author    = {Yehia {Abd Alrahman} and
               V{\'{\i}}ctor A. Braberman and
               Nicol{\'{a}}s D'Ippolito and
               Nir Piterman and
               Sebasti{\'{a}}n Uchitel},
  title     = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
  booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
               May 25-28, 2021},
  pages     = {4892--4899},
  publisher = {{IEEE}},
  year      = {2021},
  url       = {https://doi.org/10.23919/ACC50511.2021.9482704},
  doi       = {10.23919/ACC50511.2021.9482704},
 abstract  = {A controller for a Discrete Event System must achieve its goals despite that 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.}
}
Downloads: 11
About
Documentation
Keywords
Search
Users
Terms and Conditions of Use
Privacy Policy
Sitemap
© BibBase.org 2021