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 19–23, 2001 Revised Papers

Bruno Buchberger (auth.), Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.)354042959X, 9783540429593

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.

---

Table of contents :
Gröbner Bases: A Short Introduction for Systems Theorists….Pages 1-19
Design for Reuse via Structuring Techniques for ASMs….Pages 20-35
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata….Pages 36-44
A Holarchical Organized Design Assistant for Hierarchical Decompositions….Pages 45-51
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach….Pages 52-66
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties….Pages 67-78
Hybrid Systems’ Properties — Classification and Relation to Computer Science….Pages 79-93
Assertion-Based Analysis of Hybrid Systems with PVS….Pages 94-109
Algebraic Description of Physical Systems….Pages 110-124
Information Structure and Logical Design of Social Rules….Pages 125-138
Towards a Generic Model of Information Processing Systems….Pages 139-145
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies….Pages 146-159
A Proposal for Project Management Using CommonKADS….Pages 160-171
A General Planning Method for Allocation of Human Resource Groups….Pages 172-181
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems….Pages 182-195
A Planning under Uncertainty Model….Pages 196-208
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures….Pages 209-222
Complexity Analysis of Systems from a Functional and Technical Viewpoint….Pages 223-232
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength….Pages 233-241
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity….Pages 242-256
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution….Pages 257-269
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory….Pages 270-284
Optimization Problems Categories….Pages 285-299
Systems Methodology for Classical Neural Nets at Various Levels….Pages 300-315
Biologically Based CAST-mechanism for Visual Motion Analysis….Pages 316-327
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach….Pages 328-342
An Online Information Retrieval Systems by Means of Artificial Neural Networks….Pages 343-351
Kinematics in Robotics by the Morphogenetic Neuron….Pages 352-368
Analysis and Verification Queries over Object-Oriented Petri Nets….Pages 369-384
Integrated Design and Implementation of Digital Controllers….Pages 385-392
Symbolic Computation Tools for Dynamical Nonlinear Control Systems….Pages 393-404
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica….Pages 405-420
Towards a Computer-Aided Design of Reactive Systems….Pages 421-436
Contributions to the Control and Stabilization of the Pole-Cart System….Pages 437-449
A Qualitative System as a Frame to Control Unmanned Vehicles….Pages 450-456
Hyper-Automation System Applied to Geometry Demonstration Environment….Pages 457-468
The PCS Prover in TH∃OREM∀….Pages 469-478
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations….Pages 479-493
Classifying Isomorphic Residue Classes….Pages 494-508
CAL: A Computer Assisted Learning System for Computation and Logic….Pages 509-524
A Set Theory Prover Within Theorema ….Pages 525-539
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server….Pages 540-554
Hidden Specification of a Functional System….Pages 555-569
Distributed Execution of Functional Programs Using the JVM….Pages 570-582
Fusion in Coq….Pages 583-596
A Language Prototyping Tool Based on Semantic Building Blocks….Pages 597-611
Verifying an Applicative ATP Using Multiset Relations….Pages 612-626
Adding Traces to a Lazy Monadic Evaluator….Pages 627-641
Functional Vs Object-Oriented Distributed Languages….Pages 642-656
Persistent Haskell….Pages 657-667