default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. EUROCAST 1995: Innsbruck, Austria
- Franz Pichler, Roberto Moreno-Díaz, Rudolf F. Albrecht:
Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings. Lecture Notes in Computer Science 1030, Springer 1996, ISBN 3-540-60748-X
1 Systems Theory
- Rudolf F. Albrecht:
On the Structure of Discrete Systems. 3-18 - Charles Rattray:
Identification and Recognition through Shape in Complex Systems. 19-29 - Gillian Hill:
A Logical Approach to System Construction. 30-47 - Yasuhiko Takahara, Xiaohong Chen:
Task Management System. 48-61 - Ryo Sato:
Toward a unified theory of discrete event systems. 62-72 - Carmen Paz Suárez Araujo, Roberto Moreno-Díaz:
Intersensorial Transformations: General Systems Description and Implications. 73-87 - Erwin M. Thurner:
Proving System Properties by Means of Trigger-Graph and Petri Nets. 88-102 - Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory. 103-116 - Ireneusz Sierocki:
A System-Theoretic Approach to Planning and Programming. 117-128 - Josep Miró, Margaret Miró-Julià:
Equality of Functions in CAST. 129-136 - Jesús Rodríguez-Millán:
Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques. 137-150 - Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray
, Vincent Chapurlat:
Temporal and Functional Verification of a Symbolic Representation of Complex Systems. 151-162 - Maria Brielmann:
Modelling Differential Equations by Basic Information Technology Means. 163-174 - Franz Kapsner:
System Theoretic Aspects of Software Architectures. 175-180 - José Parets-Llorca, Juan Carlos Torres:
A Language for Describing Complex-Evolutive Software Systems. 181-197
2 Design Environments and Tools
- Christine Kocourek:
An Architecture for Process Modeling and Execution Support. 201-216 - Stefan Kahlert, Thomas Kruse, Dieter Monjau:
A Formal Semantics for a Graphical Model Representation in System Design. 217-227 - Erdmuthe Meyer zu Bexten, Claudio Moraga:
A User-Interface for a Microsystems High-Level Simulator. 228-236 - Cliff A. Joslyn, Scott Henderson:
CAST Extensions to DASME to Support Generalized Information Theory. 237-252 - Jesús Rodríguez-Millán, Juan Cardillo:
Symbolic Computing Aided Design of Nonlinear PID Controllers. 253-270 - Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo:
Discrete Event Simulation in an Environment for Temporal Expert Systems. 271-282 - Erwin M. Thurner, C. Wincheringer:
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets. 283-288 - Witold Jacak, Stephan Dreiseitl:
Hybrid Evolutionary Programming: the Tools for CAST. 289-304 - Ramón P. Otero, David Lorenzo, Pedro Cabalar:
Automatic Induction of DEVS Structures. 305-313
3 Complex Systems Design
- Gerhard Schweizer, Markus Voss:
Systems Engineering and Infrastructures for Open Computer Based Systems. 317-331 - Karlheinz Agsteiner, Dieter Monjau, Sören Schulze:
Object-Oriented High Level Modeling of Complex Systems. 332-340 - Herbert Praehofer, Franz Pichler:
Multifacetted, Object Oriented Modeling in the Transportation Domain. 341-357 - Christoph Schaffer, R. J. Raschhofer, A. Simma:
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems. 358-374 - Uwe Gläser:
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools. 375-385 - Lyes Hamaidi, Patrick Bourseau, Gilles Muratet, Jerry M. Couretas, Bernard P. Zeigler:
DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning. 386-402 - Gerhard Chroust, Witold Jacak:
Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm? 403-414
4 Specific Applications
- Achim Sydow, Thomas Lux, Ralf-Peter Schäfer:
High-Performance Parallel Computing for Analyzing Urban Air Pollution. 417-422 - Elzbieta Roszkowska:
Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model. 423-436 - Petr Vysoký, Zdenek Pechal:
Computer Aided Rule Extraction from Examples. 437-446 - Juan Carlos Quevedo-Losada, Olga Bolívar Toledo, Roberto Moreno-Díaz:
Cast Methods for Generation of Non-Orthogonal Complete Transforms. 447-458 - Santiago Candela Solá, Christophe Garcia, Francisco Alayón Hernández, J. Muñoz:
Cast System Approach for Visual Inspection. 459-464 - Franz Pichler, Josef Scharinger:
Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications. 465-476 - Daniel M. Dubois:
Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion. 477-493 - Daniel M. Dubois:
A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles. 494-510 - José Barahona da Fonseca:
Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data. 511-522 - Francisco Bustio, Pedro Corcuera, Eduardo Mora:
Training Simulator for Garoña Nuclear Power Plant. 523-529 - Ryszard Klempous, Barbara Lysakowska, Jan Nikodem:
Supervisory Control and Data Acquisition System for the Gas Flow Networks. 530-538
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-14 01:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
