8. EUROCAST 2001: Las Palmas de Gran Canaria, Canary Islands, Spain

Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (Eds.): Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers. Lecture Notes in Computer Science 2178 Springer 2001, ISBN 3-540-42959-X

Invited Lectures

Bruno Buchberger:
Gröbner Bases: A Short Introduction for Systems Theorists. 1-19
Egon Börger:
Design for Reuse via Structuring Techniques for ASMs. 20-35

Michael Affenzeller, Franz Pichler, Rudolf Mittelmann:
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata. 36-44
Sebastian Meine:
A Holarchical Organized Design Assistant for Hierarchical Decompositions. 45-51
Witold Jacak, Karin Pröll, Stephan Dreiseitl:
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach. 52-66
Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties. 67-78
Thomas Stauner:
Hybrid Systems' Properties - Classification and Relation to Computer Science. 79-93
Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen:
Assertion-Based Analysis of Hybrid Systems with PVS. 94-109
Hermann von Issendorff:
Algebraic Description of Physical Systems. 110-124

Takuhei Shimogawa:
Information Structure and Logical Design of Social Rules. 125-138
Gábor Németh:
Towards a Generic Model of Information Processing Systems. 139-145
María Visitación Hurtado, José Parets-Llorca:
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies. 146-159
Isabel María del Águila, Samuel Túnez, Joaquín Cañadas, Alfonso Bosch, Roque Marín:
A proposal for Projekt Management Using CommonKADS. 160-171
Manfred Mauerkirchner:
A General Planning Method for Allocation of Human Resource Groups. 172-181
Markus Schwaninger:
Optimizing Organizational Structuce: A Hausdorff Benchmark for Complex Social Systems. 182-195
Enrique Paniagua-Arís, José T. Palma-Méndez, Fernando Martín-Rubio:
A Planning under Uncertainty Model. 196-208

José Fernando Bienvenido, Isabel M. Flores-Parra, Rafael Guirado, Roque Marín:
Knowledge Based Modeling of the Design Processes as a Base of Design Tools. Application to the Development of Agricultural Structures. 209-222
Stefan Dierneder, Rudolf Scheidl:
Complexity Analysis of Systems from a Functional and Technical Viewpoint. 223-232
Juan David González Cobas, José Antonio López Brugos:
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength. 233-241
Carlos A. P. Campani, Paulo Blauth Menezes:
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. 242-256
Josef Scharinger:
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution. 257-269
Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca:
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory. 270-284
Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani:
Optimization Problems Categories. 285-299

Roberto Moreno-Díaz, Gabriel de Blasio:
Systems Methodology for Classical Neural Nets at Various Levels. 300-315
Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., Miguel Alemán-Flores:
Biologically Based CAST-mechanism for Visual Motion Analysis. 316-327
Carmen Paz Suárez Araujo, Pablo Fernández López, Patricio García Báez:
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach. 328-342
Marta E. Zorrilla, José Luis Crespo, Eduardo Mora:
An Online Information Retrieval Systems by Means of Artificial Neural Networks. 343-351
Germano Resconi, Alberto Borboni, Rodolfo Faglia, Monica Tiboni:
Kinematics in Robotics by the Morphogenetic Neuron. 352-368
Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Analysis and Verification Queries over Object-Oriented Petri Nets. 369-384

Pedro Albertos, Alfons Crespo:
Integrated Design and Implementation of Digital Controllers. 385-392
Jesús Rodríguez-Millán:
Symbolic Computation Tools for Dynamical Nonlinear Control Systems. 393-404
Jesús Rodríguez-Millán:
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica. 405-420
Marc Frappier, Richard St.-Denis:
Towards a Computer-Aided Design of Reactive Systems. 421-436
Agustin Raya, Darío Maravall Gómez-Allende:
Contributions to the Control and Stabilization of the Pole-Cart System. 437-449
Ricardo García Rosa, Teresa de Pedro:
A Qualitative System as a Frame to Control Unmanned Vehicles. 450-456
Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes:
Hyper-Automation System Applied to Geometry Demonstration Environment. 457-468

Bruno Buchberger:
The PCS Prover in THEOREMA. 469-478
Tetsuo Ida, Mircea Marin, Taro Suzuki:
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. 479-493
Andreas Meier, Martin Pollet, Volker Sorge:
Classifying Isomorphic Residue Classes. 494-508
Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti:
CAL: A Computer Assisted Learning System for Computation and Logic. 509-524
Wolfgang Windsteiger:
A Set Theory Prover Within Theorema. 525-539