Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "equivalence" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Equivalence of control systems on the Euclidean group SE (2)
    Autorzy:
    Adams, R. M.
    Biggs, R.
    Remsing, C. C.
    Powiązania:
    https://bibliotekanauki.pl/articles/205696.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    Left-invariant control system
    state space equivalence
    Euclidean group
    Opis:
    We classify, under (local) state space equivalence, all full-rank left-invariant control affne systems evolving on the Euclidean group SE(2).
    Źródło:
    Control and Cybernetics; 2012, 41, 3; 513-524
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dynamic network functional comparison via approximate-bisimulation
    Autorzy:
    Donnarumma, F.
    Murano, A.
    Prevete, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/206758.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    continuous time recurrent neural network
    dynamic networks
    bisimulation
    network equivalence
    Opis:
    It is generally unknown how to formally determine whether different neural networks have a similar behaviour. This question intimately relates to the problem of finding a suitable similarity measure to identify bounds on the input-output response distances of neural networks, which has several interesting theoretical and computational implications. For example, it can allow one to speed up the learning processes by restricting the network parameter space, or to test the robustness of a network with respect to parameter variation. In this paper we develop a procedure that allows for comparing neural structures among them. In particular, we consider dynamic networks composed of neural units, characterised by non-linear differential equations, described in terms of autonomous continuous dynamic systems. The comparison is established by importing and adapting from the formal verification setting the concept of δ−approximate bisimulations techniques for non-linear systems. We have positively tested the proposed approach over continuous time recurrent neural networks (CTRNNs).
    Źródło:
    Control and Cybernetics; 2015, 44, 1; 99-127
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Computation of a canonical form for neutral delay-differential systems
    Autorzy:
    Boudellioua, M. S.
    Powiązania:
    https://bibliotekanauki.pl/articles/206607.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    delay-differential systems
    polynomial matrices
    Smith form
    unimodular equivalence
    Opis:
    In this paper, symbolic computation techniques are used to obtain a canonical form for polynomial matrices arising from linear delay-differential systems of the neutral type. The canonical form can be regarded as an extension of the companion form, often encountered in the theory of linear systems, described by ordinary differential equations. Using the Smith normal form, the exact connection between the original polynomial matrix and the reduced canonical form is set out. An example is given to illustrate the computational aspects involved.
    Źródło:
    Control and Cybernetics; 2015, 44, 3; 357-368
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Further results on the equivalence to Smith form of multivariate polynomial matrices
    Autorzy:
    Boudellioua, M. S.
    Powiązania:
    https://bibliotekanauki.pl/articles/205802.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    linear functional systems
    multivariate polynomial matrices
    unimodular equivalence
    smith form
    Gröbner bases
    Opis:
    Multivariate polynomial matrices arise from the treatment of linear systems of partial differential equations, delay-differential equations or multidimensional discrete equations. In this paper we generalize some of the results obtained for the equivalence to the Smith normal form for a class of multivariate polynomial matrices.
    Źródło:
    Control and Cybernetics; 2013, 42, 2; 543-551
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Phase portraits of planar control-affine systems
    Autorzy:
    Jakubczyk, B.
    Respondek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/970556.pdf
    Data publikacji:
    2005
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    system sterowania
    niezmiennik
    trajektoria krytyczna
    bifurkacja
    control system
    family of control systems
    invariants
    phase portrait
    critical trajectories
    feedback equivalence
    bifurcation
    Opis:
    We study nonlinear control systems in the plane, affine with respect to control. We introduce two sets of feedback equivariants forming a phase portrait PP and a parameterized phase portrait PPP of the system. The phase portrait PP consists of an equilibrium set E, a critical set C (parameterized, for PPP), an optimality index, a canonical foliation and a drift direction. We show that under weak generic assumptions the phase portraits determine, locally, the feedback and orbital feedback equivalence class of a system. The basic role is played by the critical set C and the critical vector field on C. We also study local classification problems for systems and their families.
    Źródło:
    Control and Cybernetics; 2005, 34, 3; 819-847
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Equivalence of second order optimality conditions for bang-bang control problems. Part 2 : Proofs, variational derivatives and representations
    Autorzy:
    Osmolovskii, N. P.
    Maurer, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/969736.pdf
    Data publikacji:
    2007
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    bang-bang control
    second order necessary and sufficient conditions
    critical cones
    equivalence of quadratic forms
    representation of the Hessian of the Lagrangian
    Opis:
    In Part 1 of this paper (Osmolovskii and Maurer, 2005), we have summarized the main results on the equivalence of two quadratic forms from which second order necessary and sufficient conditions can be derived for optimal bang-bang control problems. Here, in Part 2, we give detailed proofs and elaborate explicit relations between Lagrange multipliers and elements of the critical cones in both approaches. The main analysis concerns the derivation of formulas for the first and second order derivatives of trajectories with respect to variations of switching times, initial and final time and initial point. This leads to explicit representations of the second order derivatives of the Lagrangian for the induced optimization problem. Based on a suitable transformation, we obtain the elements of the Hessian of the Lagrangian in a form which involves only first order variations of the nominal trajectory. Finally, a careful regrouping of all terms allows us to find the desired equivalence of the two quadratic forms.
    Źródło:
    Control and Cybernetics; 2007, 36, 1; 5-45
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies