Computer Aided Systems Theory - EUROCAST '97, Vol. 133 Book

	A System for Designing Parallel Processor Arrays	3
	On the Role of Architectures in Systems Engineering	13
	An Approach to Safety Critical Systems Design	34
	Extensions and Semantics of Controller State Diagrams for Practical Applications	50
	Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant	58
	Representation and Management of Memory and Decision in Evolving Software Systems	71
	GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models	83
	Formal Representation and Proof of the Interpreted Sequential Machine Model	95
	Modelling of Concurrent and Embedded Systems	108
	A Dense-Time Temporal Logic with Nice Compositionality Properties	123
	Introducing Planning in Discrete Event Systems	146
	Multirate Control of a Class of Nonlinear Systems	160
	Global Structural Approximate Controllability of Polynomial Nonlinear Systems	170
	Vectorized Simulations of Normal Processes for First Crossing-Time Problems	177
	An Architecture for Complex Systems	189
	Model-Based System Design for Engineering (T3SD) and General System Logical Theory	202
	Design of Nonlinear Lag-Lead Compensators by Extended Linearization Using Symbolic Computation Techniques	218
	A Numerical Computation for Declarative Expressions	236
	An Automatic Calculator with Penrose Diagrams	252
	Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept	273
	Fuzzy Traffic Police for Autonomous Vehicles	285
	Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing Control	292
	A Formal Model for Integrated System Development	301
	Moving Towards an Agent-Based Engineering Environment	314
	Experiencing Modeling and Development of an Intelligent Autonomous Robot	324
	Modular Control System for Robotized Cells and Lines	338
	Latest Developments in Robotics	345
	Architectures for Complex Behaviour Inspired in the Nervous System	353
	Turing Universality of Neural Nets (Revisited)	361
	Lifelong Learning Approach to Intelligent Agents Modeling	367
	Role of Qualitative Reasoning in a Multi-Agent System	380
	Learning in Multi-Agent Systems: Theoretical Issues	394
	A Computational Model for Visual Size, Location and Movement	406
	Logic-Algebraic Method for a Class of Knowledge Based Systems	420
	Image Compression by Multilevel Polynomial Interpolation and Wavelet Texture Coding	431
	Image Enhancement Using and Optimum Quantizer	444
	On the Parametrization of Algebraic Discrete Fourier Transforms	453
	Learning Visual Ideals	464
	Multiple Representation of Complex Intensity Changes for Image Segmentation	473
	Design of ANN Architectures for Handling the Temporal Dimension in Signal Processing	486
	From Sequential to Distributed Formal Proofs	501
	Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions	514
	Event Based Simulation of Software Development Project Planning	527
	Application of Intelligent Worldwide DSS to Optimization Problems	541
	System Theoretical Approach to Control and Synchronization of Teleeducation in Open Distributed Environment	549
	Multilevel Approach to Traffic Control System	561
	A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces	567
	Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices	580
	PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling	591
	System Level Design of Microcontroller Applications	611
	List of Authors	625