Modular analysis of distributed hybrid systems using post-regions

DOI10.1007/S10703-026-00491-YMaRDI QIDQ6840014zbMATH OpenFDO

Authors Eduard Kamburjan

Publication date 23 March 2026

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1007/S10703-026-00491-Y

zbMATH Keywords

deductive verificationdifferential dynamic logicdistributed hybrid systemshybrid systemsobject-orientation

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A calculus of communicating systems
• A calculus of cyber-physical systems
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• A complete uniform substitution calculus for differential dynamic logic
• A process algebra for timed systems
• A theory of timed automata
• Algebra of communicating processes with abstraction
• An axiomatic basis for computer programming
• Behavioral program logic
• Combining Model Checking and Deduction
• Compositional reasoning about active objects with shared futures
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• From post-conditions to post-region invariants
• scientific article; zbMATH DE number 1956646 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• Hybrid I/O automata.
• Hybrid process algebra
• HYPE: hybrid modelling by composition of flows
• Implementing hybrid semantics: from functional to imperative
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Logical foundations of cyber-physical systems
• MULTILISP: a language for concurrent symbolic computation
• Parallel composition and modular verification of computer controlled systems in differential dynamic logic
• Process algebra for hybrid systems
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• Redesign of a systems engineering language: formalisation of \(\chi\)
• The algorithmic analysis of hybrid systems
• The Complete Proof Theory of Hybrid Systems
• The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
• The semantics of future and an application
• Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
• Zélus: a synchronous language with ODEs

This page was built for publication: Modular analysis of distributed hybrid systems using post-regions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6840014)