search for books and compare prices
Tables of Contents for Computer Aided Systems Theory-Eurocast '97
Chapter/Section Title
Page #
Page Count
1 Design Environments and Tools
3
92
A System for Designing Parallel Processor Arrays
3
10
R. Merker
U. Eckhardt
D. Fimmel
H. Schreiber
On the Role of Architectures in Systems Engineering
13
21
Ch. Schaffer
An Approach to Safety Critical Systems Design
34
16
M. Sveda
Extensions and Semantics of Controller State Diagrams for Practical Applications
50
8
Th. Muller-Wipperfurth
Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant
58
13
D. Auer
H. Dobler
G. Weishaar
Representation and Management of Memory and Decision in Evolving Software Systems
71
12
A. Anaya
M. J. Rodriguez
J. Parets
GEM -- A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models
83
12
H. Mayr
2 Theory and Methods
95
178
Formal Representation and Proof of the Interpreted Sequential Machine Model
95
13
M. Larnac
V. Chapurlat
J. Magnier
B. Chenot
Modelling of Concurrent and Embedded Systems
108
15
U. Glasser
A Dense-Time Temporal Logic with Nice Compositionality Properties
123
23
A. Cau
W.-P. de Roever
Introducing Planning in Discrete Event Systems
146
14
P. Cabalar
R.P. Otero
M. Cabarcos
A. Barreiro
Multirate Control of a Class of Nonlinear Systems
160
10
P. Albertos
J. Bondia
P. Moya
Global Structural Approximate Controllability of Polynomial Nonlinear Systems
170
7
H.-J. Sommer
H. Hahn
Vectorized Simulations of Normal Processes for First Crossing-Time Problems
177
12
E. Di Nardo
E. Pirozzi
L.M. Ricciardi
S. Rinaldi
An Architecture for Complex Systems
189
13
G. Hill
Model-Based System Design for Engineering (T3SD) and General System Logical Theory
202
16
G. Resconi
A.W. Wymore
Design of Nonlinear Lag-Lead Compensators by Extended Linearization Using Symbolic Computation Techniques
218
18
J. Rodriguez-Millan
J. Yepez
B. Jozsef
A Numerical Computation for Declarative Expressions
236
16
J. Miro
M. Miro-Julia
An Automatic Calculator with Penrose Diagrams
252
21
J.M. Molinelli
J.M. Barja
A. Blanco
J.L. Freire
3 Engineering Systems
273
80
Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept
273
12
F. Serradilla
D. Maravall
Fuzzy Traffic Police for Autonomous Vehicles
285
7
R. Garcia Rosa
T. de Pedro
A. Rosetti
Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing Control
292
9
Th. Borangiu
L.-M. Tomas Balibrea
L.A. Contreras Gonzales
Cr. Nis
M. Manu
A Formal Model for Integrated System Development
301
13
S. Hofer
Moving Towards an Agent-Based Engineering Environment
314
10
P. Grunbacher
Experiencing Modeling and Development of an Intelligent Autonomous Robot
324
14
L. Preucil
P. Stepan
Modular Control System for Robotized Cells and Lines
338
7
G. Kronreif
R. Probst
Latest Developments in Robotics
345
8
R. Probst
P. Kopacek
4 Intelligent Systems
353
78
Architectures for Complex Behaviour Inspired in the Nervous System
353
8
R. Moreno-Diaz
J. Mira Mira
Turing Universality of Neural Nets (Revisited)
361
6
J.P. Neto
H.T. Siegelmann
J.F. Costa
C.P. Suarez Araujo
Lifelong Learning Approach to Intelligent Agents Modeling
367
13
W. Jacak
S. Dreiseitl
Role of Qualitative Reasoning in a Multi-Agent System
380
14
V. Marik
O. Stepankova
J. Lazansky
Learning in Multi-Agent Systems: Theoretical Issues
394
12
L. Lhotska
A Computational Model for Visual Size, Location and Movement
406
14
M. Aleman-Flores
K.N. Leibovic
R. Moreno-Diaz jr
Logic-Algebraic Method for a Class of Knowledge Based Systems
420
11
Z. Bubnicki
5 Signal Processing
431
70
Image Compression by Multilevel Polynomial Interpolation and Wavelet Texture Coding
431
13
J. Scharinger
Image Enhancement Using and Optimum Quantizer
444
9
L. Alvarez
J. Esclarin
E. Gonzalez
L. Mazorra
On the Parametrization of Algebraic Discrete Fourier Transforms
453
11
A. Nuckel
A. Klappenecker
Learning Visual Ideals
464
9
M. Burge
W. Burger
Multiple Representation of Complex Intensity Changes for Image Segmentation
473
13
P. Medina-Rodriguez
E. Fernandez-Garcia
Design of ANN Architectures for Handling the Temporal Dimension in Signal Processing
486
15
J. Santos
R.J. Duro
6 Specific Methods and Applications
501
124
From Sequential to Distributed Formal Proofs
501
13
V.M. Gulias
J.S. Jorge
J.J. Quintela
J.L. Freire
Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions
514
13
J.A. Vila
J. Presedo
M.F. Delgado
R. Iglesias
S. Barro
Event Based Simulation of Software Development Project Planning
527
14
M. Mauerkirchner
Application of Intelligent Worldwide DSS to Optimization Problems
541
8
M. Tanabu
J.-i. Iijima
N. Shiba
System Theoretical Approach to Control and Synchronization of Teleeducation in Open Distributed Environment
549
12
W. Jacak
G. Jahn
J. Rozenblit
Multilevel Approach to Traffic Control System
561
6
W. Czarczynski
R. Klempous
J. Nikodem
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces
567
13
J. Kung
R. Wagner
W. WoB
Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices
580
11
D. Schutt
F. Pichler
J. Scharinger
PNtalk -- a Computerized Tool for Object Oriented Petri Nets Modelling
591
20
M. Ceska
V. Janousek
T. Vojnar
System Level Design of Microcontroller Applications
611
14
Ch. Schaffer
J. Zeindl
List of Authors
625