Informacja

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

Wyszukujesz frazę "state," wg kryterium: Temat


Tytuł:
Improving the LUT count for Mealy FSMs with transformation of output collections
Autorzy:
Barkalov, Alexander
Titarenko, Larysa
Mazurkiewicz, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/2172120.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
Mealy FSM
FPGA
LUT
state code
FSM
kod stanu
Opis:
A method is proposed which aims at reducing the number of LUTs in the circuits of FPGA-based Mealy finite state machines (FSMs) with transformation of collections of outputs into state codes. The reduction is achieved due to the use of two-component state codes. Such an approach allows reducing the number of state variables compared with FSMs based on extended codes. There are exactly three levels of LUTs in the resulting FSM circuit. Each partial function is represented by a single-LUT circuit. The proposed method is illustrated with an example of synthesis. The experiments were conducted using standard benchmarks. They show that the proposed method produces FSM circuits with significantly smaller LUT counts compared with those produced by other investigated methods (Auto and One-hot of Vivado, JEDI, and transformation of output collection codes into extended state codes). The LUT count is decreased by, on average, from 9.86% to 59.64%. The improvement of the LUT count is accompanied by a slightly improved performance. The maximum operating frequency is increased, on average, from 2.74% to 12.93%. The advantages of the proposed method become more pronounced with increasing values of FSM inputs and state variables.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2022, 32, 3; 479--494
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Disturbance modeling and state estimation for offset-free predictive control with state-space process models
Autorzy:
Tatjewski, P.
Powiązania:
https://bibliotekanauki.pl/articles/330146.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
model predictive control
state space model
disturbance rejection
state observer
Kalman filter
sterowanie predykcyjne
model przestrzeni stanów
eliminacja zakłóceń
obserwator stanu
filtr Kalmana
Opis:
Disturbance modeling and design of state estimators for offset-free Model Predictive Control (MPC) with linear state-space process models is considered in the paper for deterministic constant-type external and internal disturbances (modeling errors). The application and importance of constant state disturbance prediction in the state-space MPC controller design is presented. In the case with a measured state, this leads to the control structure without disturbance state observers. In the case with an unmeasured state, a new, simpler MPC controller-observer structure is proposed, with observation of a pure process state only. The structure is not only simpler, but also with less restrictive applicability conditions than the conventional approach with extended process-and-disturbances state estimation. Theoretical analysis of the proposed structure is provided. The design approach is also applied to the case with an augmented state-space model in complete velocity form. The results are illustrated on a 2 x 2 example process problem.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 2; 313-323
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zeros in linear systems with time delay in state
Autorzy:
Tokarzewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/929955.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system liniowy
opóźnienie czasowe
opóźnienie w stanie
zera niezmienne
linear system
time delay in state
state-space methods
output-zeroing problem
invariant zeros
Opis:
The concept of invariant zeros in a linear time-invariant system with state delay is considered. In the state-space framework, invariant zeros are treated as triples: complex number, nonzero state-zero direction, input-zero direction. Such a treatment is strictly related to the output-zeroing problem and in that spirit the zeros can be easily interpreted. The problem of zeroing the system output is discussed. For systems of uniform rank, the first nonzero Markov parameter comprises a certain amount of information concerning invariant zeros, output-zeroing inputs and zero dynamics. General formulas for output-zeroing inputs and zero dynamics are provided.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 4; 609-617
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
State estimation for miso non-linear systems in controller canonical form
Autorzy:
Schwaller, B.
Ensminger, D.
Dresp-Langley, B.
Ragot, J.
Powiązania:
https://bibliotekanauki.pl/articles/331350.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
nonlinear system
state observer
continuous time
układ nieliniowy
obserwator stanu
układ ciągły
Opis:
We propose a new observer where the model, decomposed in generalized canonical form of regulation described by Fliess, is dissociated from the part assuring error correction. The obtained stable exact estimates give direct access to state variables in the form of successive derivatives. The dynamic response of the observer converges exponentially, as long as the nonlinearities are locally of Lipschitz type. In this case, we demonstrate that a quadratic Lyapunov function provides a number of inequalities which guarantee at least local stability. A synthesis of gains is proposed, independent of the observation time scale. Simulations of a Düffing system and a Lorenz strange attractor illustrate theoretical developments.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2016, 26, 3; 569-583
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
State estimation for a class of nonlinear systems
Autorzy:
Schwaller, B.
Ensminger, D.
Dresp-Langley, B.
Ragot, J.
Powiązania:
https://bibliotekanauki.pl/articles/330611.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
nonlinear system
state observer
continuous time
układ nieliniowy
obserwator stanu
układ ciągły
Opis:
We propose a new type of Proportional Integral (PI) state observer for a class of nonlinear systems in continuous time which ensures an asymptotic stable convergence of the state estimates. Approximations of non-linearity are not necessary to obtain such results, but the functions must be, at least locally, of the Lipschitz type. The obtained state variables are exact and robust against noise. Naslin’s damping criterion permits synthesizing gains in an algebraically simple and efficient way. Both the speed and damping of the observer response are controlled in this way. Model simulations based on a Sprott strange attractor are discussed as an example.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2013, 23, 2; 383-394
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A general solution to the output-zeroing problem for MIMO LTI systems
Autorzy:
Tokarzewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/907995.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
linear multivariable systems
state-space methods
output-zeroing problem
invariant zeros
Opis:
The problem of zeroing the output in an arbitrary linear continuous-time system S(A,B,C,D) with a nonvanishing transfer function is discussed and necessary conditions for output-zeroing inputs are formulated. All possible real-valued inputs and real initial conditions which produce the identically zero system response are characterized. Strictly proper and proper systems are discussed separately.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 161-171
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Correcting Spelling Errors by Modelling Their Causes
Autorzy:
Deorowicz, S.
Ciura, M. G.
Powiązania:
https://bibliotekanauki.pl/articles/908544.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
korekcja pisowni
automat skończony
błąd pisowni
spelling correction
finite state automata
spelling errors
Opis:
This paper accounts for a new technique of correcting isolated words in typed texts. A language-dependent set of string substitutions reflects the surface form of errors that result from vocabulary incompetence, misspellings, or mistypings. Candidate corrections are formed by applying the substitutions to text words absent from the computer lexicon. A minimal acyclic deterministic finite automaton storing the lexicon allows quick rejection of nonsense corrections, while costs associated with the substitutions serve to rank the remaining ones. A comparison of the correction lists generated by several spellcheckers for two corpora of English spelling errors shows that our technique suggests the right words more accurately than the others.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2005, 15, 2; 275-285
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Elimination of Finite Eigenvalues of the 2d Roesser Model by State Feedbacks
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/908337.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
eliminacja
stan sprzężenia zwrotnego
elimination
finite eigenvalue
state feedback
2D Roesser model
Opis:
A new problem of decreasing the degree of the closed-loop characteristic polynomial of the 2D Roesser model by a suitable choice of state feedbacks is formulated. Sufficient conditions are established under which it is possible to choose state feedbacks such that the non-zero closed-loop characteristic polynomial has degree zero. A procedure for computation of the feedback gain matrices is presented and illustrated by a numerical example.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2001, 11, 2; 369-376
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
New fault tolerant control strategies for nonlinear Takagi-Sugeno systems
Autorzy:
Ichalal, D.
Marx, B.
Ragot, J.
Maquin, D.
Powiązania:
https://bibliotekanauki.pl/articles/331456.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
model Takagi-Sugeno
sterowanie tolerujące uszkodzenia
uszkodzenie równoczesne
estymacja stanu
twierdzenie Lapunowa
Takagi-Sugeno model
fault tolerant control
simultaneous fault
state estimation
Polya's theorem
Lyapunov theory
input to state stability
Opis:
New methodologies for Fault Tolerant Control (FTC) are proposed in order to compensate actuator faults in nonlinear systems. These approaches are based on the representation of the nonlinear system by a Takagi-Sugeno model. Two control laws are proposed requiring simultaneous estimation of the system states and of the occurring actuator faults. The first approach concerns the stabilization problem in the presence of actuator faults. In the second, the system state is forced to track a reference trajectory even in faulty situation. The control performance depends on the estimation quality; indeed, it is important to accurately and rapidly estimate the states and the faults. This task is then performed with an Adaptive Fast State and Fault Observer (AFSFO) for the first case, and a Proportional-Integral Observer (PIO) in the second. Stability conditions are established with Lyapunov theory and expressed in a Linear Matrix Inequality (LMI) formulation to ease the design of FTC. Furthermore, relaxed stability conditions are given with the use of Polya's theorem. Some simulation examples are given in order to illustrate the proposed approaches.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2012, 22, 1; 197-210
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positivity and linearization of a class of nonlinear continuous-time systems by state feedbacks
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/329778.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
positive
nonlinear
continuous-time system
linearization
state feedback
układ dodatni
układ ciągły
sprzężenie zwrotne
Opis:
The positivity and linearization of a class of nonlinear continuous-time system by nonlinear state feedbacks are addressed. Necessary and sufficient conditions for the positivity of the class of nonlinear systems are established. A method for linearization of nonlinear systems by nonlinear state feedbacks is presented. It is shown that by a suitable choice of the state feedback it is possible to obtain an asymptotically stable and controllable linear system, and if the closed-loop system is positive then it is unstable.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2015, 25, 4; 827-831
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sturm-Liouville Systems Are Riesz-Spectral Systems
Autorzy:
Delattre, C.
Dochain, D.
Winkin, J.
Powiązania:
https://bibliotekanauki.pl/articles/908100.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
matematyka
Sturm-Liouville system
Riesz-spectral system
infinite-dimensional state-space system
Co-semigroup
Opis:
The class of Sturm-Liouville systems is defined. It appears to be a subclass of Riesz-spectral systems, since it is shown that the negative of a Sturm-Liouville operator is a Riesz-spectral operator on L2(a,b) and the infinitesimal generator of a C0-semigroup of bounded linear operators.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 481-484
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of finite state machines for CPLDs
Autorzy:
Czerwiński, R.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/930019.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
synteza logiczna
FSM
kodowanie stanów
optymalizacja logiczna
CPLD
logic synthesis
state assignment
logic optimization
Opis:
The paper presents a new two-step approach to FSM synthesis for PAL-based CPLDs that strives to find an optimum fit of an FSM to the structure of the CPLD. The first step, the original state assignment method, includes techniques of two-level minimization and aims at area minimization. The second step, PAL-oriented multi-level optimization, is a search for implicants that can be shared by several functions. It is based on the graph of outputs. Results of experiments prove that the presented approach is especially effective for PAL-based CPLD structures containing a low number of product terms.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 4; 647-659
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stabilization analysis of impulsive state-dependent neural networks with nonlinear disturbance: A quantization approach
Autorzy:
Hong, Yaxian
Bin, Honghua
Huang, Zhenkun
Powiązania:
https://bibliotekanauki.pl/articles/330511.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
state dependent neural network
quantized input
stabilization analysis
sieć neuronowa
dane wejściowe kwantyzowane
analiza stateczności
Opis:
In this paper, the problem of feedback stabilization for a class of impulsive state-dependent neural networks (ISDNNs) with nonlinear disturbance inputs via quantized input signals is discussed. By constructing quasi-invariant sets and attracting sets for ISDNNs, we design a quantized controller with adjustable parameters. In combination with a suitable ISS-Lyapunov functional and a hybrid quantized control strategy, we propose novel criteria on input-to-state stability and global asymptotical stability for ISDNNs. Our results complement the existing ones. Numerical simulations are reported to substantiate the theoretical results and effectiveness of the proposed strategy.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 267-279
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A repeated imitation model with dependence between stages: Decision strategies and rewards
Autorzy:
Villacorta, P. J.
Pelta, D. A.
Powiązania:
https://bibliotekanauki.pl/articles/330642.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
adversarial decision making
imitation model
strategies
state dependence
reward
podejmowanie decyzji
imitacja modelu
zależność stanu
Opis:
Adversarial decision making is aimed at determining strategies to anticipate the behavior of an opponent trying to learn from our actions. One defense is to make decisions intended to confuse the opponent, although our rewards can be diminished. This idea has already been captured in an adversarial model introduced in a previous work, in which two agents separately issue responses to an unknown sequence of external inputs. Each agent’s reward depends on the current input and the responses of both agents. In this contribution, (a) we extend the original model by establishing stochastic dependence between an agent’s responses and the next input of the sequence, and (b) we study the design of time varying decision strategies for the extended model. The strategies obtained are compared against static strategies from theoretical and empirical points of view. The results show that time varying strategies outperform static ones.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2015, 25, 3; 617-630
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reliable robust path planning with application to mobile robots
Autorzy:
Pepy, R.
Kieffer, M.
Walter, E.
Powiązania:
https://bibliotekanauki.pl/articles/930096.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
analiza interwałowa
planowanie trajektorii
sterowanie odporne
interval analysis
path planning
robust control
state-space models
Opis:
This paper is devoted to path planning when the safety of the system considered has to be guaranteed in the presence of bounded uncertainty affecting its model. A new path planner addresses this problem by combining Rapidly-exploring Random Trees (RRT) and a set representation of uncertain states. An idealized algorithm is presented first, before a description of one of its possible implementations, where compact sets are wrapped into boxes. The resulting path planner is then used for nonholonomic path planning in robotics.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 3; 413-424
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł

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