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

Häftad, Engelska, 2000

Av Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek

1 409 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2000-07-26
Mått155 x 233 x 34 mm
Vikt925 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor606
Upplaga2000
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540678229

Tillhör följande kategorier

Referensverk och tvärvetenskap inom Samhalle och politik
Matematisk fysik inom Naturvetenskap och teknik
Teknik: allmänt inom Naturvetenskap och teknik
Systemvetenskap och AI inom Data och it
CAD-program inom Data och it

Survey Papers.- The Cast Project: Experiences and Future Perspectives.- Cast Methods in Biocybernetics.- On the Way to the Next Generation of Robots.- Conceptual Frameworks, Methods and Tools.- Representation of the RCS Reference Model Architecture Using an Architectural Description Language.- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis.- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?.- Computer-Aided Analysis and Validation of Heterogeneous System Specifications.- Patterns for Embedded Systems Design.- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.- Representing Petri Nets in an Action Based Formalism.- Simplification of Proof Procedures Based on the Path Condition Concepts.- Parallel Processor Array for Tomographic Reconstruction Algorithms.- A Formalized Description Approach to Continuos Time Systems.- Modeling Complex Systems by Multi-agent Holarchies.- Partition of Systems by General System Logical Theory (GSLT).- Intelligent Robots.- Multiagent Approach to Intelligent Control of Robot.- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools.- System Integration Techniques in Robotics.- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots.- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations.- Matrix Model of Robot in Matlab – Simulink.- Modeling and Simulation.- Integrating Two Dynamic Models of Business-Logistics Plant.- Assembly Reengineering Model.- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation.- Modeling the Emergence of Social Entities.- Simulating Social Grouping: An Interactive Team-BuildingTool (ITBT).- Sociological Aspects of Data Acquisition and Processing.- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference.- Simulation of Gaussian Processes and First Passage Time Densities Evaluation.- Distributed Simulation with Multimedia Interface.- Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem.- Floating Car Data Analysis of Urban Road Networks.- Information Lost in the Hologram Subdividing Process.- Systems Engineering and Software Development.- Electronic Performance Support Systems Challenges and Problems.- A Framework for the Elicitation, Evolution, and Traceability of System Requirements.- Development of a Precision Assembly System Using Selective Assembly and Micro Machining.- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station.- A Formalisation of the Evolution of Software Systems.- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems.- Vertical Partitioning Algorithms in Distributed Databases.- Decision Based Adaptive Model for Managing Software Development Projects.- A Fractal Software Complexity Metric Analyser.- Artificial Intelligent Systems and Control.- Systems Approach to Attention Mechanisms in the Visual Pathway.- On Completness in Early Vision from Systems Theory.- McCulloch Program II in Artificial Systems and Lastres Theorem.- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases.- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems.- Variable-Structure Learning Controllers.- An Identification Algorithmic Toolkit for Intelligent Control Systems.- Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures.- The Supervision of HybridControl Systems – A Layered Architecture.- Automatic Players for Computer Games.