Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas

ISBN-13: 9783540429593 / Angielski / Miękka / 2001 / 672 str.

R. Moreno-Diaz; Roberto Moreno-Diaz; Bruno Buchberger

Opis

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST, (Las Palmas, February 1989), under the name EUROCAST 89. This was a very successful gathering of systems theorists, computer scientists, and engineers from most European countries, North America, and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994."

Spis treści

Invited Lectures.- Gröbner Bases: A Short Introduction for Systems Theorists.- Design for Reuse via Structuring Techniques for ASMs.- Computer Aided Systems Theory.- On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata.- A Holarchical Organized Design Assistant for Hierarchical Decompositions.- Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach.- Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties.- Hybrid Systems’ Properties — Classification and Relation to Computer Science.- Assertion-Based Analysis of Hybrid Systems with PVS.- Algebraic Description of Physical Systems.- Information Structure and Logical Design of Social Rules.- Towards a Generic Model of Information Processing Systems.- Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies.- A Proposal for Project Management Using CommonKADS.- A General Planning Method for Allocation of Human Resource Groups.- Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems.- A Planning under Uncertainty Model.- Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures.- Complexity Analysis of Systems from a Functional and Technical Viewpoint.- A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength.- Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity.- Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution.- Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory.- Optimization Problems Categories.- Systems Methodology for Classical Neural Nets at Various Levels.- Biologically Based CAST-mechanism for Visual Motion Analysis.- Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach.- An Online Information Retrieval Systems by Means of Artificial Neural Networks.- Kinematics in Robotics by the Morphogenetic Neuron.- Analysis and Verification Queries over Object-Oriented Petri Nets.- Integrated Design and Implementation of Digital Controllers.- Symbolic Computation Tools for Dynamical Nonlinear Control Systems.- Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica.- Towards a Computer-Aided Design of Reactive Systems.- Contributions to the Control and Stabilization of the Pole-Cart System.- A Qualitative System as a Frame to Control Unmanned Vehicles.- Hyper-Automation System Applied to Geometry Demonstration Environment.- Computer Algebra and Automated Theorem Proving.- The PCS Prover in TH?OREM?.- Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.- Classifying Isomorphic Residue Classes.- CAL: A Computer Assisted Learning System for Computation and Logic.- A Set Theory Prover Within Theorema.- Functional Programming and ? Calculus.- The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.- Hidden Specification of a Functional System.- Distributed Execution of Functional Programs Using the JVM.- Fusion in Coq.- A Language Prototyping Tool Based on Semantic Building Blocks.- Verifying an Applicative ATP Using Multiset Relations.- Adding Traces to a Lazy Monadic Evaluator.- Functional Vs Object-Oriented Distributed Languages.- Persistent Haskell.