Proceedings of the 15th International Conference on Axiomatic Design 2023


Book Description

This book of carefully selected research papers captures the essence of systems engineering. It offers readers a comprehensive exploration in the most recent applications and advancements of Axiomatic Design, a powerful method that elevates the level of product design and manufacturing. Although Axiomatic Design originated at the Massachusetts Institute of Technology (MIT) in Boston, it has been further developed by an active community of users and academics from all over the world. For the 15th time, the International Conference on Axiomatic Design convened global experts to discuss the core of the methodology. Their shared objective was to advance systems engineering, catering to the increasing complexity of modern product design. From over 85 submissions, the program committee selected 20 papers to ensure quality and relevance. Our profound gratitude extends to the contributing authors, whose research and dedication have shaped this collection, and to the program committee members for their unwavering commitment to academic integrity. Through their combined efforts, this document stands as a testament to the innovative spirit and academic excellence synonymous with systems engineering as developed by MIT.













PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024


Book Description

Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal erscheinen die Beiträge der Konferenzreihe „Formal Methods in Computer-Aided Design“ (FMCAD) als Konferenzband bei TU Wien Academic Press. Der aktuelle Band der seit 2006 jährlich veranstalteten Konferenzreihe präsentiert in 35 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich des computergestützten Entwerfens. Die Beiträge behandeln formale Aspekte des computergestützten Systemdesigns einschließlich Verifikation, Spezifikation, Synthese und Test. Die FMCAD-Konferenz findet im Oktober 2024 in Prag, Tschechische Republik, statt. Sie gilt als führendes Forum im Bereich des computer-aided design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.







Embedded System Design


Book Description

Embedded systems and the Internet of Things are current major efforts in industry and will continue to be mainstream commercial activities for the foreseeable future. Embedded Systems Design presents methodologies for designing such systems and discusses major issues, both present and future, that designers must consider in bringing products with embedded processing to the market. It starts from the first step after product proposal (behavioral modelling) and carries through steps for modelling internal operations. The book discusses methods for and issues in designing safe, reliable, and robust embedded systems. It covers the selection of processors and related hardware as well as issues involved in designing the related software. Finally, the book present issues that will occur in systems designed for the Internet of Things.This book is for junior/senior/MS students in computer science, computer engineering, and electrical engineering who intend to take jobs in industry designing and implementing embedded systems and Internet of Things applications. - Focuses on the design of embedded systems, starting from product conception through high-level modeling and up to the selection of hardware, software, and network platforms - Discusses the trade-offs of the various techniques presented so that engineers will be able to make the best choices for designs for future products - Contains a section with three chapters on making designs that are reliable, robust, and safe - Includes a discussion of the two main models for the structure of the Internet of Things, as well as the issues engineers will need to take into consideration in designing future IoT applications - Uses the design of a bridge control system as a continuing example across most of the chapters in order to illustrate the differences and trade-offs of the various techniques




Proceedings of the 4th Vocational Education International Conference (VEIC 2022)


Book Description

This is an open access book. The 4th Vocational Education International Conference (VEIC 2022) is an annual and internationally - refereed conference. The main objective of VEIC 2022 is to provide an international platform for researchers, practitioners, stakeholders in the field of vocational education to discuss about the issue and challenges in the field of Technology and Vocational Education. The main theme of VEIC 2022 is Post-pandemic Challenge in Technical and Vocational Education and Training of Higher Education.




Advances in Visual Informatics


Book Description

This book constitutes the refereed proceedings of the 8th International Conference on Advances in Visual Informatics, IVIC 2023, held in Selangor, Malaysia in November 2023. The 51 full papers presented were carefully reviewed and selected from 101 submissions. The conference focused on 6 tracks: Modeling and Simulation, Mixed Reality and HCI, Systems Integration and IoT, Cybersecurity, Energy Informatics and Intelligent Data Analytics.




Robust Design and Assessment of Product and Production by Means of Probabilistic Multi-objective Optimization


Book Description

Zusammenfassung: This book develops robust design and assessment of product and production from viewpoint of system theory, which is quantized with the introduction of brand new concept of preferable probability and its assessment. It aims to provide a new idea and novel way to robust design and assessment of product and production and relevant problems. Robust design and assessment of product and production is attractive to both customer and producer since the stability and insensitivity of a product's quality to uncontrollable factors reflect its value. Taguchi method has been used to conduct robust design and assessment of product and production for half a century, but its rationality is criticized by statisticians due to its casting of both mean value of a response and its dispersion into one index, which doesn't characterize the issue of simultaneous robust design of above two independent responses sufficiently, so an appropriate approach is needed. The preference or role of a response in the evaluation is indicated by using preferable probability as the unique index. Thus, the rational approach for robust design and assessment of product and production is formulated by means of probabilistic multi-objective optimization, which reveals the simultaneous robust designs of both mean value of a response and its dispersion in manner of joint probability. Besides, defuzzification and fuzzification measurements are involved as preliminary approaches for robust assessment, the latter provides miraculous treatment for the 'target the best' case flexibly