Computer Aided Systems Theory--Eurocast '95
by International Workshop on Computer Aided Systems Theory 1995 innsbruc; Pichler, Franz; Moreno-Diaz, Roberto; Albrecht, R. F.Format: Paperback
Pub. Date: 1996-06-01
Publisher(s): Springer Nature
Other versions by this Author
List Price: $129.00
Rent Textbook
Select for Price
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995.The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications.
Table of Contents
| On the Structure of Discrete Systems | p. 3 |
| Identification and Recognition through Shape in Complex Systems | p. 19 |
| A Logical Approach to System Construction | p. 30 |
| Task Management System | p. 48 |
| Toward a unified theory of discrete event systems | p. 62 |
| Intersensorial Transformations: General Systems Description and Implications | p. 73 |
| Proving System Properties by Means of Trigger-Graph and Petri Nets | p. 88 |
| Refinement Mapping for General (Discrete Event) Systems Theory | p. 103 |
| A System-Theoretic Approach to Planning and Programming | p. 117 |
| Equality of Functions in CAST | p. 129 |
| Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques | p. 137 |
| Temporal and Functional Verification of a Symbolic Representation of Complex Systems | p. 151 |
| Modelling Differential Equations by Basic Information Technology Means | p. 163 |
| System Theoretic Aspects of Software Architectures | p. 175 |
| A Language for Describing Complex-Evolutive Software Systems | p. 181 |
| An Architecture for Process Modeling and Execution Support | p. 201 |
| A Formal Semantics for a Graphical Model Representation in System Design | p. 217 |
| A User-Interface for a Microsystems High-level Simulator | p. 228 |
| CAST Extensions to DASME to Support Generalized Information Theory | p. 237 |
| Symbolic Computing Aided Design of Nonlinear PID Controllers | p. 253 |
| Discrete Event Simulation in an Environment for Temporal Expert Systems | p. 271 |
| TOMSPIN - A Tool for Modeling with Stochastic Petri Nets | p. 283 |
| Hybrid Evolutionary Programming: the Tools for CAST | p. 289 |
| Automatic Induction of DEVS Structures | p. 305 |
| Systems Engineering and Infrastructures for Open Computer Based Systems | p. 317 |
| Object-Oriented High Level Modeling of Complex Systems | p. 332 |
| Multifacetted, Object Oriented Modeling in the Transportation Domain | p. 341 |
| EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems | p. 358 |
| Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools | p. 375 |
| DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning | p. 386 |
| Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm? | p. 403 |
| High-Performance Parallel Computing for Analyzing Urban Air Pollution | p. 417 |
| Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model | p. 423 |
| Computer Aided Rule Extraction from Examples | p. 437 |
| Cast Methods for Generation of Non-Orthogonal Complete Transforms | p. 447 |
| Cast System Approach for Visual Inspection | p. 459 |
| Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications | p. 465 |
| Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion | p. 477 |
| A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles | p. 494 |
| Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data | p. 511 |
| Training Simulator for Garona Nuclear Power Plant | p. 523 |
| Supervisory Control and Data Acquisition System for the Gas Flow Networks | p. 530 |
| List of Authors | p. 539 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.