Computer aided systems theory - EUROCAST'99 : ; proceedings a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999
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...
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
1798 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.), 2000, Berlin, Springer, 1 vol. (X-602 p.), Lecture notes in computer science, 3-540-67822-0 • Computer Aided Systems Theory - EUROCAST'99, Texte imprimé, 9783662181126 |
書本目錄:
- 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.