In this paper, we address the specification of hybrid system using Platzer's differential dynamic logic (dL). Our contribution is threefold: (1) We define a new ...
In this paper, we address the specification of hybrid system in Platzer's differential dy- namic logic and define a new composition operator that we prove ...
Abstract—Modularity and composability are essential proper- ties to facilitate and scale the design of cyber-physical systems.
In this paper, we address the specification of hybrid system using Platzer's differential dynamic logic (dL). Our contribution is threefold.
This paper defines a new composition operator in dL and proves that it is associative and commutative (AC), and provides a theorem which characterizes ...
Aug 6, 2024 · Differential Dynamic Logic (dL) is a logic for specifying and verifying hybrid systems combining discrete and continuous dynamical systems.
A complete uniform substitution calculus for differential dynamic logic. J. Autom. Reas., 59(2):219–265, 2017. doi:10.1007/s10817-016-9385-1 ...
CPSs combine cyber capabilities with physical capabilities to solve problems that neither part could solve alone. André Platzer (CMU). Dynamic Logic for ...
Aug 9, 2024 · This article presents a relatively complete proof calculus for the dynamic logic of communicating hybrid programs dLCHP.
Connected Papers is a visual tool to help researchers and applied scientists find academic papers relevant to their field of work.