Design and verification of cyber-physical systems from theory to applications : essays dedicated to Martin Fränzle on the occasion of his 60th birthday Andreas Rauh, Bernd Finkbeiner, Paul Kröger, editors

Format:

Book

Author/Creator:

Rauh, Andreas

Contributor:

Fränzle, Martin, honouree.

Rauh, Andreas, editor.

Finkbeiner, Bernd, editor.

Kröger, Paul, editor.

Series:

Lecture notes in computer science ; 1611-3349 16060

Lecture Notes in Computer Science 1611-3349 16060

Language:

English

Subjects (All):

Cooperating objects (Computer systems).

Formal methods (Computer science).

Physical Description:

1 online resource

Place of Publication:

Cham Springer [2026]

Summary:

This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In 2002 he was appointed a professor at Carl von Ossietzky Universität Oldenburg where he leads the Cyber-Physical Systems research group. Prof. Fränzle's expertise is in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. Among specific topics, he has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems. He has led major national and international interdisciplinary projects, in both foundational and applied research, recent domains include critical systems engineering for sociotechnical systems and the safety impacts for maritime and road transportation. He has published conference papers and journal articles with over 200 researchers, collaborating with both academics and industry engineers and scientists, and his impact and achievements are reflected in the contributions in this volume

Contents:

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

Notes:

Includes author index

Online resource; title from PDF title page (SpringerLink, viewed May 26, 2026)

Other Format:

Print version Rauh, Andreas Design and Verification of Cyber-Physical Systems: from Theory to Applications

ISBN:

9783032168559

3032168554

OCLC:

1592885999

Access Restriction:

Restricted for use by site license