Bewertung:
Das Buch stellt eine klare und umfassende Behandlung von cyber-physischen Systemen dar und macht sie für Ingenieure mit unterschiedlichem Hintergrund zugänglich, insbesondere für Luftfahrt- und Maschinenbauingenieure. Es ist gut geschrieben und schlägt effektiv eine Brücke zwischen theoretischen Konzepten und praktischer Umsetzung.
Vorteile:⬤ Klarer Text
⬤ gutes Abstraktionsniveau
⬤ Unterstützung bei der praktischen Umsetzung
⬤ hilfreich für Ingenieure aus verschiedenen Disziplinen
⬤ deckt eine Reihe von Themen ab, darunter Automaten, Steuerungssysteme und Dynamik.
Einige Leser könnten den Inhalt als zu informatiklastig empfinden, wenn sie nicht aus dem Bereich der Informatik kommen.
(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: | 9780262548922 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
