Simulation of Control Systems


Book Description

This volume investigates simulation and computer-aided control system designs. The book covers the use of models and program packages, their theoretical aspects and practical applications, and uses illustrative case studies to give a comprehensive view of this fast developing science.




Automata Networks


Book Description

This volume contains the proceedings of the 14th Spring School of the LITP (Laboratoire d`Informatique Thorique et de Programmation, Universit Paris VI-VII, CNRS) held May 12-16, 1986 in Argels-Village on the French Catalan coast. This meeting was organized by C. Choffrut, M. Nivat, F. Robert, P. Sall and gathered a hundred participants. The proceedings of the last two Spring Schools have already been published in this series and deal with "Automata on Infinite Words" (LNCS 192) and "Combinators and Functional Programming Languages" (LNCS 242). The purpose of this yearly meeting is to present the state of the art in a specific topic which has gained considerable maturity. The field chosen this year was the theory of automata networks. Though the content of this book is essentially restricted to computer science aspects of the topic, illustrations were given at the meeting on how the model of cellular automata could be used to solve problems in statistical, fluid and solid state mechanics. Applications to biology with growth models also exist




Analyse des systèmes


Book Description




Automata Networks in Computer Science


Book Description







Application-Driven Architecture Synthesis


Book Description

Application-Driven Architecture Synthesis describes the state of the art of architectural synthesis for complex real-time processing. In order to deal with the stringent timing requirements and the intricacies of complex real-time signal and data processing, target architecture styles and target application domains have been adopted to make the synthesis approach feasible. These approaches are also heavily application-driven, which is illustrated by many realistic demonstrations, used as examples in the book. The focus is on domains where application-specific solutions are attractive, such as significant parts of audio, telecom, instrumentation, speech, robotics, medical and automotive processing, image and video processing, TV, multi-media, radar, sonar. Application-Driven Architecture Synthesis is of interest to both academics and senior design engineers and CAD managers in industry. It provides an excellent overview of what capabilities to expect from future practical design tools, and includes an extensive bibliography.




Petri Nets


Book Description

Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled "Kommunikation mit Automaten" and published in 1962 by University of Bonn. Petri Nets are graphical (the intuitive graphical modeling language) and mathematical (advanced formal analysis method) tool. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The main idea of this theory was modified by many researchers according to their needs, owing to the unusual "flexibility" of this theory. The present monograph focuses on Petri Nets applications in two main areas: manufacturing (section 1) and computer science (section 2). These two areas have still huge influence on our lives and our world. The theory of Petri Nets is still developing: some directions of investigations are presented in section 3. And at the end there is section 4 including some infesting facts concerning application of Petri Nets in the public area: the analysis and control of public bicycle sharing systems. The monograph shows the results of research works performed with use of Petri Nets in science centers all over the world.




Modéliser les accidents et les catastrophes industrielles : la méthode STAMP


Book Description

Synthèse unique en langue française, Modéliser les accidents et les catastrophes industrielles : la méthode STAMP est le fruit d’un travail de recherche sur les modèles d’accident au sein des systèmes, qu’ils soient techniques et/ou sociaux. Cet ouvrage décrit les principales grandes théories, modèles et approches mobilisables pour comprendre, évaluer et mettre en place une démarche de prévention des accidents et de gestion des risques au sein de systèmes sociotechniques. Il présente ainsi tous les éléments nécessaires à la compréhension des modèles d’accident : définitions, objectifs, cadres théoriques et scientifiques, limites et développements, etc... L’ouvrage aborde l’accident selon une approche systémique, notamment selon la théorie générale des systèmes de Bertalanffy. Puis il propose une étude du modèle STAMP et de la technique d’analyse des dangers STPA à travers sa mise en application au sein d’un système socio-technique industriel de traitement de sédiments contaminés, en vue d’en évaluer la sécurité et d’en améliorer la performance. Clair et concis, il permet ainsi : de connaître les principaux modèles d’accident existants et de les comprendre ; d’appréhender la modélisation d’accident comme un outil essentiel de compréhension et d’analyse des interactions entre les différents éléments d’un système et donc de son comportement ; d’acquérir et d’approfondir ses connaissances sur le modèle d’accident STAMP ainsi que sur son application au sein de systèmes socio-techniques. Modéliser les accidents et les catastrophes industrielles : la méthode STAMP s’adresse à tous les professionnels de la sécurité souhaitant consolider leur connaissance des évaluations de la sécurité ou des enquêtes sur les accidents au sein des systèmes socio-techniques.