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

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