Computer Aided Systems Theory - EUROCAST '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, Volume 6

Front Cover
This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, held in Las Palmas de Gran Canaria, Spain, in February 1997. The 50 revised full papers presented were carefully selected for inclusion in the volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

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
G E M A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models
83
THEORY AND METHODS
93
INTELLIGENT SYSTEMS
351
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 MultiAgent System
380
Theoretical Issues
394
A Computational Model for Visual Size Location and Movement
406
LogicAlgebraic Method for a Class of Knowledge Based Systems
420

Formal Representation and Proof of the Interpreted Sequential Machine Model
95
Modelling of Concurrent and Embedded Systems
108
A DenseTime 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 CrossingTime Problems
177
An Architecture for Complex Systems
189
Design of Nonlinear LagLead Compensators by Extended Linearization Using Symbolic Computation Techniques
218
A Numerical Computation for Declarative Expressions
236
An Automatic Calculator with Penrose Diagrams
252
ENGINEERING SYSTEMS
271
Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept
273
Fuzzy Traffic Police for Autonomous Vehicles
285
ObjectOriented Model of an Open Communication Architecture for Flexible Manufacturing Control
292
A Formal Model for Integrated System Development
301
Moving Towards an AgentBased 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
SIGNAL PROCESSING
429
Image Compression by Multilevel Polynomial Interpolation and Wavelet Texture Coding
431
Image Enhancement Using an 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
SPECIFIC METHODS AND APPLICATIONS
499
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 4GL 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
Index of Authors
625
Copyright

Other editions - View all

Common terms and phrases