Guaranteed Verification of Dynamic Systems

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...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Schwab, Stefan (auth)
פורמט: אלקטרוני Book Chapter
שפה:אנגלית
יצא לאור: Karlsruhe KIT Scientific Publishing 2022
סדרה:Karlsruher Beiträge zur Regelungs- und Steuerungstechnik 11
נושאים:
גישה מקוונת:OAPEN Library: download the publication
OAPEN Library: description of the publication
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

אינטרנט

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

פרטי מלאי ספרים מ 3rd Floor Main Library
סימן המיקום: A1234.567
עותק 1 זמין