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

목차 (Table of Contents)

• CONTENTS
• 1 Systems Theory and Systems Technology Systems Theory and Engineering / F. Pichler = 2
• Computer-Aided Systems Technology : Its Role in Advanced Computerization / T. I. $$\ddot O$$ren = 11
• Computer Aided Nonlinear System Design Based on Algebraic System Reprisentation and on Nonlinear Bundle Graphs / H. J. Sommer ; H. Hahn = 21
• A New Model-Based Approach to the Co-Design of Heterogeneous Systems / D. Monjau ; St. Kahlert ; K. Buchenrieder ; Ch. Veith = 42
• Towards an "Erlangen Program" for General Linear Systems Theory / R. Creutzburg ; V.6. Labunets ; E. V. Labunets = 52
• The Shape of Complex Systems / Ch. Rattray = 72
• Polynomial Systems Theory for n-D Systems Applied to Vision-Based Control / R. Ylinen = 83
• A Representation of Software Systems Evolution Based on the Theory of the General System / J. Parots ; A. Anaya ; M. J. Rodr$$i'$$guez ; P. Paderewski = 96
• Theoretical Considerations About Subset Descriptions / G. Fiol ; S. Mir$$o'$$­Nicolau = 111
• Sampled Data Passive Systems / P. Albertos = 118
• Computer-Aided Systems Technology for CAD Environments : Complexity Issues and a Repository-Based Approach / T. I. $$\ddot O$$ren ; D. G. King = 131
• On Requirements for a CAST-Tool for Complex, Reactive System Analysis, Design and Evaluation / Ch. Schaffer ; H. Pr$$\ddot a$$hofer = 137
• Automating the Modeling of Dynanlic Systems / H. Hy$$\ddot o$$tyniemi = 160
• 2 Specific Methods
• Formal Methods and Their Future / G. Musgrave ; S. Finn ; M. Francis ; R. Harris ; R. B. Hushes = 180
• Formal Description of Bus Interfaces Using Methods of System Theory / E. M. Thurner = 190
• CAST Tools for Intelligent Control in Manufacturing Automation / W. Jacak ; J. Rozenblit = 203
• An Algebraic Transformation of the Minimum Automaton Identification Problem / I. Sierocki = 220
• On Possibilistic Automata / C. Joslyn = 231
• On Automatic Adjustment of the Sampling Period / S. Dormido ; I. L$$o'$$pez ; F. Morilla ; M. A. Canto = 243
• FSM Shift Register Realization for Improved Testability / Th. Mueller­Wipperfuerth ; J. Scharinger ; F. Pichler = 254
• Cluster-Based Modelling of Processes with Unknown Qualitative Variables / R. Ylinen = 268
• The Role of Partitions and Functionals in Descriptor Computation for Data Receptive Fields / J. A. Mu$$\tilde n$$oz-Blanco ; J. C. Quevedo-Losada ; O. Bolivar-Toledo = 282
• On Some Algorithmic and Computational Problems for Neuronal Diffusion Models / V. Giomo ; A. G. Nobile ; L. M. Ricciardi = 293
• Hierarchic Representation for Spatial Knowledge / D. H. Kieronska ; S. Venkatesh = 314
• 3 Applications
• Probabilistic Models in Qualitative Simulation / W. Grossmann ; H. Werthner = 331
• STIMS-MEDTOOL : Integration of Expert Systems with Systems Modelling and Simulation / R. P. Otero ; A. Barreiro ; H. Praehofer ; F. Pichler ; J. Mira = 347
• Systems Concepts for Visual Texture Change Detection Strategy / J. A. Mu$$\tilde n$$oz-Blanco ; C. Garcia ; F. Alayon ; S. Candela = 357
• Qualitative Computation with Neural Nets : Differential Equations Like Examples / A. Delgado ; R. Moreno-D$$i'$$az ; J. Mira = 366
• Interpretation-Driven Low-Level Parameter Adaptation in Scene Analysis / M. Kilger ; T. Dietl = 380
• General Systems Theory as a Framework for Model-Based Diagnosis / Z. Zdr$$\acute a$$hal = 388
• Technical Applications of Knowledge-Based Systems / P. Kopacek = 399
• CASE-Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems / M. Zauner = 406
• Modelling and Analysis of Complex Stochastic Systems : from a Specific Example to a General Environment / G. J. Marshall ; A. Behrooz ; P. M. Clayton = 418
• System Theoretic Approach to Migration of Project Models / K. Kitzm$$\ddot u$$llerr = 427
• Computer-Aided Analysis and Design of Sequential Control in Industrial Processes / K. Zenger = 440
• Index of Authors = 451