Optimal Receding Horizon Control for Finite Deterministic
Systems with Temporal Logic Constraints

D 2013

Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA

Základní údaje

Originální název

Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

Autoři

SVOREŇOVÁ, Mária (703 Slovensko, domácí), Ivana ČERNÁ (203 Česká republika, garant, domácí) a Calin BELTA (840 Spojené státy)

Vydání

Neuveden, Proceedings of The 2013 American Control Conference, od s. 4399-4404, 6 s. 2013

Nakladatel

Institute of Electrical and Electronics Engineers ( IEEE )

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Forma vydání

elektronická verze "online"

Odkazy

URL

Kód RIV

RIV/00216224:14330/13:00065947

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4799-0177-7

ISSN

DOI

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

UT WoS

000327210204097

Klíčová slova anglicky

optimal control; receding horizon; temporal logic; finite deterministic transition system; robots; persistent surveillance

Štítky

firank_A

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 27. 8. 2019 11:49, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

In this paper, we develop a provably correct optimal control strategy for a finite deterministic transition system. By assuming that penalties with known probabilities of occurrence and dynamics can be sensed locally at the states of the system, we derive a receding horizon strategy that minimizes the expected average cumulative penalty incurred between two consecutive satisfactions of a desired property. At the same time, we guarantee the satisfaction of correctness specifications expressed as Linear Temporal Logic formulas. We illustrate the approach with a persistent surveillance robotics application.

Návaznosti

GAP202/11/0312, projekt VaV

Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)

Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification

LH11065, projekt VaV

Název: Řízení a ověřování vlastností komplexních hybridních systémů (Akronym: Řízení a ověřování vlastností komplexních hybridní)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Řízení a ověřování vlastností komplexních hybridních systémů

MUNI/A/0760/2012, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (Akronym: FI MAV II.)

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

Citovat

SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. Online. In Proceedings of The 2013 American Control Conference. Neuveden: Institute of Electrical and Electronics Engineers ( IEEE ), 2013, s. 4399-4404. ISBN 978-1-4799-0177-7. Dostupné z: https://dx.doi.org/10.1109/ACC.2013.6580517.

@inproceedings{1074138,
   author = {Svoreňová, Mária and Černá, Ivana and Belta, Calin},
   address = {Neuveden},
   booktitle = {Proceedings of The 2013 American Control Conference},
   doi = {http://dx.doi.org/10.1109/ACC.2013.6580517},
   keywords = {optimal control; receding horizon; temporal logic; finite deterministic transition system; robots; persistent surveillance},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Neuveden},
   isbn = {978-1-4799-0177-7},
   pages = {4399-4404},
   publisher = {Institute of Electrical and Electronics Engineers ( IEEE )},
   title = {Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints},
   url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6580517&refinements%3D4279887434%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6579790%29},
   year = {2013}
}

TY  - JOUR
ID  - 1074138
AU  - Svoreňová, Mária - Černá, Ivana - Belta, Calin
PY  - 2013
TI  - Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
PB  - Institute of Electrical and Electronics Engineers ( IEEE )
CY  - Neuveden
SN  - 9781479901777
KW  - optimal control
KW  - receding horizon
KW  - temporal logic
KW  - finite deterministic transition system
KW  - robots
KW  - persistent surveillance
UR  - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6580517&refinements%3D4279887434%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6579790%29
N2  - In this paper, we develop a provably correct optimal control strategy for a finite deterministic transition system. By assuming that penalties with known probabilities of occurrence and dynamics can be sensed locally at the states of the system, we derive a receding horizon strategy that minimizes the expected average cumulative penalty incurred between two consecutive satisfactions of a desired property. At the same time, we guarantee the satisfaction of correctness specifications expressed as Linear Temporal Logic formulas. We illustrate the approach with a persistent surveillance robotics application.
ER  -

SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. Online. In \textit{Proceedings of The 2013 American Control Conference}. Neuveden: Institute of Electrical and Electronics Engineers ( IEEE ), 2013, s.~4399-4404. ISBN~978-1-4799-0177-7. Dostupné z: https://dx.doi.org/10.1109/ACC.2013.6580517.

Podrobný výpis o publikaci