search for books and compare prices
Tables of Contents for Computer Aided Systems Theory - Eurocast 2001
Chapter/Section Title
Page #
Page Count
Invited Lectures
Grobner Bases: A Short Introduction for Systems Theorists
1
19
Design for Reuse via Structuring Techniques for ASMs
20
16
Computer Aided Systems Theory
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
36
9
A Holarchical Organized Design Assistant for Hierarchical Decompositions
45
7
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
52
15
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
67
12
Hybrid Systems' Properties - Classification and Relation to Computer Science
79
15
Assertion-Based Analysis of Hybrid Systems with PVS
94
16
Algebraic Description of Physical Systems
110
15
Information Structure and Logical Design of Social Rules
125
14
Towards a Generic Model of Information Processing Systems
139
7
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
146
14
A Proposal for Project Management Using CommonKADS
160
12
A General Planning Method for Allocation of Human Resource Groups
172
10
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems
182
14
A Planning under Uncertainty Model
196
13
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures
209
14
Complexity Analysis of Systems from a Functional and Technical Viewpoint
223
10
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
233
9
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
242
15
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution
257
13
Toward a Formalization of Evolutionary Hypermedia Systems Based on System Theory
270
15
Optimization Problems Categories
285
15
Systems Methodology for Classical Neural Nets at Various Levels
300
16
Biologically Based CAST-mechanism for Visual Motion Analysis
316
12
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach
328
15
An Online Information Retrieval Systems by Means of Artificial Neural Networks
343
9
Kinematic in Robotics by the Morphogenetic Neuron
352
17
Analysis and Verification Queries over Object-Oriented Petri Nets
369
16
Integrated Design and Implementation of Digital Controllers
385
8
Symbolic Computation Tools for Dynamical Nonlinear Control Systems
393
12
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica
405
16
Towards a Computer-Aided Design of Reactive Systems
421
16
Contributions to the Control and Stabilization of the Pole-Cart System
437
13
A Qualitative System as a Frame to Control Unmanned Vehicles
450
7
Hyper-Automation System Applied to Geometry Demonstration Environment
457
12
Computer Algebra and Automated Theorem Proving
The PCS Prover in THEOREMA
469
10
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
479
15
Classifying Isomorphic Residue Classes
494
15
CAL: A Computer Assisted Learning System for Computation and Logic
509
16
A Set Theory Prover Within Theorema
525
15
Functional Programming and λ Calculus
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server
540
15
Hidden Specification of a Functional System
555
15
Distributed Execution of Functional Programs Using the JVM
570
13
Fusion in Coq
583
14
A Language Prototyping Tool Based on Semantic Building Blocks
597
15
Verifying an Applicative ATP Using Multiset Relations
612
15
Adding Traces to a Lazy Monadic Evaluator
627
15
Functional Vs Object-Oriented Distributed Languages
642
15
Persistent Haskell
657
12
Author Index
669