Produktbild: Logical Foundations of Cyber-Physical Systems
- 11%

Logical Foundations of Cyber-Physical Systems

11% sparen

51,99 € UVP 58,84 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

11.08.2018

Abbildungen

XXXI, 182 illus., 176 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Verlag

Springer

Seitenzahl

639

Maße (L/B/H)

24,1/16/4,2 cm

Gewicht

1162 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-319-63587-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

11.08.2018

Abbildungen

XXXI, 182 illus., 176 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Verlag

Springer

Seitenzahl

639

Maße (L/B/H)

24,1/16/4,2 cm

Gewicht

1162 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-319-63587-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logical Foundations of Cyber-Physical Systems
  • Cyberphysical Systems: Introduction.- Differential Equations and Domains.- Choice and Control.- Safety and Contracts.- Dynamical Systems and Dynamic Axioms.- Truth and Proof.- Control Loops and Invariants.- Events and Responses.- Reactions and Delays.- Differential Equations and Differential Invariants.- Differential Equations and Proofs.- Ghosts and Differential Ghosts.- Logical Foundations and CPS.- Differential Invariants and Proof Theory.- Verified Models and Verified Runtime Validation.- Hybrid Systems and Games.- Winning Strategies and Regions.- Winning and Proving Hybrid Games.- Game Proofs and Separations.- Virtual Substitution and Real Equations.- Virtual Substitution and Real Arithmetic.- Axioms and Uniform Substitutions.- Differential Axioms and Uniform Substitutions.- Model Checking and Reachability Analysis.- Distributed Systems and Hybrid Systems.