Bewertung:
Das Buch wird für seine Klarheit und Zugänglichkeit hoch gelobt, insbesondere für die Einführung von Lesern mit unterschiedlichem technischen Hintergrund in cyber-physische Systeme. Es schafft ein ausgewogenes Verhältnis zwischen theoretischen Konzepten und praktischen Implementierungen.
Vorteile:⬤ Klar geschrieben und leicht verständlich
⬤ geeignet für Anfänger und Ingenieure aus anderen Disziplinen
⬤ gut strukturierte Einführung in cyber-physische Systeme
⬤ deckt mehrere relevante Themen zusammenhängend ab.
Einige Leser könnten den Inhalt als zu einführend empfinden, wenn sie nach fortgeschrittenerem Material suchen; für diejenigen, die mit der Terminologie nicht vertraut sind, könnte der Inhalt als Informatik-lastig empfunden werden.
(basierend auf 4 Leserbewertungen)
Principles of Cyber-Physical Systems
Ein grundlegender Text, der eine rigorose Einführung in die Prinzipien des Entwurfs, der Spezifikation, der Modellierung und der Analyse von cyber-physischen Systemen bietet.
Ein cyber-physisches System besteht aus einer Sammlung von Computergeräten, die miteinander kommunizieren und über Sensoren und Aktoren in einer Rückkopplungsschleife mit der physischen Welt interagieren. Solche Systeme sind in zunehmendem Maße allgegenwärtig, von intelligenten Gebäuden über medizinische Geräte bis hin zu Autos. Dieses Lehrbuch bietet eine rigorose und umfassende Einführung in die Prinzipien des Entwurfs, der Spezifikation, der Modellierung und der Analyse von cyber-physischen Systemen. Das Buch stützt sich auf eine Vielzahl von Teildisziplinen, darunter modellbasierter Entwurf, Nebenläufigkeitstheorie, verteilte Algorithmen, formale Methoden der Spezifikation und Verifikation, Steuerungstheorie, Echtzeitsysteme und hybride Systeme, und erklärt die Kernideen aus jeder dieser Disziplinen, die für den Entwurf und die Analyse von Systemen relevant sind.
Das Buch erklärt, wie formale Modelle mathematische Abstraktionen zur Bewältigung der Komplexität eines Systementwurfs bieten. Es behandelt sowohl synchrone als auch asynchrone Modelle für gleichzeitige Berechnungen, zeitkontinuierliche Modelle für dynamische Systeme und hybride Systeme für die Integration von diskreter und kontinuierlicher Entwicklung. Die Rolle von Korrektheitsanforderungen beim Entwurf zuverlässiger Systeme wird anhand einer Reihe von Spezifikationsformalismen und den damit verbundenen Techniken zur formalen Verifikation veranschaulicht. Zu den Themen gehören Sicherheits- und Liveness-Anforderungen, temporale Logik, Model Checking, deduktive Verifikation, Stabilitätsanalyse linearer Systeme und Echtzeit-Scheduling-Algorithmen. Die Prinzipien der Modellierung, Spezifikation und Analyse werden durch die Konstruktion von Lösungen für repräsentative Entwurfsprobleme aus den Bereichen verteilte Algorithmen, Netzwerkprotokolle, Steuerungsentwurf und Robotik veranschaulicht.
Dieses Buch bietet dem schnell expandierenden Bereich der cyber-physischen Systeme ein seit langem benötigtes Grundlagenwerk von einer etablierten Autorität. Es eignet sich sowohl für den Einsatz im Unterricht als auch als Nachschlagewerk für Fachleute.
| ISBN: | 9780262029117 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2015 |
| Seitenzahl: | 464 |
Derzeit verfügbar, auf Lager.
