Design and Verification of Cyber-Physical Systems: From Theory to Applications
Description
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.
More details
Other editions
Additional editions
Content
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.
