D 2010

A Symbolic Approach to Controlling Piecewise Affine Systems

TŮMOVÁ, Jana; Boyan YORDANOV; Calin BELTA; Ivana ČERNÁ; Jiří BARNAT et al.

Základní údaje

Originální název

A Symbolic Approach to Controlling Piecewise Affine Systems

Název česky

Symbolický přístup k řízení po částech afinních systémů

Autoři

TŮMOVÁ, Jana; Boyan YORDANOV; Calin BELTA; Ivana ČERNÁ ORCID a Jiří BARNAT

Vydání

Neuveden, Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), od s. 4230-4235, 6 s. 2010

Nakladatel

Omnipress for IEEE Control Systems Society

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í

Kód RIV

RIV/00216224:14330/10:00045256

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4244-7744-9

ISSN

UT WoS

000295049104128

Klíčová slova anglicky

Automata; Game Theory; Hybrid Systems

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 15. 12. 2011 12:10, prof. RNDr. Jiří Barnat, Ph.D.

Anotace

V originále

We present a computational framework for auto- matic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over an arbitrary set of linear predicates in its state variables. First, by defining partitions for its state and input spaces, we construct a finite abstraction of the PWA system in the form of a control transition system. Second, we develop an algorithm to generate a control strategy for the finite abstraction. While provably correct and robust to small perturbations in both state measurements and applied inputs, the overall procedure is conservative and expensive. The proposed algorithms have been implemented and are available for download. Illustrative examples are included.

Návaznosti

GA201/09/1389, projekt VaV
Název: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
GP201/09/P497, projekt VaV
Název: Automatizovaná formální verifikace s využitím soudobého hardware
Investor: Grantová agentura ČR, Automatizovaná formální verifikace s využitím soudobého hardware
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
MUNI/A/0914/2009, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty