Software for Computer Control 1986. Proceedings of the 2nd IFAC Workshop, Lund, Sweden, 1–3 July 1986

Content: 
IFAC PROCEEDINGS SERIES, Page ii
Front Matter, Page iii
Copyright, Page iv
FOURTH IFAC/IFIP SYMPOSIUM ON SOFTWARE FOR COMPUTER CONTROL, Page v
FOREWORD, Page vii, Doris Florian, Volkmar H. Haase
SOFTWARE PROJECT MANAGEMENT, Pages 1-12, P.F. Elzer
PANEL DISCUSSION: SOFTWARE PROJECT MANAGEMENT, Pages 13-14, E. Knuth Chairman, B.T. Cronhjort, H. Hubmer, G. Kovacs, L. Krzanik
USE OF QUALITATIVE KNOWLEDGE IN LEARNING SYSTEM BEHAVIOUR AND DISCOVERING CONTROL STRATEGY, Pages 15-18, Y.-H. Pao
PANEL DISCUSSION: USE OF EXPERT SYSTEMS IN PROCESS CONTROL, Pages 19-20, M.G. Rodd (Chairman), B.T. Cronhjort, K. Gidwani, Y. Ishida, E. Knuth, L. Motus
MAP — MANUFACTURING AUTOMATION PROTOCOL, Pages 21-34, K. Zwoll, H. Hailing
PANEL DISCUSSION: MANUFACTURING AUTOMATION PROTOCOL, Page 35, V. Haase (Chairman), J. Cser, H. Hailing, S. Keresthely, G. Kovacs
SOFTWARE DEVELOPMENT FOR DISTRIBUTED SYSTEMS, Pages 37-46, G.M. Bull
A DYNAMICALLY CONFIGURABLE GENERAL PURPOSE AUTOMATION CONTROLLER, Pages 47-52, G.E. Maier, R.H. Taylor, J.U. Korein
RULE-BASED CONTROL SOFTWARE SYSTEM FOR FACTORY AUTOMATION — ITS RULE CORRECTNESS CHECK SUPPORT AND RESPONSE-TIME ESTIMATION, Pages 53-58, T. Tashiro, N. Komoda, I. Tsushima, K. Matsumoto
ABSTRACTIONS WITH EXPLICIT PERFORMANCE ATTRIBUTES FOR PROCESS-CONTROL SOFTWARE DEVELOPMENT, Pages 59-64, L. Krzanik
INNOVATIVE KNOWLEDGE ENGINEERING FOR REAL-TIME EXPERT SYSTEMS, Pages 65-73, K.K. Gidwani, W.S. Dalton
MUSIC: A TOOL FOR SIMULATION AND REAL-TIME CONTROL, Pages 75-79, J. Cser, P.M. Bruijn, H.B. Verbruggen
HCDM: A HIERARCHICAL DESIGN METHOD FOR CHILL BASED SYSTEMS, Pages 81-88, N. Theuretzbacher
AUTOMATIC CONTROL SYSTEMS PROGRAMMING USING A REAL TIME DECLARATIVE LANGUAGE, Pages 89-93, J.L. Bergerand, P. Caspi, N. Halbwachs, J.A. Plaice
M.L.C.: A LANGUAGE FOR THE SPECIFICATION OF THE FMS CONTROL SYSTEMS, Pages 95-100, C. Desclaux, R. Valette, M. Courvoisier, A. Sahraoui, D. Barbalho
COMO: A MODULA-2 PROGRAM FOR REAL-TIME CONTROL OF A RAW MATERIAL MILL, Pages 101-107, P. Albertos, F. Morant, J.A. de la Puente, A. Crespo
A PROGRAMMING LANGUAGE FOR DISTRIBUTED SYSTEMS, Pages 109-112, J.A. Cerrada, M. Collado
PARALLEL PROGRAMMING IN ADA AND IN THE HUNGARIAN ADA COMPILER, Pages 113-118, J. Bod
REALIZATION OF A PROCESS CONTROL LANGUAGE BASED ON MACROASSEMBLER, Pages 119-124, G. Godena, J. Cernetic, M. Jovan, S. Strmcnik
THE REAL TIME LANGUAGE PLZRTC AND ITS APPLICATION, Pages 125-127, St. Burkhardt
AN INTERACTIVE GRAPHICAL PC PROGRAM PACKAGE FOR IDENTIFICATION, DESIGN AND SIMULATION OF CONTROL SYSTEMS, Pages 129-134, R. Bars, M. Habermayer, J. Hetthéssy, R. Haber
COMPUTER AIDED DESIGN OF ROBUST MULTIVARIABLE CONTROL SYSTEMS, Pages 135-138, Dj.B. Petkovski
THE IDENTIFICATION AND CONTROL, PARTIALLY ADDED WITH THE ARTIFICIAL INTELLIGENCE APPROACH, Pages 139-146, T. Nakagawa, H. Ogawa
GRAPHICS IN AN ARTIFICIAL INTELLIGENCE LANGUAGE, PROLOG, Pages 147-152, A. Domàn
ON THE MODEL FOR THE CONSTRUCTION OF KNOWLEDGE-BASED DIAGNOSTIC SYSTEMS, Pages 153-158, Y. Ishida, H. Tokumaru
A LANGUAGE AND A CALCULUS FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS DESCRIPTION AND ANALYSIS, Pages 159-166, P. Lorents, L. Motus, J. Tekko
KNOWLEDGE BASED SUPPORT FOR ONLINE PROGRAM CHANGES, Pages 167-172, R.J. Whiddett
A CORRECTNESS VERIFICATION OF PARALLEL CONTROL PROGRAMS, Pages 173-177, T. Szmuc
SOFTWARE AND HARDWARE TO SUPPORT THE TEACHING OF REAL-TIME DISTRIBUTED SYSTEMS, Pages 179-184, G.M. Bull, D.A. Fensome
DESIGN OF A MAN-MACHINE INTERFACE FOR PROCESS CONTROL ON THE BRIDGE OF A SHIP, Pages 185-190, A.M. Heinecke
CONCURRENT ARCHITECTURES FOR POWER SYSTEM CONTROL, Pages 191-196, A. Viegas de Vasconcelos
A DISTRIBUTED CONTROL SYSTEM FOR THE SODA ASH PRODUCTION PLANT AUTOMATION — ARCHITECTURE, SOFTWARE DESIGN AND ENGINEERING, Pages 197-203, G.N. Nikiforov, E.N. Evangelatov, Z.C. Brankova, S.D. Gioshev
LEAK DETECTION METHODS FOR GAS PIPELINES, Pages 205-210, A. Benkherouf, A.Y. Allidina
A FLEXIBLE INTERPRETER AND MANAGEMENT SYSTEM FOR CONTROL ENGINEERING PURPOSES, Pages 211-215, H. Hensel
METHODS AND TOOLS FOR THE DEVELOPMENT OF SOFTWARE FOR COMPLEX REALTIME CONTROL SYSTEMS, Pages 217-222, M. Bruns, H. Rake
MAN–MACHINE INTERACTION AND SUPERVISORY FUNCTIONS OF HAHSS — A SOFTWARE PACKAGE FOR CAD OF HIGH ACCURACY AND HIGH SPEED SERVO, Pages 223-226, T.P. Wang, R.L. Yang, S.W. Wang, Y.G. Li
A NEW METHODOLOGY FOR MODELLING, ANALYSIS AND CONTROL DESIGN OF NON-CONVENTIONAL SAMPLED DATA SYSTEMS, Pages 227-232, J. Tornero, P. Albertos
SYNTHESIS OF WELL BEHAVED SYNCHRONIZED PROCESSES, Pages 233-237, C. Hao
IMPROVED TIME DOMAIN ROBUSTNESS CRITERIA FOR MULTIVARIABLE CONTROL SYSTEMS, Pages 239-244, Dj.B. Petkovski
TRAFFIC CONTROL AND OPTIMIZATION IN PROCESS CONTROL COMMUNICATION SYSTEMS, Pages 245-249, E.I. Stoilov, M.P. Kissiov, M.S. Strugarova
CLOSING PANEL DISCUSSION, Page 251, V. Haase (Chairman), P. Elzer, V. Ignatuschenko, E. Knuth, M. Rodd, G. Suski
AUTHOR INDEX, Page 253
SUBJECT INDEX, Pages 255-256
IFAC Publications, Published and Forthcoming volumes, Pages ibc1-ibc2