This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, held in Las Palmas de Gran Canaria, Spain, in February 1997. The 50 revised full papers presented were carefully selected for inclusion in the volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications.
Author(s): R. Merker, U. Eckhardt, D. Fimmel (auth.), Franz Pichler, Roberto Moreno-Díaz (eds.)
Series: Lecture Notes in Computer Science 1333
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 632
Tags: Simulation and Modeling; Systems and Information Theory in Engineering; Processor Architectures; Special Purpose and Application-Based Systems
A system for designing parallel processor arrays....Pages 1-12
On the role of architectures in systems engineering....Pages 13-33
An approach to safety critical systems design....Pages 34-49
Extensions and semantics of controller state diagrams for practical applications....Pages 50-57
Design and implementation of an energy management system for an integrated iron and steel plant....Pages 58-70
Representation and management of memory and decision in evolving software systems....Pages 71-82
G E M — A generic engineering framework for mechanical engineering based upon meta models....Pages 83-91
Formal representation and proof of the interpreted sequential machine model....Pages 93-107
Modelling of concurrent and embedded systems....Pages 108-122
A dense-time temporal logic with nice compositionality properties....Pages 123-145
Introducing planning in discrete event systems....Pages 146-159
Multirate control of a class of nonlinear systems....Pages 160-169
Global structural approximate controllability of polynomial nonlinear systems....Pages 170-176
Vectorized simulations of normal processes for first crossing-time problems....Pages 177-188
An architecture for complex systems....Pages 189-201
Model-based system design for engineering (T3SD) and general system logical theory....Pages 202-217
Design of nonlinear lag-lead compensators by extended linearization using symbolic computation techniques....Pages 218-235
A numerical computation for declarative expressions....Pages 236-251
An automatic calculator with penrose diagrams....Pages 252-269
Cognitive modeling for navigation of mobile robots using the sensory gradient concept....Pages 271-284
Fuzzy traffic police for autonomous vehicles....Pages 285-291
Object-oriented model of an open communication architecture for flexible manufacturing control....Pages 292-300
A formal model for integrated system development....Pages 301-313
Moving towards an agent-based engineering environment....Pages 314-323
Experiencing modeling and development of an intelligent autonomous robot....Pages 324-337
Modular control system for robotized cells and lines....Pages 338-344
Latest developments in robotics....Pages 345-350
Architectures for complex behaviour inspired in the nervous system....Pages 351-360
Turing universality of neural nets (revisited)....Pages 361-366
Lifelong learning approach to intelligent agents modeling....Pages 367-379
Role of qualitative reasoning in a multi-agent system....Pages 380-393
Learning in multi-agent systems: Theoretical issues....Pages 394-405
A computational model for visual size, location and movement....Pages 406-419
Logic-algebraic method for a class of knowledge based systems....Pages 420-428
Image compression by multilevel polynomial interpolation and wavelet texture coding....Pages 429-443
Image enhancement using an optimum quantizer....Pages 444-452
On the parametrization of algebraic discrete fourier transforms....Pages 453-463
Learning visual ideals....Pages 464-472
Multiple representation of complex intensity changes for image segmentation....Pages 473-485
Design of ANN architectures for handling the temporal dimension in signal processing....Pages 486-497
From sequential to distributed formal proofs....Pages 499-513
Improvement in the computational efficiency in the analysis of signals by way of adaptive time frequency distributions....Pages 514-526
Event based simulation of software development project planning....Pages 527-540
Application of intelligent worldwide DSS to optimization problems....Pages 541-548
System theoretical approach to control and synchronization of teleeducation in open distributed environment....Pages 549-560
Multilevel approach to traffic control system....Pages 561-566
A comparison of 4-GL development tools in the area of metadata and dynamic user interfaces....Pages 567-579
Cryptographic permutations based on BOOT decompositions of walsh matrices....Pages 580-590
PNtalk — a computerized tool for object oriented petri nets modelling....Pages 591-610
System level design of microcontroller applications applications....Pages 611-623
