Vor Ort
Merkzettel Warenkorb
Produktbild: Design and Verification of Cyber-Physical Systems: From Theory to Applications
Band 16060 - 11%

Design and Verification of Cyber-Physical Systems: From Theory to Applications Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday

Aus der Reihe Lecture Notes in Computer Science
11% sparen

77,99 € UVP 87,73 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2026

Abbildungen

XIII, 125 illus., 85 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Andreas Rauh + weitere

Verlag

Springer

Seitenzahl

580

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

890 g

Sprache

Englisch

ISBN

978-3-032-16857-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2026

Abbildungen

XIII, 125 illus., 85 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

580

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

890 g

Sprache

Englisch

ISBN

978-3-032-16857-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: Design and Verification of Cyber-Physical Systems: From Theory to Applications

  • Foundations of Modeling and Analysis.- Robust Structural Transformations for Real-Time Systems.- You May Delay, but Time Will Not: Timed Games Under Delayed Control.- Sampling-based Polytope Calculus: Computations and Applications.- Higher-Dimensional Timed Automata for Real-Time Concurrency.- Fixed-Point Reasoning for Stochastic Systems: A Survey of Recent Advancements and Open Challenges.- On Verification and Constraint Generation for Families of Similar Hybrid Automata.- Operational and Algebraic Approaches to the Two-Run Relational System.- Learning and Synthesis.- Learning of Switched Nonlinear Dynamical Systems: Passive and Active Approaches.- Provable Reach-avoid Controllers Synthesis for Deterministic Discrete-time Systems Based on Convex Computations of Controlled Reach-avoid Sets.- Liquid Resistance Liquid Capacitance Networks.- Barrier Certificate Synthesis via Interpolation and Difference-of-Convex Programming.- Formalizations of Complex Cyber-Physical Systems Defining Contracts for Autonomous Hybrid Systems in Structured Natural Language.- Set-Based Assumption-Guarantee Reasoning for Handling Uncertainty in Functionality and Safety Verification of Dynamic Systems.- A Scenario Specification Language for Testing Complex Cyber-Physical Systems.- Explain it for Safety: Explanations for Risk Mitigation.- On Scenario Formalisms for Automated Driving.- Towards Applications.- Boolean Dreams and Real Constraints: Two Decades of iSAT Solving the Undecidable.- Secure Set-based State Estimation of Multi-Sensor Switched Systems: An Impulsive-Switched Observer Approach.- A Review of Arithmetic Circuit Verification Using Symbolic Computer Algebra.- Ensuring Correctness Effciently for RISC-V Processors with Customised Multiplier Designs.- Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS.- Learnability of Models of Cyber-Physical Systems - A Review.- A Review of Cyber-Physical Systems in Driving: Assisting Older People.