Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26 1993 : proceedings
This volume contains a selection of papers presented at the third European Computer Aided Systems Theory workshop, EUROCAST '93, held in Spain in February 1993. The workshop emphasizes interdisciplinarity with the specificgoal of creating a synergy between fields such as systems theory, compute...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
763 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 '93, a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 1993, proceedings, F. Pichler, R. Moreno Diaz, eds, Berlin, Springer-Verlag, 1994, 1 vol. (IX-449 p.), Lecture notes in computer science, 0-387-57601-0 • Computer Aided Systems Theory - EUROCAST '93, Texte imprimé, 9783662205990 |
Table des matières:
- Systems theory and engineering
- Computer-Aided Systems technology: Its role in advanced computerization
- Computer aided nonlinear system design based on algebraic system representation and on nonlinear bundle graphs
- A new model-based approach to the co-design of heterogeneous systems
- Towards an Erlangen Program for general linear systems theory
- The shape of complex systems
- Polynomial systems theory for n-D systems applied to vision-based control
- A representation of software systems evolution based on the theory of the General System
- Theoretical considerations about subset descriptions
- Sampled data passive systems
- Computer-Aided Systems Technology for CAD environments: Complexity issues and a repository-based approach
- On requirements for a CAST-tool for complex, reactive system analysis, design and evaluation
- Automating the modeling of dynamic systems
- Formal methods and their future
- Formal description of bus interfaces using methods of system theory
- CAST tools for intelligent control in manufacturing automation
- An algebraic transformation of the minimum automaton identification problem
- On possibilistic automata
- On automatic adjustment of the sampling period
- FSM shift register realization for improved testability
- Cluster-based modelling of processes with unknown qualitative variables
- The role of partitions and functional in descriptor computation for data receptive fields
- On some algorithmic and computational problems for neuronal diffusion models
- Hierarchic representation for spatial knowledge
- Probabilistic models in qualitative simulation
- STIMS-Medtool: Integration of expert systems with systems modelling and simulation
- Systems concept for visual texture change detection strategy
- Qualitative computation withneural nets: Differential equations like examples
- Interpretation-driven low-level parameter adaptation in scene analysis
- General systems theory as a framework for model-based diagnosis
- Technical applications of knowledge-based systems
- CASE Computer-aided systems engineering, a new approach for developing IM-systems with special consideration of CIM systems
- Modelling and analysis of complex stochastic systems: From a specific example to a general environment
- System theoretic approach to migration of project models
- Computer-aided analysis and design of sequential control in industrial processes.