Computer Aided Systems Theory - EUROCAST '97 -

. .

Sommaire:
A system for designing parallel processor arrays.- On the role of architectures in systems engineering.- An approach to safety critical systems design.- Extensions and semantics of controller state diagrams for practical applications.- Design and implementation of an energy management system for an integrated iron and steel plant.- Representation and management of memory and decision in evolving software systems.- G E M - A generic engineering framework for mechanical engineering based upon meta models.- Formal representation and proof of the interpreted sequential machine model.- Modelling of concurrent and embedded systems.- A dense-time temporal logic with nice compositionality properties.- Introducing planning in discrete event systems.- Multirate control of a class of nonlinear systems.- Global structural approximate controllability of polynomial nonlinear systems.- Vectorized simulations of normal processes for first crossing-time problems.- An architecture for complex systems.- Model-based system design for engineering (T3SD) and general system logical theory.- Design of nonlinear lag-lead compensators by extended linearization using symbolic computation techniques.- A numerical computation for declarative expressions.- An automatic calculator with penrose diagrams.- Cognitive modeling for navigation of mobile robots using the sensory gradient concept.- Fuzzy traffic police for autonomous vehicles.- Object-oriented model of an open communication architecture for flexible manufacturing control.- A formal model for integrated system development.- Moving towards an agent-based engineering environment.- Experiencing modeling and development of an intelligent autonomous robot.- Modular control system for robotized cells and lines.- Latest developments in robotics.-Architectures for complex behaviour inspired in the nervous system.- Turing universality of neural nets (revisited).- Lifelong learning approach to intelligent agents modeling.- Role of qualitative reasoning in a multi-agent system.- Learning in multi-agent systems: Theoretical issues.- A computational model for visual size, location and movement.- Logic-algebraic method for a class of knowledge based systems.- Image compression by multilevel polynomial interpolation and wavelet texture coding.- Image enhancement using an optimum quantizer.- On the parametrization of algebraic discrete fourier transforms.- Learning visual ideals.- Multiple representation of complex intensity changes for image segmentation.- Design of ANN architectures for handling the temporal dimension in signal processing.- From sequential to distributed formal proofs.- Improvement in the computational efficiency in the analysis of signals by way of adaptive time frequency distributions.- Event based simulation of software development project planning.- Application of intelligent worldwide DSS to optimization problems.- System theoretical approach to control and synchronization of teleeducation in open distributed environment.- Multilevel approach to traffic control system.- A comparison of 4-GL development tools in the area of metadata and dynamic user interfaces.- Cryptographic permutations based on BOOT decompositions of walsh matrices.- PNtalk - a computerized tool for object oriented petri nets modelling.- System level design of microcontroller applications applications.