Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between systems theory and CAST and other similar ?elds of research and tool development such as for example in applied numerical analysis or other computational sciences. TheheredocumentedEUROCASTconferencewhichtookplaceattheVienna University of Technology re?ects current mainstreams in CAST. As in the p- vious conferences new topics, both theoretical and application oriented, have been addressed. The presented papers show that the ?eld is widespread and that new - velopments in computer science and in information technology are the driving forces. Theeditorswouldliketothanktheauthorsforprovidingtheirmanuscriptsin hardcopyandinelectronicformontime.Thesta?ofSpringer-VerlagHeidelberg gave, as in previous CAST publications, valuable support in editing this volume.
Author(s): Franz Pichler (auth.), Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler (eds.)
Series: Lecture Notes in Computer Science 1798
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 606
Tags: Special Purpose and Application-Based Systems; Complexity; Artificial Intelligence (incl. Robotics); Computer-Aided Engineering (CAD, CAE) and Design; Mathematical Methods in Physics; Numerical and Computational Physics
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 -
