LEADER 08714nam 22008055 450 001 996466156603316 005 20200702153622.0 010 $a3-540-44931-0 024 7 $a10.1007/10720123 035 $a(CKB)1000000000548802 035 $a(SSID)ssj0000322070 035 $a(PQKBManifestationID)11227106 035 $a(PQKBTitleCode)TC0000322070 035 $a(PQKBWorkID)10281988 035 $a(PQKB)11049956 035 $a(DE-He213)978-3-540-44931-7 035 $a(MiAaPQ)EBC3088583 035 $a(PPN)155205048 035 $a(EXLCZ)991000000000548802 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Aided Systems Theory - EUROCAST'99$b[electronic resource] $eA Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings /$fedited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 606 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1798 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67822-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aSurvey 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-Building Tool (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 Hybrid Control Systems ? A Layered Architecture -- Automatic Players for Computer Games. 330 $aComputer 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1798 606 $aComputer-aided engineering 606 $aSpecial purpose computers 606 $aComputational complexity 606 $aArtificial intelligence 606 $aPhysics 606 $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aComplexity$3https://scigraph.springernature.com/ontologies/product-market-codes/T11022 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Methods in Physics$3https://scigraph.springernature.com/ontologies/product-market-codes/P19013 606 $aNumerical and Computational Physics, Simulation$3https://scigraph.springernature.com/ontologies/product-market-codes/P19021 615 0$aComputer-aided engineering. 615 0$aSpecial purpose computers. 615 0$aComputational complexity. 615 0$aArtificial intelligence. 615 0$aPhysics. 615 14$aComputer-Aided Engineering (CAD, CAE) and Design. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComplexity. 615 24$aArtificial Intelligence. 615 24$aMathematical Methods in Physics. 615 24$aNumerical and Computational Physics, Simulation. 676 $a620.00420285 702 $aPichler$b Franz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoreno-Diaz$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKopacek$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Computer Aided Systems Theory 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466156603316 996 $aComputer Aided Systems Theory - EUROCAST'99$92206135 997 $aUNISA