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ę "linear time" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 191
Tytuł:
Comparison of approximation methods of positive stable continuous-time linear systems by positive stable discrete-time systems
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/377291.pdf
Data publikacji:
2013
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
continuous-time linear systems
discrete-time linear systems
Opis:
The positive asymptotically stable continuous-time linear systems are approximated by corresponding asymptotically stable discrete-time linear systems. Two methods of the approximation are presented and the comparison of the methods is addressed. The considerations are illustrated by three numerical examples and an example of positive electrical circuit.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2013, 73; 9-20
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
Autorzy:
Indrzejczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749932.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
temporal logic
linear time
hypersequent calculus
cut elimination
Opis:
Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assignability of numerical characteristics of time-varying systems
Autorzy:
Babiarz, A.
Czornik, A.
Klamka, J.
Powiązania:
https://bibliotekanauki.pl/articles/201070.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
assignability
controllability
Lyapunov spectrum
linear time-varying systems
Opis:
The main aim of this article is to survey and discuss the existing state of art concerning the assignability by a feedback of numerical characteristics of linear continuous and discrete time-varying systems. Most of the results present necessary or sufficient conditions for different formulation of the Lyapunov spectrum assignability problem. These conditions are expressed in terms of various controllability types and optimalizability of the controlled systems and certain properties of the free system such as: regularity, diagonalizability, boundness away, integral separation and reducibility.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2019, 67, 6; 1007-1022
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Time-frequency responses of generalized first order parametric sections
Autorzy:
Piwowar, A.
Powiązania:
https://bibliotekanauki.pl/articles/140455.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
LTV system
linear time varying
parametric system
time-frequency response
Opis:
This paper presents the method of analysis of parametric systems in frequency domain. These systems are also referred to as linear time varying systems (LTV). The article includes a description of an analytical method for determining the frequency response of the first order parametric circuit with non-periodically variable parameters. The results have been illustrated by an example.
Źródło:
Archives of Electrical Engineering; 2015, 64, 3; 371-377
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Evaluation of past and future events in an cross-cultural perspective
Autorzy:
Lengowska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/644615.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
evaluation of events
individualism
collectivism
linear time
cyclic time
psychological anthropology
Opis:
The text presents the author’s study on the borderline of anthropology and psychology; the American psychological research was the starting point which showed the asymmetry of temporal value: people value more the future events than past ones. The author decided to check what events are more highly valued – past or future – in different countries with differences in duration of a history of a state among the representatives of so called individualistic or collective cultures. The article shows the theoretical and methodological preparations to the projected research among the foreign students in Gdańsk in the perspective of psychological anthropology.
Źródło:
Prace Etnograficzne; 2013, 41, 4; 253-260
0083-4327
2299-9558
Pojawia się w:
Prace Etnograficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stabilization of autonomous linear time invariant fractional order derivative switched systems with different derivative in subsystems
Autorzy:
Balochian, S.
Powiązania:
https://bibliotekanauki.pl/articles/200478.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
linear time invariant fractional order derivative
switching systems
linear matrix inequality
LMI
Opis:
In this paper, the stabilization problem of a autonomous linear time invariant fractional order (LTI-FO) switched system with different derivative order in subsystems is outlined. First, necessary and sufficient condition for stability of an LTI-FO switched system with different derivative order in subsystems based on the convex analysis and linear matrix inequality (LMI) for two subsystems is presented and proved. Also, sufficient condition for stability of an LTI-FO switched system with different derivative order in subsystems for more than two subsystems is proved. Then a sliding sector is designed for each subsystem of the LTI-FO switched system. Finally, a switching control law is designed to switch the LTI-FO switched system among subsystems to ensure the decrease of the norm of the switched system. Simulation results are given to show the effectiveness of the proposed variable structure controller.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2014, 62, 3; 495-503
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stabilization of multivariable linear time-invariant systems by proportional-plus-derivative state feedback
Autorzy:
Kiritsis, Konstadinos H.
Powiązania:
https://bibliotekanauki.pl/articles/31342764.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
stabilization
proportional-plus-derivative state feedback
linear time-invariant systems
Opis:
This paper is devoted to the study of the problem of stabilization by proportional-plus-derivative state feedback for multivariable linear time-invariant systems. In particular, explicit necessary and sufficient conditions are established for the stability of a closed-loop system obtained by proportional-plus-derivative state feedback from the given multivariable linear time-invariant system. A procedure is given for the computation of stabilizing proportional- plus-derivative state feedback. Our approach is based on properties of real and polynomial matrices.
Źródło:
Control and Cybernetics; 2023, 52, 1; 53-77
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interval state estimation for linear time-varying (LTV) discrete-time systems subject to component faults and uncertainties
Autorzy:
Khan, Awais
Xie, Wei
Zhang, Langwen
Ihsanullah, A.
Powiązania:
https://bibliotekanauki.pl/articles/949810.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
component faults
interval state estimator
linear time-varying systems
noncooperative systems
Opis:
This paper deals with the design of an interval state estimator for linear time-varying (LTV) discrete-time systems subject to component faults and uncertainties. These component faults and uncertainties are assumed to be unknown but bounded without giving any other information, whose effect can be approximated using these bounds. In the first part of this work, an interval state estimator for such systems is designed to deal with these component faults and uncertainties. The result is then extended to find an interval state estimator for a noncooperative LTV discrete-time system subject to component faults and uncertainties by similarity transformation of coordinates. The proposed interval state estimator guaranteed bounds on the observed states that are consistent with the system states. The observer convergence is also ensured. The designed method is simple and easy to be implemented. Two numerical examples are given to show the effectiveness of the proposed method.
Źródło:
Archives of Control Sciences; 2019, 29, 2; 289-305
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Power Electronics Harmonic Analysis Based on the Linear Time Periodic Modeling. Applications for AC/DC/AC Power Electronic Interface
Autorzy:
Ignatova, V.
Granjon, P.
Bacha, S.
Powiązania:
https://bibliotekanauki.pl/articles/262566.pdf
Data publikacji:
2006
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Tematy:
power system harmonics
power electronic
linear time periodic modeling
PWM
control system
Opis:
This paper presents an analytical frequency-domain method for harmonics modeling and evaluation in power electronic systems. The considered system is described by a set of differential equations, which are converted in the frequency domain and presented in a matrix form. Indeed, currents and voltages are described in terms of Fourier series and arranged in a vector form. The passive elements and the switching functions are then represented by harmonic transfer matrices. The resolution of the matrix equations leads to theoretical time and frequency expressions of the system voltages and currents. This method is applied to a closed-loop three phase AC/DC/AC PWM converter. The control loop of the converter is modeled by additional equations. The spectra of the switching functions, necessary to build the corresponding harmonic transfer matrices, are calculated through a double Fourier series decomposition. The matrix equations are solved and the results are compared to those obtained by real measurements and Matlab/Simulink simulations.
Źródło:
Electrical Power Quality and Utilisation. Journal; 2006, 12, 1; 45-51
1896-4672
Pojawia się w:
Electrical Power Quality and Utilisation. Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
State estimation of networked control systems over limited capacity and dropout channels
Autorzy:
Liu, Qingquan
Ding, Rui
Chen, Chunqiang
Powiązania:
https://bibliotekanauki.pl/articles/229800.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
linear time-invariant systems
limited capacity
observability
state estimation
networked control
data rate
Opis:
This paper investigates state estimation of linear time-invariant systems where the sensors and controllers are geographically separated and connected over limited capacity, additive white Gaussian noise (AWGN) communication channels. Such channels are viewed as dropout (erasure) channels. In particular, we consider the case with limited data rates, present a necessary and sufficient condition on the data rate for mean square observability over an AWGN channel. The system is mean square observable if the data rate of the channel is larger than the lower bound given. It is shown in our results that there exist the inherent tradeoffs among the limited data rate, dropout probability, and observability. An illustrative example is given to demonstrate the effectiveness of the proposed scheme.
Źródło:
Archives of Control Sciences; 2019, 29, 4; 687-697
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positive Descriptor Time-varying Discrete-time Linear Systems and Their Asymptotic Stability
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/117205.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
Methods and Algorithms
Asymptotic Stability
Positive Linear System
Weierstrass-Kronecker Theorem
Descriptor Time-Varying Discrete-Time Linear Systems
Positive Descriptor Time-Varying Discrete-Time Linear Systems
Positive Descriptor Discrete-Time Linear Systems
Opis:
The positivity and asymptotic stability of the descriptor time-varying discrete-time linear systems are addressed. The Weierstrass-Kronecker theorem on the decomposition of the regular pencil is extended to the time-varying discrete-time descriptor linear systems. Using the extension necessary and sufficient conditions for the positivity of the systems are established. Sufficient conditions for asymptotic stability of the positive systems are presented. The effectiveness of the tests is demonstrated on the example.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 1; 83-89
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positivity and stability of fractional discrete-time linear systems. The model without a time shift in the difference
Autorzy:
Kaczorek, T.
Ostalczyk, P.
Powiązania:
https://bibliotekanauki.pl/articles/206611.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
positivity
stability
fractional discrete-time linear systems
Opis:
The positivity and stability of fractional discretetime linear systems described by a new model are addressed. Necessary and sufficient conditions for the positivity and asymptotic stability of the systems are established. New tests for checking of the stability are proposed.
Źródło:
Control and Cybernetics; 2017, 46, 1; 27-36
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of the shuffle algorithm to analysis of descriptor linear systems with singular pencil art angielski
Zastosowanie algorytmu przesuwania do analizy deskryptowych układów z pękiem syngularnym
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/311962.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
deskryptor
układ liniowy
liniowy układ deskryptorowy
układ dyskretny
układ ciągły
descriptor
singular pencil
discrete-time linear system
linear continuous-time
Opis:
A new method of analysis of descriptor continuous-time and discrete-time linear systems with singular pencil is proposed. The method is based on transformation of singular pencil by the use of the shuffle algorithm. Conditions for transformation of the descriptor linear systems to equivalent standard linear systems are established.
Podano nową metodę analizy deskryptowych liniowych układów ciągłych i dyskretnych z pękami singularnymi. Proponowana metoda jest oparta na redukcji deskryptowych układów o pękach singularnych do równoważnych układów standardowych za pomocą algorytmu przesuwania. Podano warunki istnienia tej redukcji oraz ilustrowano proponowaną metodę przykładem numerycznym.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2013, 14, 3; 1419-1434
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computation of positive stable realizations for linear continuous-time systems
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/200186.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
positive
stable
realization
system Metzler matrix
procedure
linear continuous-time
Opis:
Conditions for the existence of positive stable realizations with system Metzler matrices for proper transfer function are established. It is shown that there exists a proper stable realization of transfer function of second order if and only if the transfer function has real negative poles. Sufficient conditions for the existence of positive stable realizations of transfer function of third order are established. A method based on the decomposition of transfer functions into the first, second and third orders transfer functions for computation of positive stable realizations is proposed. A method for computation of positive stable realizations of transfer functions with real negative poles and zeros is given.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2011, 59, 3; 273-281
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positive stable realizations with system Metzler matrices
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/229477.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
positive stable realization
system Metzler matrix
linear continuous-time systems
Opis:
Conditions for the existence of positive stable realizations with system Metzler matrices for linear continuous-time systems are established. A procedure for finding a positive stable realization with system Metzler matrix based on similarity transformation of proper transfer matrices is proposed and demonstrated on numerical examples. It is shown that if the poles of stable transfer matrix are real then the classical Gilbert method can be used to find the positive stable realization.
Źródło:
Archives of Control Sciences; 2011, 21, 2; 167-188
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 191

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