Optimal observation mode scheduling for systems under temporal
constraints

D 2016

Optimal observation mode scheduling for systems under temporal constraints

TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT a Ivana ČERNÁ

Základní údaje

Originální název

Optimal observation mode scheduling for systems under temporal constraints

Název česky

Optimal observation mode scheduling for systems under temporal constraints

Autoři

TESAŘOVÁ, Eva (203 Česká republika, domácí), Mária SVOREŇOVÁ (703 Slovensko, domácí), Jiří BARNAT (203 Česká republika, domácí) a Ivana ČERNÁ (203 Česká republika, garant, domácí)

Vydání

Boston, 2016 American Control Conference (ACC), od s. 1099-1104, 6 s. 2016

Nakladatel

IEEE Conference Publications

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

paměťový nosič (CD, DVD, flash disk)

Odkazy

URL

Kód RIV

RIV/00216224:14330/16:00088275

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4673-8682-1

ISSN

DOI

http://dx.doi.org/10.1109/ACC.2016.7525062

UT WoS

000388376101024

Klíčová slova anglicky

Formal verification/synthesis; Optimal control; Uncertain systems

Štítky

firank_A

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 13. 5. 2020 19:37, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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. We present correct and optimal solutions to both problems and demonstrate their usability on a case study motivated by robotic applications.

Návaznosti

GA15-08772S, projekt VaV

Název: Analýza korektnosti vícevláknových programů v C a C++

Investor: Grantová agentura ČR, Correctness Analysis of C and C++ Programs with Threads

MUNI/A/0945/2015, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT a Ivana ČERNÁ. Optimal observation mode scheduling for systems under temporal constraints. In 2016 American Control Conference (ACC). Boston: IEEE Conference Publications, 2016, s. 1099-1104. ISBN 978-1-4673-8682-1. Dostupné z: https://dx.doi.org/10.1109/ACC.2016.7525062.

@inproceedings{1358269,
   author = {Tesařová, Eva and Svoreňová, Mária and Barnat, Jiří and Černá, Ivana},
   address = {Boston},
   booktitle = {2016 American Control Conference (ACC)},
   doi = {http://dx.doi.org/10.1109/ACC.2016.7525062},
   keywords = {Formal verification/synthesis; Optimal control; Uncertain systems},
   howpublished = {paměťový nosič},
   language = {eng},
   location = {Boston},
   isbn = {978-1-4673-8682-1},
   pages = {1099-1104},
   publisher = {IEEE Conference Publications},
   title = {Optimal observation mode scheduling for systems under temporal constraints},
   url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7525062},
   year = {2016}
}

TY  - JOUR
ID  - 1358269
AU  - Tesařová, Eva - Svoreňová, Mária - Barnat, Jiří - Černá, Ivana
PY  - 2016
TI  - Optimal observation mode scheduling for systems under temporal constraints
PB  - IEEE Conference Publications
CY  - Boston
SN  - 9781467386821
KW  - Formal verification/synthesis
KW  - Optimal control
KW  - Uncertain systems
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7525062
N2  - 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. We present correct and optimal solutions to both problems and demonstrate their usability on a case study motivated by robotic applications.
ER  -

TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT a Ivana ČERNÁ. Optimal observation mode scheduling for systems under temporal constraints. In \textit{2016 American Control Conference (ACC)}. Boston: IEEE Conference Publications, 2016, s.~1099-1104. ISBN~978-1-4673-8682-1. Dostupné z: https://dx.doi.org/10.1109/ACC.2016.7525062.

Podrobný výpis o publikaci