About: Temporal Logic Control of Discrete-Time Piecewise Affine Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Temporal Logic Control of Discrete-Time Piecewise Affine Systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We present a computational framework for automatic synthesis of a feedback control strategy for a discrete-time piece-wise affine (PWA) system from a specification given as a linear temporal logic (LTL) formula over an arbitrary set of linear predicates in the system's state variables. Our approach consists of two main steps. First, by defining appropriate 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, by leveraging ideas and techniques from LTL model checking and Rabin games, we develop an algorithm to generate a control strategy for the finite abstraction. While provably correct and robust to state measurements and small perturbations in the applied inputs, the overall procedure is conservative and expensive. The proposed algorithms have been implemented as a software package and made available for download. Illustrative examples are included. We present a computational framework for automatic synthesis of a feedback control strategy for a discrete-time piece-wise affine (PWA) system from a specification given as a linear temporal logic (LTL) formula over an arbitrary set of linear predicates in the system's state variables. Our approach consists of two main steps. First, by defining appropriate 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, by leveraging ideas and techniques from LTL model checking and Rabin games, we develop an algorithm to generate a control strategy for the finite abstraction. While provably correct and robust to state measurements and small perturbations in the applied inputs, the overall procedure is conservative and expensive. The proposed algorithms have been implemented as a software package and made available for download. Illustrative examples are included. (en)
Title	Temporal Logic Control of Discrete-Time Piecewise Affine Systems Temporal Logic Control of Discrete-Time Piecewise Affine Systems (en)
skos:prefLabel	Temporal Logic Control of Discrete-Time Piecewise Affine Systems Temporal Logic Control of Discrete-Time Piecewise Affine Systems (en)
skos:notation	RIV/00216224:14330/12:00057211!RIV13-GA0-14330___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GAP202/11/0312), P(GD102/09/H042), P(LH11065), S, Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika	6
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Černá, Ivana Barnat, Jiří Tůmová, Jana
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	173733
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/12:00057211
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Control design; discrete time systems; formal specifications; piecewise linear approximation (en)
http://linked.open.../riv/klicoveSlovo	Control design discrete time systems formal specifications piecewise linear approximation
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[D7EB727E10CF]
http://linked.open...i/riv/nazevZdroje	IEEE Transactions on Automatic Control
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Control Synthesis and Formal Verification of Complex Hybrid Systems Software Components in Embedded Systems: Development and Verification Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	57
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Černá, Ivana Belta, Calin Tůmová, Jana Yordanov, Boyan
http://linked.open...ain/vavai/riv/wos	000304609300012
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	0018-9286
number of pages	14 (xsd:int)
http://bibframe.org/vocab/doi	10.1109/TAC.2011.2178328
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 35 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software