PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  stability theory
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Controlling Petri Net Behavior using Priorities for Transitions
Lomazova I. A., Popova-Zeugmann L.
Fundamenta Informaticae
|
2016
|
Vol. 143, nr 1/2
101--112
EN
In this paper we examine how it is possible to control Petri net behavior with the help of transition priorities. Controlling here means forcing a process to behave in a stable way by ascribing priorities to transitions and hence transforming a classic Petri net into a Priority Petri net. For Petri net models stability is often ensured by liveness and boundedness. These properties are crucial in many application areas, e.g. workflow modeling, embedded systems design, and bioinformatics. In this paper we study the problem of transforming a given live, but unbounded Petri net into a live and bounded one by adding priority constraints. We specify necessary conditions for the solvability of this problem and present an algorithm for ascribing priorities to net transitions in such a way that the resulting net becomes bounded while staying live.
2
Zastosowanie środowiska programowego MATLAB do badania stabilności układów liniowych
Krzysztoszek K., Pietruszczak D., Podsiadły D.
Logistyka
|
2015
|
nr 4
4310--4319, CD2
PL
W artykule przedstawiono możliwości programu MATLAB (MATrix LABoratory) firmy MathWorks w obszarze oceny stabilności linowych układów dynamicznych korzystając z kryterium Nyquista. Zaprezentowano przykłady ćwiczeń laboratoryjnych wykonywanych przez studentów na studiach stacjonarnych i niestacjonarnych z przedmiotów automatyka, układy automatycznej regulacji oraz automatyka i sterowanie, realizowanych w Zakładzie Automatyki i Inżynierii Pomiarowej na Wydziale Transportu i Elektrotechniki Uniwersytetu Technologiczno-Humanistycznego im. Kazimierza Pułaskiego w Radomiu.
EN
The paper presents examples of the laboratory exercises in the field of control theory. Applications of MATLAB software to examination the stability of linear systems are shown. The exercises had carried out by students supervised by employees of the Department of Automatics and Electrical Engineering at the Faculty of Transport and Electrical Engineering of the Kazimierz Pulaski University of Technology and Humanities in Radom.
3
O stabilności dyskretnych i ciągłych układów liniowych o zmiennych skokowo współczynnikach*
Bal A.
Zeszyty Naukowe. Automatyka / Politechnika Śląska
|
2008
|
z. 151
11-18
PL
W pracy przedstawiono problem stabilności dla dyskretnych i ciągłych układów liniowych o zmiennych współczynnikach w czasie, w których funkcja przełączająca jest przedziałami stała. Dla takich układów wyznaczone zostały warunki stabilności za pomocą wykładników Lapunowa.
EN
In this paper stability of discrete and continuous time-varying linear systems with piecewise constant switching signal is presented. For such systems the stability conditions are proposed with the aid of Lapunov exponent.
4
Content available remote Stability of generalized functional-differential equations
Janiak T., Łuczak-Kumorek E.
Fasciculi Mathematici
|
2005
|
Nr 36
41-47
EN
The basic idea of this paper is to use Lyapunov functions to show that the trivial solution functional-differential equations of the form x(t] ∈ F(t,Xt] is stable and is asymptotically stable, and that of perturbed functional-differential equations of the form x(t) ∈ F(t,xt) + G(t,xt) is asymptotically stable.
5
Content available remote Stabilization of Second-order Systems by Non-linear Feedback
Skruch P.
International Journal of Applied Mathematics and Computer Science
|
2004
|
Vol. 14, no 4
455-460
EN
A stabilization problem of second-order systems by non-linear feedback is considered. We discuss the case when only position feedback is available. The non-linear stabilizer is constructed by placing actuators and sensors in the same location and by using a parallel compensator. The stability of the closed-loop system is proved by LaSalle's theorem. The distinctive feature of the solution is that no transformation to a first-order system is invoked. The results of analytic and numerical computations are included to verify the theoretical analysis and the mathematical formulation.
6
Content available Stable and related matrices in economic theory
Giorgi G.
Control and Cybernetics
|
2003
|
Vol. 32, no 2
397-410
EN
It is well known that local stability analysis of a Walrasian multiple markets model is performed by approximating, according to Taylor's expansion, a system of first-order differential equations. So, one has to study the stability of a linear system (with constant coefficients). Since the earlier studies of Walrasian economic equilibrium, economists have suggested numerous conditions ensuring local stability of the same. The aim of this note is to give a survey of various conditions, used in economic analysis, ensuring that a (real) square matrix is stable. We show, in a unified manner, their inter-relations and make some new remarks on quasi-dominant matrices and on D-stable matrices.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.