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:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
763 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
| LEADER | 05954nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944331 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155184067 | ||
| 020 | |a 9783540482864 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Computer Aided Systems Theory |n (03 |d :1993 |c :Las Palmas de Gran Canaria, Espagne). | |
| 245 | 1 | 0 | |a Computer aided systems theory - EUROCAST '93 : |b a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26 1993 : proceedings |c [edited by] F. Pichler, R. Moreno Díaz. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 763 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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, computer science, systems engineering and related areas. The contributions in this volume are strongly related to current problems in CAST research. They emphasize an engineering point of view concerning systems theory. Since the computer is an essential instrument in CAST research, there are close relations to specific topics incomputer science. The papers are grouped into parts on systems theory and systems technology, specific methods, and applications. | ||
| 650 | |a Conception assistée par ordinateur | ||
| 650 | |a Informatique | ||
| 650 | |a Simulation par ordinateur | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Ingénierie assistée par ordinateur | ||
| 650 | |a Système de CFAO | ||
| 650 | |a Biologie |x Informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pichler, Franz, |d 1936- |4 pbd | |
| 700 | 1 | |a Moreno-Diaz, Roberto, |d 1939- |4 pbd | |
| 776 | 0 | |0 017999685 |t Computer aided systems theory--EUROCAST '93 |o a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 1993 |o proceedings |f F. Pichler, R. Moreno Diaz, eds |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (IX-449 p.) |s Lecture notes in computer science |z 0-387-57601-0 | |
| 776 | 0 | |t Computer Aided Systems Theory - EUROCAST '93 |b Texte imprimé |z 9783662205990 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57601-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GH343FVB-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920648 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57601-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933100 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57601-0 |z Accès INSA CVL | |
| 997 | |0 944331 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||