Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29-October 2, 1999 Proceedings

by International Workshop on Computer Aided Systems Theory 1999 Vienna; Pichler, Franz; Moreno-Diaz, Roberto

• ISBN13: 9783540678229
• ISBN10: 3540678220
• Format: Paperback
• Copyright: 2000-08-01
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Computer Aided System Theory, EUROCAST'99, held in Vienna, Austria in September 1999. The 49 revised full papers presented together with three survey contributions were carefully selected and revised for inclusion in the book. The papers are organized in topcial sections on conceptual frameworks, methods, and tools; intelligent robots; modeling and simulation; systems engineering and software development; and artificial intelligence systems and control.

Table of Contents

1 Survey Papers
The CAST Project: Experiences and Future Perspectives	3	(5)
F. Pichler
Cast Methods in Biocybernetics	8	(6)
R. Moreno-Diaz
On the Way to the Next Generation of Robots	14	(9)
P. Kopacek
2 Conceptual Frameworks, Methods and Tools
Representation of the RCS Reference Model Architecture Using an Architectural Description Language	23	(15)
E. Messina
Ch. Dabrowski
H.-M. Huang
J. Horst
Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis	38	(8)
S. Dierneder
R. Scheidl
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?	46	(9)
G. Dittrich
Computer-Aided Analysis and Validation of Heterogeneous System Specifications	55	(25)
G. Del Castillo
U. Glasser
Patterns for Embedded Systems Design	80	(10)
M. Sveda
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets	90	(15)
M. Ceska
V. Janousek
T. Vojnar
Representing Petri Nets in an Action Based Formalism	105	(11)
R.P. Otero
J.M. Rodriguez
Simplification of Proof Procedures Based on the Path Condition Concepts	116	(11)
M. Larnac
J. Magnier
V. Chapurlat
Parallel Processor Array for Tomographic Reconstruction Algorithms	127	(15)
Th. Schmitt
D. Fimmel
M. Kortke
R. Marker
A Formalized Description Approach to Continuos Time Systems	142	(12)
E. Jharko
Modeling Complex Systems by Multi-agent Holarchies	154	(15)
F. Pichler
Partition of Systems by General System Logical Theory (GSLT)	169	(16)
G. Resconi
3 Intelligent Robots
Multiagent Approach to Intelligent Control of Robot	185	(16)
W. Jacak
K. Proll
Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools	201	(8)
R. Gernert
P. John
System Integration Techniques in Robotics	209	(15)
L. Preucil
V. Marik
Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots	224	(15)
Th. Borangiu
M. Manu
V.E. Oltean
Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations	239	(11)
J. Voros
Matrix Model of Robot in Matlab - Simulink	250	(9)
F. Solc
4 Modeling and Simulation
Integrating Two Dynamic Models of Business-Logistics Plant	259	(15)
R. Sato
Assembly Reengineering Model	274	(8)
D. Noe
P. Peternel
Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation	282	(7)
H. Zebedin
Modeling the Emergence of Social Entities	289	(6)
G. Hanappi
Simulating Social Grouping: An Interactive Team-Building Tool (ITBT)	295	(7)
E. Hanappi-Egger
Sociological Aspects of Data Acquisition and Processing	302	(5)
R. Klempous
B. Lysakowska
J. Nikodem
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference	307	(12)
M. Cabarcos
R.P. Otero
S.G. Pose
Simulation of Gaussian Processes and First Passage Time Densities Evaluation	319	(15)
E. Di Nardo
A.G. Nobile
E. Pirozzi
L.M. Ricciardi
S. Rinaldi
Distributed Simulation with Multimedia Interface	334	(9)
P. Corcuera
M. Garces
E. Mora
M. Zorrilla
Microscopic Randomness and ``Fundamental Diagram'' in the Traffic Flow Problem	343	(14)
H. Lehmann
Floating Car Data Analysis of Urban Road Networks	357	(11)
B. Kwella
H. Lehmann
Information Lost in the Hologram Subdividing Process	368	(9)
G. Mulak
L. Magiera
A. Mulak
5 Systems Engineering and Software Development
Electronic Performance Support Systems Challenges and Problems	377	(17)
G. Chroust
A Framework for the Elicitation, Evolution, and Traceability of System Requirements	394	(13)
P. Grunbacher
J. Parets-Llorca
Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Mathcing)	407	(7)
Y. Yamada
Y. Komura
J. Mizutani
I. Tanabe
Computer Aided Planning Sysetm of a Flexible Microrobot-Based Microassembly Station	414	(21)
S. Fatikow
J. Seyfried
A. Faizullin
A Formalisation of the Evolution of Software Systems	435	(15)
J.J. Torres Carbonell
J. Parets-Llorca
HEDES: A System Theory Based Tool to Support Evolutionary Software Systems	450	(15)
M.J. Rodriguez
J. Parets
P. Paderewski
A. Anaya
M.V. Hurtado
Vertical Partitioning Algorithms in Distributed Databases	465	(10)
M.E. Zorilla
E. Mora
P. Corcuera
J. Fernandez
Decision Based Adaptive Model for Managing Software Development Projects	475	(11)
M. Mauerkirchner
A Fractal Software Complexity Metric Analyser	486	(11)
V. Podgorelec
P. Kokol
M. Zorman
6 Artificial Intelligent Systems and Control
Sysetms Approach to Attention Mechanisms in the Visual Pathway	497	(9)
R. Moreno-Diaz jr.
J.C. Quevedo-Losada
A. Quesada-Arencibia
On Completness in Early Vision from Systems Theory	506	(8)
O. Bolivar-Toledo
J.A. Munoz Blanco
S. Candela Sola
R. Moreno-Diaz
McCulloch Program II in Artificial Systems and Lastres Theorem	514	(7)
E. Rovaris
F. Eugenio
R. Moreno-Diaz
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases	521	(7)
M. Taboada
J. Des
M. Arguello
J. Mira
D. Martinez
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems	528	(15)
Z. Bubnicki
Variable-Structure Learning Controllers	543	(7)
A. Sala
P. Albertos
M. Olivares
An Identification Algorithmic Toolkit for Intelligent Control Systems	550	(15)
K. Chernyshov
F. Pashchenko
Non Selective Gas Sensors and Artificial Neural Networks - Determination of Gas Mixtures	565	(8)
B.W. Licznerski
P.M. Szecowka
A. Szczurek
K. Nitsch
The Supervision of Hybrid Control Systems - A Layered Architecture	573	(15)
V.E. Oltean
T. Borangiu
M. Manu
Automatic Players for Computer Games	588	(13)
Werner DePauli-Schimanovich-Gottig
Authoer Index	601