Synthesis of Run-To-Completion Controllers for Discrete Event Systems

09/11/2020
by   Yehia Abd Alrahman, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/19/2021

Controller Synthesis for Hyperproperties

We investigate the problem of controller synthesis for hyperproperties s...
10/12/2019

Minimal Assumptions Refinement for GR(1) Specifications

Reactive synthesis is concerned with finding a correct-by-construction c...
09/16/2018

Controller Synthesis for Discrete-time Hybrid Polynomial Systems via Occupation Measures

We present a novel controller synthesis approach for discrete-time hybri...
05/08/2018

A Weakness Measure for GR(1) Formulae

In spite of the theoretical and algorithmic developments for system synt...
11/26/2019

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications

In this paper, we present a controller synthesis approach for wind turbi...
07/18/2018

Planning and Synthesis Under Assumptions

In Reasoning about Action and Planning, one synthesizes the agent plan b...
07/09/2020

Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case

Usage of automated controllers which make decisions on an environment ar...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.