Ausgabe 1/2010
Inhalt (7 Artikel)
Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form
L. D. Cheremisinova, D. Ya. Novikov
Stabilization of nonlinear systems on the basis of the method of the Lyapunov function with the nonlinearity and disturbance estimation
G. A. Rustamov, S. G. Gardashov, R. G. Rustamov
Fuzzy logic approach applied to the surge detection and isolation in centrifugal compressor
A. Hafaifa, F. Laaouad, K. Laroussi