Author : Schwab, Stefan
Publisher : KIT Scientific Publishing
Page : 216 pages
File Size : 32,76 MB
Release : 2022-03-15
Category : Technology & Engineering
ISBN : 3731509652
This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.
Author : Rolf Isermann
Publisher : Springer
Page : 705 pages
File Size : 22,39 MB
Release : 2011-04-08
Category : Technology & Engineering
ISBN : 9783540871552
Precise dynamic models of processes are required for many applications, ranging from control engineering to the natural sciences and economics. Frequently, such precise models cannot be derived using theoretical considerations alone. Therefore, they must be determined experimentally. This book treats the determination of dynamic models based on measurements taken at the process, which is known as system identification or process identification. Both offline and online methods are presented, i.e. methods that post-process the measured data as well as methods that provide models during the measurement. The book is theory-oriented and application-oriented and most methods covered have been used successfully in practical applications for many different processes. Illustrative examples in this book with real measured data range from hydraulic and electric actuators up to combustion engines. Real experimental data is also provided on the Springer webpage, allowing readers to gather their first experience with the methods presented in this book. Among others, the book covers the following subjects: determination of the non-parametric frequency response, (fast) Fourier transform, correlation analysis, parameter estimation with a focus on the method of Least Squares and modifications, identification of time-variant processes, identification in closed-loop, identification of continuous time processes, and subspace methods. Some methods for nonlinear system identification are also considered, such as the Extended Kalman filter and neural networks. The different methods are compared by using a real three-mass oscillator process, a model of a drive train. For many identification methods, hints for the practical implementation and application are provided. The book is intended to meet the needs of students and practicing engineers working in research and development, design and manufacturing.
Author : Jasmin Blanchette
Publisher : Springer Nature
Page : 756 pages
File Size : 18,38 MB
Release : 2022
Category : Automatic theorem proving
ISBN : 3031107691
This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Author : Robert L. Woods
Publisher : Pearson
Page : 552 pages
File Size : 25,34 MB
Release : 1997
Category : Mathematics
ISBN :
Introduction to modeling and simulation - Models for dynamic systems and systems similarity - Modeling of engineering systems - Mechanical systems - Electrical systems - Fluid systems - Thermal systems - Mixed discipline systems - System dynamic response analysis - Frequency response - Time response and digital simulation - Engineering applications - System design and selection of components.
Author : Christian Müller-Schloer
Publisher : Springer Science & Business Media
Page : 629 pages
File Size : 42,10 MB
Release : 2011-04-29
Category : Computers
ISBN : 3034801300
Organic Computing has emerged as a challenging vision for future information processing systems. Its basis is the insight that we will increasingly be surrounded by and depend on large collections of autonomous systems, which are equipped with sensors and actuators, aware of their environment, communicating freely, and organising themselves in order to perform actions and services required by the users. These networks of intelligent systems surrounding us open fascinating ap-plication areas and at the same time bear the problem of their controllability. Hence, we have to construct such systems as robust, safe, flexible, and trustworthy as possible. In particular, a strong orientation towards human needs as opposed to a pure implementation of the tech-nologically possible seems absolutely central. The technical systems, which can achieve these goals will have to exhibit life-like or "organic" properties. "Organic Computing Systems" adapt dynamically to their current environmental conditions. In order to cope with unexpected or undesired events they are self-organising, self-configuring, self-optimising, self-healing, self-protecting, self-explaining, and context-aware, while offering complementary interfaces for higher-level directives with respect to the desired behaviour. First steps towards adaptive and self-organising computer systems are being undertaken. Adaptivity, reconfigurability, emergence of new properties, and self-organisation are hot top-ics in a variety of research groups worldwide. This book summarises the results of a 6-year priority research program (SPP) of the German Research Foundation (DFG) addressing these fundamental challenges in the design of Organic Computing systems. It presents and discusses the theoretical foundations of Organic Computing, basic methods and tools, learning techniques used in this context, architectural patterns and many applications. The final outlook shows that in the mean-time Organic Computing ideas have spawned a variety of promising new projects.
Author : Mohamed Mansour
Publisher : Birkhäuser
Page : 307 pages
File Size : 32,24 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 3034872682
Robust Control is one of the fastest growing and promising areas of research today. In many practical systems there exist uncertainties which have to be considered in the analysis and design of control systems. In the last decade methods were developed for dealing with dynamic systems with unstructured uncertainties such as HOO_ and £I-optimal control. For systems with parameter uncertainties, the seminal paper of V. L. Kharitonov has triggered a large amount of very promising research. An international workshop dealing with all aspects of robust control was successfully organized by S. P. Bhattacharyya and L. H. Keel in San Antonio, Texas, USA in March 1991. We organized the second international workshop in this area in Ascona, Switzer land in April 1992. However, this second workshop was restricted to robust control of dynamic systems with parameter uncertainties with the objective to concentrate on some aspects of robust control. This book contains a collection of papers presented at the International Workshop on Robust Control held at the Centro Stefano Franscini, Monte Verita, Ascona, Switzer land on April 12-17, 1992 as well as a list of open problems presented during a dis cussion session at the workshop. Thirtyfive leading researchers from all over the world working in the area of robust control of dynamic systems with parameter uncertainties were invited to present their recent results and to discuss with their colleagues the recent advances in this field.
Author : Peter Jones
Publisher : Walzone Press
Page : 179 pages
File Size : 38,98 MB
Release : 2024-10-14
Category : Computers
ISBN :
"Crafting Data-Driven Solutions: Core Principles for Robust, Scalable, and Sustainable Systems" stands as an essential resource for anyone tasked with developing, scaling, or managing applications where data is the pivotal component. This comprehensive guide delves into the architectural frameworks of data systems, elucidating the intricate interactions that influence performance, scalability, and reliability. From foundational principles to advanced theories in batch and stream processing, each chapter systematically unveils critical insights into data models, storage solutions, encoding techniques, replication strategies, and more, supported by real-world case studies and practical examples. Whether you are an experienced software architect, a developer keen to enhance your data system design skills, or a student preparing to navigate the complexities of big data, this book provides the deep knowledge and expert guidance needed to excel in the realm of data-driven systems. Empower yourself with the expertise to design resilient architectures that not only fulfill operational requirements but also scale gracefully with evolving data demands. Make "Crafting Data-Driven Solutions" your go-to reference for building next-generation systems that are robust, efficient, and sustainable.
Author : Jennifer Stapleton
Publisher : Cambridge University Press
Page : 202 pages
File Size : 32,51 MB
Release : 1997
Category : Computers
ISBN : 9780201178890
DSDM is about people, not tools. It is about truly understanding the needs of a business, delivering software solutions that work and delivering them as quickly and as cheaply as possible. The Dynamic Systems Development Method provides a framework of controls and best practice for Rapid Application Development. It was created by a consortium of organisations and it has been proved, since its publication in January 1995, to be extremely effective in delivering maintainable systems which match the needs of the business better than those produced using traditional lifecycles. This book, commissioned by the DSDM Consortium and written by the chairman of the Technical Committee which developed the method, explores the day-to-day realities of implementing the method. It is a practitionerIs guide, dealing with issues such as how to get people from different disciplines to work together as a team, how to gain commitment and how to manage projects within normal business constraints. In this book you will find: practical guidelines on the implementation of key elements of the method such as "timeboxes" and the MOSCOW Rules clear recommendations for the roles and responsibilities of the members of the development team advice on which type of application is most likely to benefit from the method eight lengthy case studies by well-known companies, providing a benchmark against which to assess the suitability of candidate projects numerous examples and anecdotes, enabling the reader to benefit from the authorIs experience putting the method into practice Do you want to cut the development time and increase the fitness-for-use of screen based businessapplications, by orders of magnitude? This book will enable those in organisations which develop or purchase tailored IT systems, to gain a clear understanding of the benefits of the incremental and iterative approach embodied in the DSDM. 0201178893B04062001
Author : Constantin Enea
Publisher : Springer Nature
Page : 512 pages
File Size : 27,45 MB
Release : 2023-07-16
Category : Computers
ISBN : 3031377060
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Author : Calin Belta
Publisher : Springer
Page : 291 pages
File Size : 43,84 MB
Release : 2017-03-08
Category : Technology & Engineering
ISBN : 331950763X
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.
