This conference proceeding presents contributions to the 59th International Conference of Machine Design (ICMD 2018), organized by the University of Žilina, Faculty of Mechanical Engineering, Department of Design and Mechanical Elements. Discussing innovative solutions applied in engineering, the latest research and developments, and guidance on improving the quality of university teaching, it covers a range of topics, including: machine design and optimization engineering analysis tribology and nanotechnology additive technologies hydraulics and fluid mechanisms modern materials and technology biomechanics biomimicry; and innovation

This book is about Computer Aided Control System Design (CACSD) of the direct process controller. Various methods and tools, representing an up-to-date level of development, are presented by leading experts. Several articles describe main principles and problems associated with modern direct control and with CACSD. Existing tools are presented, including packages for stability analysis of nonlinear systems, adaptive control design and integrated analysis, and simulation and tuning of controllers. The reader can observe that it is possible to develop CACSD tools by using open general packages such as Matlab or Simulab, or by providing specialised software. He can then compare both approaches and get an improved understanding of their respective advantages and disadvantages. The leading article by the editors presents CACSD Methods and tools in a broader context. There is also detailed material on upper control layers, hierarchical control, and real-time systems.

This book is based on the 55th International Conference of Machine Design Departments 2014 (ICMD 2014) which was hosted by the Czech Technical University in September 2014. It features scientific articles which solve progressive themes from the field of machine design. The book addresses a broad range of themes including tribology, hydraulics, materials science, product innovation and experimental methods. It presents the latest interdisciplinary high-tech work. People with an interest in the latest research results in the field of machine design and manufacturing engineering will value this book with contributions of leading academic scientists and experts from all around the world.

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

obtained by simulation more quickly, effec Computer simulation of dynamic systems is a topic which is growing steadily in importance tively and cheaply than by experimentation and testing of the real system. System perfor in the physical sciences, engineering, biology and medicine. The reasons for this trend mance can also be investigated using simula relate not only to the steadily increasing tion for a much wider range of conditions than can be contemplated for the real system power of computers and the rapidly falling costs of hardware, but also to the availability because of operating constraints or safety of appropriate software tools in the form of requirements. Similar factors can apply in simulation languages. Problem-oriented lan other fields, such as biomedical systems guages of this kind assist those who are not engineering. specialists in computational methods to trans System simulation, using digital computers, can relate either to models based on continu late a mathematical description into a simula tion program in a simple and straightforward ous variables or to discrete-event descriptions. fashion. They can also provide useful diag Continuous system simulation techniques are applied to systems described by sets of differ nostic information when difficulties are encountered. Therefore, a simulation lan ential equations and algebraic equations.