Cover Image

Formal specification and synthesis of procedural controllers for process systems /

Show other versions (1)

Bibliographic Details
Main Author:	Sánchez, Arturo
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin [u.a.] : Springer, 1996.
Series:	Lecture notes in control and information sciences ; 212.
Subjects:	Automatic control Process control Prozessüberwachung Diskretes Ereignissystem Kontrolltheorie Softwarespezifikation Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Discrete event systems: models and applications : IIASA conference, Sopron, Hungary, August 3 - 7, 1987 /
Published: (1988)

Feedback strategies for partially observable stochastic systems /
by: Yavin, Yaakov
Published: (1983)

Control theory of distributed parameter systems and applications : proceedings of the IFIP WG 7.2 working conference, Shanghai, China, May 6 - 9, 1990 /
Published: (1991)

Modelling and inverse problems of control for distributed parameter systems : proceedings of IFIP (W.G.7.2)-IIASA conference, Laxenburg, Austria, July 24 - 28, 1989 /
Published: (1991)

Boundary control and boundary variations : proceedings of the IFIP WG 7.2 conference, Nice, France, June 10 - 13, 1987 /
Published: (1988)

Strength and deformations of structural concrete subjected to in-plane shear and normal forces /
by: Kaufmann, Walter Hans Jakob

Control of large flexible space structures /
by: Joshi, S. M. (Suresh M.)
Published: (1989)

An expert systems approach to computer-aided design of multivariable systems /
by: Pang, G. K. H. (Grantham K. H.), et al.
Published: (1987)

Multivariable feedback : a quasi-classical approach /
by: Hung, Yeung Sam, et al.
Published: (1982)

Efficient checking of polynomials and proofs and the hardness of approximation problems /
by: Sudan, Madhu
Published: (1995)

Interactive multi-objective programming as a framework for computer-aided control system design /
by: Ng, Wai-Yin
Published: (1989)

Frequency domain properties of scalar and multivariable feedback systems /
by: Freudenberg, James Scott, et al.
Published: (1988)

Structural analysis and design of multivariable control systems : an algebraic approach /
by: Tsay, Yih Tsong, et al.
Published: (1988)

Basic Concepts in Digital Signal Processing for Seismologists.
Published: (1994)

Cryptography : policy and algorithms ; international conference, Brisbane, Queensland, Australia, July 3 - 5, 1995 ; proceedings /
Published: (1996)

Projection methods in constrained optimisation and applications to optimal policy decisions /
by: Rustem, Berc
Published: (1981)

Stability analysis for linear repetitive processes /
by: Rogers, Eric, et al.
Published: (1992)

Local disturbance decoupling with stability for nonlinear systems /
by: Wegen, Leonardus Ludovicus Marie van der
Published: (1991)

Numerical operations with polynomial matrices : application to multi-variable dynamic compensator design /
by: Stefanidis, Peter, et al.
Published: (1992)

Nonlinear prediction ladder-filters for higher-order stochastic sequences /
by: Zarzycki, Jan
Published: (1985)

Control of nonlinear multibody flexible space structures /
by: Kelkar, Atul G., et al.
Published: (1996)

Large scale systems stability under structural and singular perturbations /
by: Gruĭich, L. T. (Li︠u︡bomir Tikhomira), et al.
Published: (1987)

Topics in stochastic systems : modelling, estimation and adaptive control /
Published: (1991)

Block pulse functions and their applications in control systems /
by: Jiang, Zhihua, et al.
Published: (1992)

Multimedia, hypermedia, and virtual reality : models, systems, and applications ; first international conference, MHVR '94, Moscow, Russia, September 14 - 16, 1994 ; selected papers /
Published: (1996)

Dynamics and Geomorphology of Mountain Rivers.
Published: (1994)

Singular optimal control : the linear-quadratic problem /
by: Clements, David J., et al.
Published: (1978)

Uncertainty and control : proceedings of an international seminar organized by Deutsche Forschungs- und Versuchsanstalt für Luft- und Raumfahrt (DFVLR), Bonn, Germany, May, 1985 /
Published: (1985)

Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 4 - 8, 1994 ; proceedings /
Published: (1994)

Geometric theory for infinite dimensional systems /
by: Zwart, Hans J.
Published: (1989)

The autonomous linear quadratic control problem : theory and numerical solution /
Published: (1991)

Waste Disposal and Evaporites : Contributions to Long-Term Safety.
Published: (1993)

Advanced robot control : proceedings of the International Workshop on Nonlinear and Adaptive Control: Issues in Robotics, Grenoble, France, Nov. 21 - 23, 1990 /
Published: (1991)

Differential and algebraic Riccati equations with application to boundary/point control problems : continuous theory and approximation theory /
by: Lasiecka, Irena, et al.
Published: (1991)

Nonsmooth impact mechanics : models, dynamics and control /
by: Brogliato, Bernard
Published: (1996)

Root clustering in parameter space /
by: Gutman, Shaul
Published: (1990)

Stability of solutions to convex problems of optimization /
by: Malanowski, Kazimierz
Published: (1987)

Modelling and optimization of complex system : proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3 - 9 July, 1978 /
Published: (1979)

Mobile robots in rough terrain : estimation, motion planning, and control with application to planetary rovers /
by: Iagnemma, Karl, et al.
Published: (2004)

Robust stability and convexity : an introduction /
by: Kogan, Jacob
Published: (1995)