Zur Startseite gehen
0,00 €*
Cover: 9781638282723 | Formal Methods for Autonomous Systems | Wongpiromsarn (u. a.) | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Formal Methods for Autonomous Systems
Taschenbuch von Tichakorn Wongpiromsarn (u. a.)
Sprache: Englisch

95,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications, which are analogous to behaviors and requirements in system design and give us the means to verify and synthesize system behaviors with formal guarantees. In this monograph the authors review the current state of the art of applications of formal methods in the autonomous systems domain. They first consider correct-by-construction synthesis under various formulations in known environments before addressing the concept of uncertainty with systems that employ learning using formal methods including overcoming some limitations of such systems. Finally, they examine the synthesis of systems with monitoring to ensure a system can return to normalcy. They conclude with future directions for formal methods in reinforcement learning, uncertainty, privacy, explainability of formal methods, and regulation and certification. Covering important topics such as synthesis and reinforcement learning it is a comprehensive resource for students, practitioners and researchers on the use of formal methods in modern systems.
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications, which are analogous to behaviors and requirements in system design and give us the means to verify and synthesize system behaviors with formal guarantees. In this monograph the authors review the current state of the art of applications of formal methods in the autonomous systems domain. They first consider correct-by-construction synthesis under various formulations in known environments before addressing the concept of uncertainty with systems that employ learning using formal methods including overcoming some limitations of such systems. Finally, they examine the synthesis of systems with monitoring to ensure a system can return to normalcy. They conclude with future directions for formal methods in reinforcement learning, uncertainty, privacy, explainability of formal methods, and regulation and certification. Covering important topics such as synthesis and reinforcement learning it is a comprehensive resource for students, practitioners and researchers on the use of formal methods in modern systems.
Details
Erscheinungsjahr: 2023
Fachbereich: EDV
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Taschenbuch
Seiten: 246
ISBN-13: 9781638282723
ISBN-10: 1638282722
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wongpiromsarn, Tichakorn
Ghasemi, Mahsa
Cubuktepe, Murat
Hersteller: Now Publishers Inc
Maße: 234 x 156 x 13 mm
Von/Mit: Tichakorn Wongpiromsarn (u. a.)
Erscheinungsdatum: 21.09.2023
Gewicht: 0,38 kg
preigu-id: 127756408
Details
Erscheinungsjahr: 2023
Fachbereich: EDV
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Taschenbuch
Seiten: 246
ISBN-13: 9781638282723
ISBN-10: 1638282722
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wongpiromsarn, Tichakorn
Ghasemi, Mahsa
Cubuktepe, Murat
Hersteller: Now Publishers Inc
Maße: 234 x 156 x 13 mm
Von/Mit: Tichakorn Wongpiromsarn (u. a.)
Erscheinungsdatum: 21.09.2023
Gewicht: 0,38 kg
preigu-id: 127756408
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783540518518 | Robust Controller Design Using Normalized Coprime Factor Plant...
Robust Controller Design Using Normalized Coprime Factor Plant Descriptions
EAN: 9783540518518
Sprache: Englisch
Von/Mit: Keith Glover (u. a.)

122,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781489987419 | Data Acquisition Systems | From Fundamentals to Applied Design | Buch
Data Acquisition Systems
From Fundamentals to Applied Design
EAN: 9781489987419
Sprache: Englisch
Von/Mit: Maurizio Di Paolo Emilio

82,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783709195024 | Sensorelektronik | Primärelektronik von Meßwertaufnehmern | Buch
Sensorelektronik
Primärelektronik von Meßwertaufnehmern
EAN: 9783709195024
Sprache: Deutsch
Von/Mit: V. S. Gutnikov (u. a.)

37,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781118527429 | Ten Essential Skills for Electrical Engineers | Barry L. Dorr | Buch
Ten Essential Skills for Electrical Engineers
EAN: 9781118527429
Sprache: Englisch
Von/Mit: Barry L Dorr

56,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781461275466 | Sampling in Digital Signal Processing and Control | Goodwin (u. a.)
Sampling in Digital Signal Processing and Control
EAN: 9781461275466
Sprache: Englisch
Von/Mit: Graham Goodwin (u. a.)

55,20 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783111004068 | Einführung in die moderne Hochspannungstechnik | Kurt Fischer | Buch
Einführung in die moderne Hochspannungstechnik
EAN: 9783111004068
Sprache: Deutsch
Von/Mit: Kurt Fischer

109,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783030361983 | Fundamentals of Digital Electronics | Dhanasekharan Natarajan | Buch
Fundamentals of Digital Electronics
EAN: 9783030361983
Sprache: Englisch
Von/Mit: Dhanasekharan Natarajan

62,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781098106652 | Graph-Powered Analytics and Machine Learning with Tigergraph | Buch
Graph-Powered Analytics and Machine Learning with Tigergraph
Driving Business Outcomes with Connected Data
EAN: 9781098106652
Sprache: Englisch
Von/Mit: Victor Lee (u. a.)

58,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789811698262 | Electronics Production Defects and Analysis | Gopalan (u. a.) | Buch
Electronics Production Defects and Analysis
EAN: 9789811698262
Sprache: Englisch
Von/Mit: Padma Padmanabhan Gopalan (u. a.)

96,29 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9786205849064 | Multiple-Choice-Fragen zu elektronischen Geräten | Rajendran (u. a.)
Multiple-Choice-Fragen zu elektronischen Geräten
EAN: 9786205849064
Sprache: Deutsch
Von/Mit: A. Rajendran (u. a.)

43,90 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...