7. EUROCAST 1999: Vienna, Austria

Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (Eds.): Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings. Lecture Notes in Computer Science 1798 Springer 2000, ISBN 3-540-67822-0

1 Survey Papers

Elena Messina, Christopher Dabrowski, Hui-Min Huang, John Horst:
Representation of the RCS Reference Model Architecture Using an Architectural Description Language. 23-37
Stefan Dierneder, Rudolf Scheidl:
Conceptual Desin, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis. 38-45
Gisbert Dittrich:
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? 46-54
Giuseppe Del Castillo, Uwe Glässer:
Computer-Aided Analysis and Validation of Heterogeneous System Specifications. 55-79
Miroslav Svéda:
Patterns for Embedded Systems Design. 80-89
Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. 90-104
Ramón P. Otero, José M. Rodríguez:
Representing Petri Nets in an Action Based Formalism. 105-115
Mireille Larnac, Janine Magnier, Vincent Chapurlat:
Simplification of Proof Procedures Based on the Path Condition Concepts. 116-126
Thomas Schmitt, Dirk Fimmel, Mathias Kortke, Renate Merker:
Parallel Processor Array for Tomographic Reconstruction Algorithms. 127-141
Elena Jharko:
A Formalized Description Approach to Continuos Time Systems. 142-153
Franz Pichler:
Modeling Complex Systems by Multi-agent Holarchies. 154-168
Germano Resconi:
Partition of Systems by General System Logical Theory (GSLT). 169-181

Witold Jacak, Karin Pröll:
Multiagent Approach to Intelligent Control of Robot. 185-200
Regine Gernert, Peter John:
Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools. 201-208
Libor Preucil, Vladimír Marík:
System Integration Techniques in Robotics. 209-223
Theodor Borangiu, Mitica Manu, Virginia Ecaterina Oltean:
Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots. 224-238
Jozef Vörös:
Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations. 239-249
Frantisek Solc:
Matrix Model of Robot in Matlab-Simulink. 250-255

R. Sato:
Integrating Two Dynamic Models of Business-Logistics Plant. 259-273
Dragica Noe, Peter Peternel:
Assembly Reengineering Model. 274-281
Harald Zebedin:
Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation. 282-288
Gerhard Hanappi:
Modeling the Emergence of Social Entities. 289-294
Edeltraud Hanappi-Egger:
Simulating Social Grouping: An Interactive Team-Building Tool (ITBT). 295-301
Ryszard Klempous, Barbara Lysakowska, Jan Nikodem:
Sociological Aspects of Data Acquisition and Processing. 302-306
Manuel Cabarcos, Ramón P. Otero, Silvia Gómez Pose:
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference. 307-318
Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi:
Simulation of Gaussian Processes and First Passage Time Densities Evaluation. 319-333
Pedro Corcuera, Mario Garcés, Eduardo Mora, Marta E. Zorrilla:
Distributed Simulation with Multimedia Interface. 334-342
Heiko Lehmann:
Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem. 343-356
B. Kwella, Heiko Lehmann:
Floating Car Data Anaylsis of Urban Road Networks. 357-367
Grazyna Mulak, Leon Magiera, Andrzej Mulak:
Information Lost in the Hologram Subdividing Process. 368-373

Gerhard Chroust:
Electronic Performance Support Systems Challenges and Problems. 377-393
Paul Grünbacher, José Parets-Llorca:
A Framework for the Elicitation, Evolution, and Traceability of System Requirements. 394-406
Yasuhiro Yamada, Yoshiaki Komura, Junnosuke Mizutani, Ikuo Tanabe:
Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Matching). 407-413
Sergej Fatikow, Joerg Seyfried, Airat Faizullin:
Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station. 414-434
Juan Jesús Torres Carbonell, José Parets-Llorca:
A Formalisation of the Evolution of Software Systems. 435-449
María J. Rodríguez, José Parets-Llorca, Patricia Paderewski, Ana Anaya, María Visitación Hurtado:
HEDES: A System Theory Based Tool to Support Evolutionary Software Systems. 450-464
Marta E. Zorrilla, Eduardo Mora, Pedro Corcuera, J. Fernández:
Vertical Partitioning Algorithms in Distributed Databases. 465-474
Manfred Mauerkirchner:
Decision Based Adaptive Model for Managing Software Development Projects. 475-485
Vili Podgorelec, Peter Kokol, Milan Zorman:
A Fractal Software Complexity Metric Analyser. 486-493

Roberto Moreno-Díaz Jr., Juan Carlos Quevedo-Losada, Alexis Quesada-Arencibia:
Systems Approach to Attention Mechanisms in the Virtual Pathway. 497-505
Olga Bolívar Toledo, J. A. Muñoz-Blanco, Santiago Candela Solá, Roberto Moreno-Díaz:
On Completeness in Early Vision from Systems Theory. 506-513
E. Rovaris, F. Eugenio, Roberto Moreno-Díaz:
McCulloch Program II in Artificial Systems and Lastres Theorem. 514-520
Maria Taboada, Julio Des, Michael F. Argüello, José Mira, Diego Martínez:
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases. 521-527
Zdzislaw Bubnicki:
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems. 528-542
Antonio Sala, Pedro Albertos, Manuel Olivares:
Variable-Structure Learning Controllers. 543-549
Kirill Chernyshov, Feodor Pashchenko:
An Identification Algorithmic Toolkit for Intelligent Control Systems. 550-564
Benedykt Licznerski, Przemyslaw Szecówka, Andrzej Szczurek, K. Nitsch:
Non Selective Gas Sensors and Artificial Neural Networks-Determination of Gas Mixtures. 565-572
Virginia Ecaterina Oltean, Theodor Borangiu, Mitica Manu:
The Supervision of Hybrid Control Systems-A Layered Architecture. 573-587
Werner DePauli-Schimanovich-Göttig:
Automatic Players for Computer Games. 588-600