Logical approach to control theory and applications /

QR-koodi

Logical approach to control theory and applications /

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Vassilyev, Stanislav N.
Aineistotyyppi:	Artikkeli
Kieli:	English
Aiheet:	Automatic theorem proving Control systems Hypothesis generation Logical equation Logical modelling Real-time control
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Samankaltaisia teoksia

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Julkaistu: (2001)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Tekijä: Chou, Shang-Ching, 1946-
Julkaistu: (1994)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Julkaistu: (2001)

Fuzzy logic :
Tekijä: F. Martin McNeill
Julkaistu: (1994)

Programmable logic devices and logic controllers
Tekijä: Enrique Mandado
Julkaistu: (1996)

Modeling and control of dynamic systems
Tekijä: Macia, Narciso
Julkaistu: (2005)

Logic Synthesis for FSM-Based Control Units
Tekijä: Barkalov, Alexander, et al.
Julkaistu: (2020)

Robust control: The parametric approach
Tekijä: Bhattacharyya, Shankar P
Julkaistu: (1995)

Optimal control /
Tekijä: Vinter, R. B.
Julkaistu: (2000)

Programmable logic controllers : a practical approach to IEC 61131-3 using CODESYS /
Tekijä: Hanssen, Dag Haèkon,

Applied programmable logic controllers laboratory manual
Tekijä: Nichols, Daniel H.
Julkaistu: (2006)

Fuzzy logic and its application in technology and management
Julkaistu: (2007)

Real-time systems
Tekijä: Krishna, C. M.
Julkaistu: (1997)

Control applications in marine systems 2001:
Julkaistu: (2002)

Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
Tekijä: Cai, Kai, et al.
Julkaistu: (2015)

Set theory and the continuum hypothesis /
Tekijä: Cohen, Paul J., 1934-2007.
Julkaistu: (1966)

Robotics and control
Tekijä: R. K. Mittal
Julkaistu: (2003)

Analysis and control of linear systems
Julkaistu: (2007)

Real-time systems /
Tekijä: Krishna, C.M.
Julkaistu: (1997)

Fuzzy logic applications in engineering science
Tekijä: Harris, J. (John)
Julkaistu: (2006)

Introduction to control system technology
Tekijä: Robert N Bateson
Julkaistu: (1996)

Fieldbus technology :
Tekijä: Mahalik, N.P.
Julkaistu: (2003)

Advanced control system design
Tekijä: Bernard Frieldland
Julkaistu: (1996)

Control systems functions and programming approaches
Tekijä: Chorafas, Dimitris N.
Julkaistu: (1966)

Control systems engineering
Tekijä: Nise, Norman S
Julkaistu: (2004)

Control systems engineering
Tekijä: Nise, Norman S.
Julkaistu: (2004)

Control systems engineering /
Tekijä: Nise, Norman S.
Julkaistu: (2000)

NISE's Control systems engineering
Tekijä: Nise, Norman S
Julkaistu: (2015)

Nise's Control systems engineering
Tekijä: Nise, Norman S.
Julkaistu: (2015)

A Link between science and applications of automatic control
Julkaistu: (1979)

A link between science and applications of automatic control
Julkaistu: (1979)

A link between science and applications of automatic control
Julkaistu: (1979)

A link between science and applications of automatic control
Julkaistu: (1979)

A real-time approach to process control
Tekijä: Svrcek, William Y.
Julkaistu: (2014)

Control engineering
Tekijä: Pierre Bélanger
Julkaistu: (1995)

Control engineering
Tekijä: Pierre Bélanger
Julkaistu: (1995)

Control engineering
Tekijä: Bélanger, Pierre
Julkaistu: (1995)

Analysis and Control of Complex Dynamical Systems: Robust Bifurcation, Dynamic Attractors, and Network Complexity
Tekijä: Aihara, Kazuyuki, et al.
Julkaistu: (2016)

Automatic control systems
Tekijä: Kuo, Benjamin C.
Julkaistu: (1995)

Automatic control systems
Tekijä: Kuo, Benjamin C.
Julkaistu: (2003)