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

Front Matter....Pages -
Front Matter....Pages 1-1
The Cast Project: Experiences and Future Perspectives....Pages 3-7
Cast Methods in Biocybernetics....Pages 8-13
On the Way to the Next Generation of Robots....Pages 14-19
Front Matter....Pages 21-21
Representation of the RCS Reference Model Architecture Using an Architectural Description Language....Pages 23-37
Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis....Pages 38-45
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?....Pages 46-54
Computer-Aided Analysis and Validation of Heterogeneous System Specifications....Pages 55-79
Patterns for Embedded Systems Design....Pages 80-89
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets....Pages 90-104
Representing Petri Nets in an Action Based Formalism....Pages 105-115
Simplification of Proof Procedures Based on the Path Condition Concepts....Pages 116-126
Parallel Processor Array for Tomographic Reconstruction Algorithms....Pages 127-141
A Formalized Description Approach to Continuos Time Systems....Pages 142-153
Modeling Complex Systems by Multi-agent Holarchies....Pages 154-168
Partition of Systems by General System Logical Theory (GSLT)....Pages 169-181
Front Matter....Pages 183-183
Multiagent Approach to Intelligent Control of Robot....Pages 185-200
Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools....Pages 201-208
System Integration Techniques in Robotics....Pages 209-223
Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots....Pages 224-238
Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations....Pages 239-249
Front Matter....Pages 183-183
Matrix Model of Robot in Matlab – Simulink....Pages 250-255
Front Matter....Pages 257-257
Integrating Two Dynamic Models of Business-Logistics Plant....Pages 259-273
Assembly Reengineering Model....Pages 274-281
Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation....Pages 282-288
Modeling the Emergence of Social Entities....Pages 289-294
Simulating Social Grouping: An Interactive Team-Building Tool (ITBT)....Pages 295-301
Sociological Aspects of Data Acquisition and Processing....Pages 302-306
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference....Pages 307-318
Simulation of Gaussian Processes and First Passage Time Densities Evaluation....Pages 319-333
Distributed Simulation with Multimedia Interface....Pages 334-342
Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem....Pages 343-356
Floating Car Data Analysis of Urban Road Networks....Pages 357-367
Information Lost in the Hologram Subdividing Process....Pages 368-373
Front Matter....Pages 375-375
Electronic Performance Support Systems Challenges and Problems....Pages 377-393
A Framework for the Elicitation, Evolution, and Traceability of System Requirements....Pages 394-406
Development of a Precision Assembly System Using Selective Assembly and Micro Machining....Pages 407-413
Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station....Pages 414-434
A Formalisation of the Evolution of Software Systems....Pages 435-449
HEDES: A System Theory Based Tool to Support Evolutionary Software Systems....Pages 450-464
Vertical Partitioning Algorithms in Distributed Databases....Pages 465-474
Front Matter....Pages 375-375
Decision Based Adaptive Model for Managing Software Development Projects....Pages 475-485
A Fractal Software Complexity Metric Analyser....Pages 486-493
Front Matter....Pages 495-495
Systems Approach to Attention Mechanisms in the Visual Pathway....Pages 497-505
On Completness in Early Vision from Systems Theory....Pages 506-513
McCulloch Program II in Artificial Systems and Lastres Theorem....Pages 514-520
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases....Pages 521-527
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems....Pages 528-542
Variable-Structure Learning Controllers....Pages 543-549
An Identification Algorithmic Toolkit for Intelligent Control Systems....Pages 550-564
Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures....Pages 565-572
The Supervision of Hybrid Control Systems – A Layered Architecture....Pages 573-587
Automatic Players for Computer Games....Pages 588-600
Back Matter....Pages -