Suchformular

0
Startseite » Shop » 9783731509653 » Guaranteed Verification of Dynamic Systems von Stefan Schwab

Guaranteed Verification of Dynamic Systems

Erschienen am 15.03.2022
51,00 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783731509653
Sprache: Englisch
Umfang: 216
Format (T/L/B): 24.0 x 17.0 cm

Beschreibung

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.

Weitere Artikel aus der Reihe "Karlsruher Beiträge zur Regelungs- und Steuerungstechnik / Karlsruher Institut für Technologie, Institut für Regelungs- und Steuerungssysteme"

Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen

Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen

Köpf, Florian
Verlag:Karlsruher Institut für Technologie

Lieferbar innerhalb 1 - 2 Wochen

58,00 €
inkl. MwSt.
Ein Verfahren zur lexikographischen modellprädiktiven Regelung mit der Anwendung auf eine permanenterregte Synchronmaschine

Ein Verfahren zur lexikographischen modellprädiktiven Regelung mit der Anwendung auf eine permanenterregte Synchronmaschine

Schnurr, Christoph Xaver
Verlag:Karlsruher Institut für Technologie

Lieferbar innerhalb 1 - 2 Wochen

51,00 €
inkl. MwSt.
Automatisierte kooperative Transition einer Regelungsaufgabe zwischen Mensch und Maschine am Beispiel des hochautomatisierten Fahrens

Automatisierte kooperative Transition einer Regelungsaufgabe zwischen Mensch und Maschine am Beispiel des hochautomatisierten Fahrens

Ludwig, Julian
Verlag:Karlsruher Institut für Technologie

Lieferbar innerhalb 1 - 2 Wochen

52,00 €
inkl. MwSt.
Limited Information Shared Control and its Applications to Large Vehicle Manipulators

Limited Information Shared Control and its Applications to Large Vehicle Manipulators

Varga, Bálint
Verlag:Karlsruher Institut für Technologie

Lieferbar innerhalb 1 - 2 Wochen

53,00 €
inkl. MwSt.
Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics

Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics

Merkert, Lennart
Verlag:KIT Scientific Publishing

Lieferbar innerhalb 1 - 2 Wochen

43,00 €
inkl. MwSt.
Inverse Dynamic Game Methods for Identification of Cooperative System Behavior

Inverse Dynamic Game Methods for Identification of Cooperative System Behavior

Inga Charaja, Juan Jairo
Verlag:KIT Scientific Publishing

Lieferbar innerhalb 1 - 2 Wochen

55,00 €
inkl. MwSt.
Alle Artikel anzeigen

Weitere Artikel vom Autor "Schwab, Stefan"

DIVI Jahrbuch 2024/2025

DIVI Jahrbuch 2024/2025

Stefan Kluge/Michael Sander/Felix Walcher u a
Verlag:MWV - Medizinisch Wissenschaftliche

Lieferbar innerhalb 24 Stunden

69,95 €
inkl. MwSt.
Carl Reinecke (1824 -1910) und das Leipziger Musikleben seiner Zeit

Carl Reinecke (1824 -1910) und das Leipziger Musikleben seiner Zeit

Thomas Schipperges/Stefan Schönknecht/Ute Schwab
Verlag:Georg Olms Verlag in der Nomos

Lieferbar innerhalb 1 - 2 Wochen

58,00 €
inkl. MwSt.
Vorne ist immer Platz

Vorne ist immer Platz

Schwab, Peter/Punz, Stefan
Verlag:Linde Verlag Wien

Lieferbar innerhalb 1 - 2 Wochen

19,90 €
inkl. MwSt.
NeuroIntensiv

NeuroIntensiv

Stefan Schwab/Peter Schellinger/Christian Werner u a
Verlag:Springer Verlag GmbH

Lieferbar innerhalb 24 Stunden

159,99 €
inkl. MwSt.
Taschenlehrbuch Physiologie

Taschenlehrbuch Physiologie
 
Verlag:Georg Thieme Verlag KG

Lieferbar innerhalb 24 Stunden

51,00 €
inkl. MwSt.
The Poetics of Things Past / Gedichtete Geschichtsdinge

The Poetics of Things Past / Gedichtete Geschichtsdinge

Maren Elisabeth Schwab/Stefan Feddern/Jochen Schultheiß u a
Verlag:Georg Olms Verlag in der Nomos

Lieferbar innerhalb 1 - 2 Wochen

119,00 €
inkl. MwSt.
Alle Artikel anzeigen

Weitere Artikel aus der Kategorie "Technik"

Schreib- und Gestaltungsregeln für die Text- und Informationsverarbeitung

Schreib- und Gestaltungsregeln für die Text- und Informationsverarbeitung

DIN e V
Verlag:DIN Media GmbH

Lieferbar innerhalb 1 - 2 Wochen

19,90 €
inkl. MwSt.
Tabellenbuch Metalltechnik

Tabellenbuch Metalltechnik

Kruft, Alfred/Lennert, Hans/Schiebel, Rolf u a
Verlag:Dr.-Ing. Paul Christiani GmbH & Co. KG

Lieferbar innerhalb 24 Stunden

30,80 €
inkl. MwSt.
DDR-Traktoren 2026

DDR-Traktoren 2026
 
Verlag:Trötsch Verlag GmbH & Co. KG

Lieferbar innerhalb 1 - 2 Wochen

9,95 €
inkl. MwSt.
Roloff/Matek Maschinenelemente

Roloff/Matek Maschinenelemente

Spura, Christian/Fleischer, Bernhard/Wittel, Herbert u a
Verlag:Springer Vieweg

Lieferbar innerhalb 1 - 2 Wochen

39,99 €
inkl. MwSt.
Maschinen- und Anlagenführer/-in Metall- und Kunststofftechnik - PAL-Prüfungsbuch für die schriftlichen Teile der Zwischen- und Abschlussprüfung

Maschinen- und Anlagenführer/-in Metall- und Kunststofftechnik - PAL-Prüfungsbuch für die schriftlichen Teile der Zwischen- und Abschlussprüfung

Prüfungsaufgaben- und Lehrmittelentwicklungsstelle (PAL)
Verlag:Dr.-Ing. Paul Christiani GmbH & Co. KG

Lieferbar innerhalb 24 Stunden

27,70 €
inkl. MwSt.
Trabant 2026

Trabant 2026
 
Verlag:Trötsch Verlag GmbH & Co. KG

Lieferbar innerhalb 1 - 2 Wochen

9,95 €
inkl. MwSt.
Alle Artikel anzeigen