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

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. 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