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.
This open book is licensed under a Creative Commons License (CC BY-SA). You can download Guaranteed Verification of Dynamic Systems ebook for free in PDF format (6.0 MB).
Table of Contents
State of Science
Methodical Approach and Mathematical Preliminaries
Guaranteed Verification of Point Real Systems
Guaranteed Verification of Interval Type Systems
Guaranteed Verification of Hybrid Systems
Extended Kaucher Based Guaranteed Verification
Application and Results
Guaranteed Verification of Dynamic Systems
Science & Mathematics
KIT Scientific Publishing
Introduction to the Modeling and Analysis of Complex Systems introduces students to mathematical/computational modeling and analysis developed in the emerging interdisciplinary field of Complex Systems Science. Complex systems are systems made of a large number of microscopic components interacting with each other in nontrivial ways. Many real-worl...
Designed for those wishing to study mathematics beyond linear algebra but unready for abstract material, this "invitation" to the excitement of dynamical systems appeals to readers from a wide range of backgrounds. Rather than taking a theorem-proof-corollary-remark approach, it stresses geometry and intuition. Topics include both the cla...
An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.
The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts,...
Python is one of the leading open source platforms for data science and numerical computing. IPython and the associated Jupyter Notebook offer efficient interfaces to Python for data analysis and interactive visualization, and they constitute an ideal gateway to the platform.
IPython Interactive Computing and Visualization Cookbook, 2nd Edition ...
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
This book provides students and practicing engineers with a comprehensive guide to off-grid electrification: from microgrids and energy kiosks to solar home systems and solar lanterns. As the off-grid electrification industry grows, universities are starting and expanding courses and programs in humanitarian engineering and appropriate technology. ...