6. EUROCAST 1997:
Las Palmas de Gran Canaria,
Canary Islands,
Spain
Franz Pichler, Roberto Moreno-Díaz (Eds.):
Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings.
Lecture Notes in Computer Science 1333 Springer 1997, ISBN 3-540-63811-3 BibTeX
@proceedings{DBLP:conf/eurocast/1997,
editor = {Franz Pichler and
Roberto Moreno-D\'{\i}az},
title = {Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers
from the 6th International Workshop on Computer Aided Systems
Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997,
Proceedings},
booktitle = {EUROCAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1333},
year = {1997},
isbn = {3-540-63811-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Design Environments and Tools
Theory and Methods
- Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot:
Formal Representation and Proof of the Interpreted Sequential Machine Model.
95-107 BibTeX
- Uwe Glässer:
Modelling of Concurrent and Embedded Systems.
108-122 BibTeX
- Antonio Cau, Willem P. de Roever:
A Dense-Time Temporal Logic with Nice Compositionality Properties.
123-145 BibTeX
- Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro:
Introducing Planning in Discrete Event Systems.
146-159 BibTeX
- Pedro Albertos, Jorge Bondia, P. Moya:
Multirate Control of a Class of Nonlinear Systems.
160-169 BibTeX
- H.-J. Sommer, H. Hahn:
Global Structural Approximate Controllability of Polynominal Nonlinear Systems.
170-176 BibTeX
- Elvira Di Nardo, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi:
Vectorized Simulations of Normal Processes for First Crossing-Time Problems.
177-188 BibTeX
- Gillian Hill:
An Architecture for Complex Systems.
189-201 BibTeX
- Germano Resconi, A. Wayne Wymore:
Model-Based System Design for Engineering (T3SD) and General System Logical Theory.
202-217 BibTeX
- Jesús Rodríguez-Millán, José Yépez, Bokor Jozsef:
Design of Nonlinear Lag-Lead Compensators by Extended Linearization.
218-235 BibTeX
- Josep Miró, Margaret Miró-Julià:
A Numerical Computation for Declarative Expressions.
236-251 BibTeX
- J. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire:
An Automatic Calculator with Penrose Diagrams.
252-269 BibTeX
Engineering Systems
- Francisco Serradilla, Darío Maravall Gómez-Allende:
Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept.
273-284 BibTeX
- Ricardo García Rosa, Teresa de Pedro, Alison Rosetti:
Fuzzy Traffic Police for Autonomous Vehicles.
285-291 BibTeX
- Theodor Borangiu, Luis-Manuel Tomás-Balibrea, L. A. Contreras Gonzales, Cr. Nis, Mitica Manu:
Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing Control.
292-300 BibTeX
- Susanne Hofer:
A Formal Model for Integrated System Development.
301-313 BibTeX
- Paul Grünbacher:
Moving Towards an Agent-Based Engineering Environment.
314-323 BibTeX
- Libor Preucil, Petr Stepan:
Experiencing Modeling and Development of an Intelligent Autonomous Robot.
324-337 BibTeX
- Gernot Kronreif, Robert Probst:
Modular Control System for Robotized Cells and Lines.
338-344 BibTeX
- Robert Probst, Peter Kopacek:
Latest Developments in Robotics.
345-350 BibTeX
Intelligent Systems
- Roberto Moreno-Díaz, José Mira:
Architectures for Complex Behaviour Inspired in the Nervous System.
353-360 BibTeX
- João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo:
Turing Universality of Neural Nets (Revisited).
361-366 BibTeX
- Witold Jacak, Stephan Dreiseitl:
Lifelong Learning Approach to Intelligent Agents Modeling.
367-379 BibTeX
- Vladimír Marík, Olga Stepánková, Jirí Lazanský:
Role of Qualitative Reasoning in a Multi-Agent System.
380-393 BibTeX
- Lenka Lhotská:
Learning in Multi-Agent Systems: Theoretical Issues.
394-405 BibTeX
- Miguel Alemán-Flores, K. Nicholas Leibovic, Roberto Moreno-Díaz:
A Computational Model for Visual Size, Location and Movement.
406-419 BibTeX
- Zdzislaw Bubnicki:
Logic-Algebraic Method for a Class of Knowledge Based Systems.
420-428 BibTeX
Signal Processing
Specific Methods and Applications
- Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire:
From Sequential to Distributed Formal Proofs.
501-513 BibTeX
- José Antonio Vila Sobrino, Jesús María Rodríguez Presedo, Manuel Fernández Delgado, Roberto Iglesias, Senén Barro:
Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions.
514-526 BibTeX
- Manfred Mauerkirchner:
Event Based Simulation of Software Development Project Planning.
527-540 BibTeX
- Motonari Tanabu, Jun-ichi Iijima, Naoki Shiba:
Application of Intelligent Worldwide DSS to Optimization Problems.
541-548 BibTeX
- Witold Jacak, Gerhard Jahn, Jerzy W. Rozenblit:
Teleeducation in Open Distributed Environment.
549-560 BibTeX
- Wojciech Czarczynski, Ryszard Klempous, Jan Nikodem:
Multilevel Approach to Traffic Control System.
561-566 BibTeX
- Josef Küng, Roland Wagner, Wolfram Wöß:
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces.
567-579 BibTeX
- Dieter Schütt, Franz Pichler, Josef Scharinger:
Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices.
580-590 BibTeX
- Milan Ceska, Vladimír Janousek, Tomás Vojnar:
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.
591-610 BibTeX
- Christoph Schaffer, Johannes Zeindl:
System Level Design of Microcontroller Applications.
611-623 BibTeX
Copyright © Sat May 16 23:11:07 2009
by Michael Ley (ley@uni-trier.de)
