Temat: partial order reduction - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
Autorzy:: Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Powiązania:: https://bibliotekanauki.pl/articles/182716.pdf
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady
Opis:: A general semantics of strategic abilities of agents in asynchronous systems with and without perfect information is proposed, and some general complexity results for verification of strategic abilities in asynchronous systems are presented. A methodology for partial order reduction (POR) in verification of agents with imperfect information is developed, based on the notion of traces introduced by Mazurkiewicz. Two semantics of ATL∗ −X are considered and it is shown that for memoryless imperfect information (|=ir) contrary to memoryless perfect information (|=Ir), one can apply techniques known for LTL−X.
Raport definiuje ogólną semantykę dla strategicznych umiejętności agentów w systemach asynchronicznych z pełną i częściową informacją, oraz prezentuje ogólne wyniki dotyczące złożoności weryfikacji strategicznych możliwości w systemach asynchronicznych. Metoda redukcji częścio-porządkowych, wykorzystująca ślady Mazurkiewicza, została zastosowana do weryfikacji agentów z niepełną informacją. Dla rozważanych dwóch semantyk logiki ATL*_x zostało pokazane, że dla bezpamięciowej niepełnej informacji (|=ir) w przeciwieństwie do bezpamięciowej pełnej informacji (|=Ir), można zastosować metody znane dla LTL_x.
Źródło:: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2016, 1036; 1-32
0138-0648
Pojawia się w:: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Stabilized model reduction for nonlinear dynamical systems through a contractivity-preserving framework
Autorzy:: Chaturantabut, Saifon
Powiązania:: https://bibliotekanauki.pl/articles/1838159.pdf
Data publikacji:: 2020
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: model order reduction
ordinary differential equation
partial differential equation
proper orthogonal decomposition
discrete empirical interpolation method
redukcja rzędu modelu
równanie różniczkowe zwyczajne
równanie różniczkowe cząstkowe
rozkład ortogonalny
Opis:: This work develops a technique for constructing a reduced-order system that not only has low computational complexity, but also maintains the stability of the original nonlinear dynamical system. The proposed framework is designed to preserve the contractivity of the vector field in the original system, which can further guarantee stability preservation, as well as provide an error bound for the approximated equilibrium solution of the resulting reduced system. This technique employs a low-dimensional basis from proper orthogonal decomposition to optimally capture the dominant dynamics of the original system, and modifies the discrete empirical interpolation method by enforcing certain structure for the nonlinear approximation. The efficiency and accuracy of the proposed method are illustrated through numerical tests on a nonlinear reaction diffusion problem.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2020, 30, 4; 615-628
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "partial order reduction" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język