Computer ScienceScience & MathematicsEconomics & FinanceBusiness & ManagementPolitics & GovernmentHistoryPhilosophy

Guaranteed Verification of Dynamic Systems

by Stefan Schwab

Guaranteed Verification of Dynamic Systems

Subscribe to new books via telegram channel

DescriptionTable of ContentsDetailsReport an issue

Book Description

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

Chapter 1
Chapter 2
State of Science
Chapter 3
Methodical Approach and Mathematical Preliminaries
Chapter 4
Guaranteed Verification of Point Real Systems
Chapter 5
Guaranteed Verification of Interval Type Systems
Chapter 6
Guaranteed Verification of Hybrid Systems
Chapter 7
Extended Kaucher Based Guaranteed Verification
Chapter 8
Application and Results
Chapter 9

Book Details

Guaranteed Verification of Dynamic Systems
Science & Mathematics
KIT Scientific Publishing
ISBN13 Digital
ISBN10 Digital
PDF Size
6.0 MB

Related Books

Introduction to the Modeling and Analysis of Complex Systems
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...
Invitation to Dynamical Systems
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...
Introduction to Embedded Systems
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,...
IPython Interactive Computing and Visualization Cookbook
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 ...
Advances in Discrete Differential Geometry
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...
Off-Grid Electrical Systems in Developing Countries
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. ...