Der Perlentaucher unter den Buchläden

Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)

Sie haben nach platzer, andre gesucht

Gefundene Autoren: Andre Platzer

André Platzer is an Associate Professor in the Computer Science Department at Carnegie Mellon University. He develops the logical foundations of cyberphysical systems to characterize their fundamental principles and to determine how we can trust computers to control physical processes. He has a Ph. D. from the University of Oldenburg, Germany. He received an ACM Doctoral Dissertation Honorable Mention and NSF Career Award, and he was named one of the Brilliant 10 Young Scientists by the Popular Science magazine and one of AI's 10 to Watch by the IEEE Intelligent Systems Magazine.

  1. Logical Foundations of Cyber-Physical Systems
    eng
    André Platzer
    Logical Foundations of Cyber-Physical Systems
    • Springer International Publishing
    • 2019
    • Taschenbuch
    • 672 Seiten
    53,49€

    in Kürze

    Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other p…
  2. Logical Foundations of Cyber-Physical Systems
    eng
    André Platzer
    Logical Foundations of Cyber-Physical Systems
    • Springer International Publishing
    • 2018
    • Gebunden
    • 672 Seiten
    53,49€

    in Kürze

    Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other p…
  3. Logical Analysis of Hybrid Systems
    eng
    André Platzer
    Logical Analysis of Hybrid Systems
    Proving Theorems for Complex Dynamics
    • Springer Berlin Heidelberg
    • 2014
    • Taschenbuch
    • 456 Seiten
    106,99€

    in Kürze

    Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are …
  4. Logical Analysis of Hybrid Systems
    eng
    André Platzer
    Logical Analysis of Hybrid Systems
    Proving Theorems for Complex Dynamics
    • Springer Berlin Heidelberg
    • 2010
    • Gebunden
    • 456 Seiten
    106,99€

    in Kürze

    Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are …