Optimal observation mode scheduling for systems under temporal constraints

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088275" target="_blank" >RIV/00216224:14330/16:00088275 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1109/ACC.2016.7525062" target="_blank" >http://dx.doi.org/10.1109/ACC.2016.7525062</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ACC.2016.7525062" target="_blank" >10.1109/ACC.2016.7525062</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Optimal observation mode scheduling for systems under temporal constraints

Popis výsledku v původním jazyce

Modern control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing observation of the current state of the system, sensors require resources such as energy, time and commu- nication. We consider discrete models of such systems with non-deterministic control transitions and multiple observation modes that provide different information about the system’s states. We consider two control problems. First, we aim to construct a control and observation mode scheduling strategy that guarantees satisfaction of a finite-time temporal property given as a formula of syntactically co-safe fragment of LTL (scLTL) and at the same time, minimizes the worst-case cost associated with observation modes until the point of satisfaction. Second, the bounded version of the problem is considered, where the temporal property must be satisfied within given finite time bound.

Název v anglickém jazyce

Optimal observation mode scheduling for systems under temporal constraints

Popis výsledku anglicky

Modern control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing observation of the current state of the system, sensors require resources such as energy, time and commu- nication. We consider discrete models of such systems with non-deterministic control transitions and multiple observation modes that provide different information about the system’s states. We consider two control problems. First, we aim to construct a control and observation mode scheduling strategy that guarantees satisfaction of a finite-time temporal property given as a formula of syntactically co-safe fragment of LTL (scLTL) and at the same time, minimizes the worst-case cost associated with observation modes until the point of satisfaction. Second, the bounded version of the problem is considered, where the temporal property must be satisfied within given finite time bound.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA15-08772S" target="_blank" >GA15-08772S: Analýza korektnosti vícevláknových programů v C a C++</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

2016 American Control Conference (ACC)

ISBN

9781467386821

ISSN

0743-1619

e-ISSN

—

Počet stran výsledku

6

Strana od-do

1099-1104

Název nakladatele

IEEE Conference Publications

Místo vydání

Boston

Místo konání akce

Boston

Datum konání akce

1. 1. 2016

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—