Computer Aided Systems Theory - EUROCAST 2001

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 NeuralNets 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.