Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 2001, Revised Papers

by Moreno-Diaz, Roberto; Buchberger, Bruno; Freire, Jose-Luis

• ISBN13: 9783540429593
• ISBN10: 354042959X
• Format: Paperback
• Copyright: 2002-01-01
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001.The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.

Table of Contents

Invited Lectures
Grobner Bases: A Short Introduction for Systems Theorists	1	(19)
B. Buchberger
Design for Reuse via Structuring Techniques for ASMs	20	(16)
E. Borger
Computer Aided Systems Theory
Mathematical and Logic Formalisms
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata	36	(9)
M. Affenzeller
F. Pichler
R. Mittelmann
A Holarchical Organized Design Assistant for Hierarchical Decompositions	45	(7)
S. Meine
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach	52	(15)
W. Jacak
K. Proll
S. Dreiseitl
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties	67	(12)
E. Di Nardo
A.G. Nobile
E. Pirozzi
L.M. Ricciardi
Hybrid Systems' Properties - Classification and Relation to Computer Science	79	(15)
T. Stauner
Assertion-Based Analysis of Hybrid Systems with PVS	94	(16)
E. Abraham-Mumm
U. Hannemann
M. Steffen
Algebraic Description of Physical Systems	110	(15)
H. von Issendorff
Information and Decision
Information Structure and Logical Design of Social Rules	125	(14)
T. Shimogawa
Towards a Generic Model of Information Processing Systems	139	(7)
G. Nemeth
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies	146	(14)
M. V. Hurtado
J. Parets
A Proposal for Project Management Using CommonKADS	160	(12)
I. del Aguila
S. Tunez
J. Canadas
A. Bosch
R. Marin
A General Planning Method for Allocation of Human Resource Groups	172	(10)
M. Mauerkirchner
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems	182	(14)
M. Schwaninger
A Planning under Uncertainty Model	196	(13)
E. Paniagua-Aris
J. T. Palma-Mendez
F. Martin-Rubio
Complexity
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures	209	(14)
J.F. Bienvenido
I.M. Flores-Parra
R. Guirado
R.L. Marin
Complexity Analysis of Systems from a Functional and Technical Viewpoint	223	(10)
S. Dierneder
R. Scheidl
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength	233	(9)
J. D. Gonzalez Cobas
J. A. Lopez Brugos
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity	242	(15)
C.A. P. Campani
P. B. Menezes
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution	257	(13)
J. Scharinger
Toward a Formalization of Evolutionary Hypermedia Systems Based on System Theory	270	(15)
L. Garcia-Cabrera
M.J. Rodriguez-Fortiz
J. Parets-Llorca
Optimization Problems Categories	285	(15)
L. A. dos Santos Leal
P.B. Menezes
D. Moraes Claudio
L. Vieira Toscani
CAST in Neural-like Computation. Applications
Systems Methodology for Classical Neural Nets at Various Levels	300	(16)
R. Moreno-Diaz
G. de Blasio
Biologically Based CAST-mechanism for Visual Motion Analysis	316	(12)
A. Quesada-Arencibia
R. Moreno-Diaz, jr.
M. Aleman-Flores
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach	328	(15)
C. P. Suarez Araujo
P. Fernandez Lopez
P. Garcia Baez
An Online Information Retrieval Systems by Means of Artificial Neural Networks	343	(9)
M. E. Zorrilla
J. L. Crespo
E. Mora
Kinematic in Robotics by the Morphogenetic Neuron	352	(17)
G. Resconi
A. Borboni
R. Faglia
M. Tiboni
Analysis and Verification Queries over Object-Oriented Petri Nets	369	(16)
M. Ceska
V. Janousek
T. Vojnar
CAST in Automation and Control
Integrated Design and Implementation of Digital Controllers	385	(8)
P. Albertos
A. Crespo
Symbolic Computation Tools for Dynamical Nonlinear Control Systems	393	(12)
J. Rodriguez-Millan
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica	405	(16)
J. Rodriguez-Millan
Towards a Computer-Aided Design of Reactive Systems	421	(16)
M. Frappier
R. St-Denis
Contributions to the Control and Stabilization of the Pole-Cart System	437	(13)
A. Raya
D. Maravall
A Qualitative System as a Frame to Control Unmanned Vehicles	450	(7)
R. Garcia Rosa
T. de Pedro
Hyper-Automation System Applied to Geometry Demonstration Environment	457	(12)
J. P. Machado
M. R. Notare
S. A. da Costa
T. A. Diverio
P. B. Menezes
Computer Algebra and Automated Theorem Proving
The PCS Prover in THEOREMA	469	(10)
B. Buchberger
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations	479	(15)
T. Ida
M. Marin
T. Suzuki
Classifying Isomorphic Residue Classes	494	(15)
A. Meier
M. Pollet
V. Sorge
CAL: A Computer Assisted Learning System for Computation and Logic	509	(16)
M. Sato
Y. Kameyama
T. Izumi
A Set Theory Prover Within Theorema	525	(15)
W. Windsteiger
Functional Programming and λ Calculus
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server	540	(15)
M. Barreiro
V. M. Gulias
J.J. Sanchez
S. Jorge
Hidden Specification of a Functional System	555	(15)
C. Dominguez
L. Lamban
V. Pascual
J. Rubio
Distributed Execution of Functional Programs Using the JVM	570	(13)
A. R. Du Bois
A. C. da Rocha Costa
Fusion in Coq	583	(14)
J.L. Freire Nistal
J.E. Freire Branas
A. Blanco Ferro
J. J. Sanchez Penas
A Language Prototyping Tool Based on Semantic Building Blocks	597	(15)
J.E. Labra Gayo
J.M. Cueva Lovelle
M.C. Luengo Diez
B.M. Gonzalez Rodriguez
Verifying an Applicative ATP Using Multiset Relations	612	(15)
F.J. Martin-Mateos
J.A. Alonso
M.J. Hidalgo
J.L. Ruiz-Reina
Adding Traces to a Lazy Monadic Evaluator	627	(15)
C. Pareja
R. Pena
F. Rubio
C. Segura
Functional Vs Object-Oriented Distributed Languages	642	(15)
R.F. Pointon
S. Priebe
H.-W. Loidl
R. Loogen
P.W. Trinder
Persistent Haskell	657	(12)
J. Quintela
J.J. Sanchez
Author Index	669