3. EUROCAST 1993:
Las Palmas,
Spain
Franz Pichler, Roberto Moreno-Díaz (Eds.):
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.
Lecture Notes in Computer Science 763 Springer 1994, ISBN 3-540-57601-0 BibTeX
@proceedings{DBLP:conf/eurocast/1993,
editor = {Franz Pichler and
Roberto Moreno-D\'{\i}az},
title = {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},
booktitle = {EUROCAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {763},
year = {1994},
isbn = {3-540-57601-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Systems Theory and Systems Technology
- Franz Pichler:
Systems Theory and Engineering.
2-10 BibTeX
- Tuncer I. Ören:
Computer-Aided Systems Technology: Its Role in Advanced Computerization.
11-20 BibTeX
- H.-J. Sommer, H. Hahn:
Computer Aided Nonlinear Systems Design Based on Algebraic System Representation and on Nonlinear Bundle Graphs.
21-41 BibTeX
- Dieter Monjau, Stefan Kahlert, Klaus Buchenrieder, Christian Veith:
A New Model-Based Approach to the Co-Design of Heterogeneous Systems.
42-51 BibTeX
- Reiner Creutzburg, Valeri G. Labunets, Ekaterina V. Labunets:
Towards an "Erlangen Program" for General Linear Systems Theory.
52-71 BibTeX
- Charles Rattray:
The Shape of Complex Systems.
72-82 BibTeX
- Raimo Ylinen:
Polynominal Systems Theory for n-D Systems Applied to Vision-Based Control.
83-95 BibTeX
- José Parets-Llorca, Ana Anaya, María J. Rodríguez, Patricia Paderewski:
A Representation of Software Systems Evolution Based on the Theory of the General System.
96-109 BibTeX
- Gabriel Fiol-Roig, José Miró-Nicolau:
Theoretical Considerations About Subset Descriptions.
111-117 BibTeX
- Pedro Albertos:
Sampled Data Passive Systems.
118-130 BibTeX
- Tuncer I. Ören, Douglas G. King:
Computer-Aided Systems Technology for CAD Environments: Complexity Issues and a Repository-Based Approach.
131-136 BibTeX
- Christoph Schaffer, Herbert Praehofer:
On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation.
137-159 BibTeX
- Heikki Hyötyniemi:
Automating the Modeling of Dynamic Systems.
160-178 BibTeX
Specific Methods
- Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes:
Formal Methods and Their Future.
180-189 BibTeX
- Erwin M. Thurner:
Formal Description of Bus Interfaces Using Methods of System Theory.
190-202 BibTeX
- Witold Jacak, Jerzy W. Rozenblit:
CAST Tools for Intelligent Control in Manufacturing Automation.
203-219 BibTeX
- Ireneusz Sierocki:
An Algebraic Transformation of the Minimum Automaton Identification Problem.
220-230 BibTeX
- Cliff Joslyn:
On Possibilistic Automata.
231-242 BibTeX
- S. Dormido, I. López, F. Morilla, M. A. Canto:
On Automatic Adjustment of the Sampling Period.
243-253 BibTeX
- Thomas Müller-Wipperfürth, Josef Scharinger, Franz Pichler:
FSM Shift Register Realization for Improved Testability.
254-267 BibTeX
- Raimo Ylinen:
Cluster-Based Modelling of Processes with Unknown Qualitative Variables.
268-281 BibTeX
- J. A. Muñoz-Blanco, Juan Carlos Quevedo-Losada, Olga Bolívar Toledo:
The Role of Partitions and Functionals in Descriptor Computation for Data Receptive Fields.
282-292 BibTeX
- Virginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi:
On Some Algorithmic and Computational Problems for Neuronal Diffusion Models.
293-313 BibTeX
- Dorota H. Kieronska, Svetha Venkatesh:
Hierarchic Representation for Spatial Knowledge.
314-329 BibTeX
Applications
- Wilfried Grossmann, Hannes Werthner:
Probabilistic Models in Qualitative Simulation.
331-346 BibTeX
- Ramón P. Otero, Alvaro Barreiro, Herbert Praehofer, Franz Pichler, José Mira:
STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation.
347-356 BibTeX
- J. A. Muñoz-Blanco, Christophe Garcia, Francisco Alayón Hernández, Santiago Candela Solá:
Systems Concepts for Visual Texture Change Detection Strategy.
357-365 BibTeX
- Ana E. Delgado García, Roberto Moreno-Díaz, José Mira:
Qualitative Computation with Neural Nets: Differential Equations Like Examples.
366-379 BibTeX
- M. Kilger, T. Dietl:
Interpretation-Driven Low-Level Parameter Adaptation in Scene Analysis.
380-387 BibTeX
- Zdenek Zdráhal:
General Systems Theory as a Framework for Model-Based Diagnosis.
388-398 BibTeX
- Peter Kopacek:
Technical Applications of Knowledge-Based Systems.
399-405 BibTeX
- Martin Zauner:
CASE - Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems.
406-417 BibTeX
- G. J. Marshall, A. Behrooz, F. M. Clayton:
Modelling and Analysis of Complex Stochastic Systems: from a Specific Example to a General Environment.
418-426 BibTeX
- Karl Kitzmüller:
System Theoretic Approach to Migration of Project Models.
427-439 BibTeX
- Kai Zenger:
Computer-Aided Analysis and Design of Sequential Control in Industrial Processes.
440-449 BibTeX
Copyright © Sat May 16 23:11:06 2009
by Michael Ley (ley@uni-trier.de)
