Section headings and selected papers: Plenary Papers. Object-oriented modeling: tools and techniques for capturing properties of physical systems in computer code, F E Cellier et al . Experiences using knowledge-based reasoning in online control systems, G M Stanley. High integrity systems, W J Cullyer. Environments. Architectures and Tools. MATX: a high-performance interactive software package for scientific and engineering computation, M Koga & K Furuta.;An interactive environment for real time implementation of control systems, O Dahl. Concurrent Control Engineering. RASP and RSYST - two complementary program libraries for concurrent control engineering, G Grubel & H-D Joos.;Control engineering data structures for concurrent engineering, H-D Joos & M Otter. ;B>Computational Methods. Object-Oriented Methods. Building better graphical user interfaces for CACSD - the case for object-oriented programming, C P Jobling. Numerical and Symbolic Methods. Computation of zeros of generalized state-space systems, A Varga. Modelling and Simulation. Modelling. A menu-driven model reduction program and its applications, D Xue & D P Ather;on. Simulation. Design Methods. Expert Systems. Digital and Discrete Systems. General Methods. Applications. Hydraulic Systems. Robotic and Electro-mechanical Systems. Electrical, Process and Aerospace Systems. Education. Author index. Keyword index.