Synthesizing SystemC Code from Delay Hybrid CSP

by   Gaogao Yan, et al.

Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. This implies that safety or stability certificates obtained on idealized, delay-free models of systems prone to delayed coupling may be erratic, and further the incorrectness of the executable code generated from these models. However, automated methods for system verification and code generation that ought to address models of system dynamics reflecting delays have not been paid enough attention yet in the computer science community. In our previous work, on one hand, we investigated the verification of delay dynamical and hybrid systems; on the other hand, we also addressed how to synthesize SystemC code from a verified hybrid system modelled by Hybrid CSP (HCSP) without delay. In this paper, we give a first attempt to synthesize SystemC code from a verified delay hybrid system modelled by Delay HCSP (dHCSP), which is an extension of HCSP by replacing ordinary differential equations (ODEs) with delay differential equations (DDEs). We implement a tool to support the automatic translation from dHCSP to SystemC.


page 1

page 2

page 3

page 4


Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL

The Isabelle/HOL proof assistant has a powerful library for continuous a...

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations

We present a computer-assisted approach to prove the existence of Hopf b...

Learning the Delay Using Neural Delay Differential Equations

The intersection of machine learning and dynamical systems has generated...

Neural State-Dependent Delay Differential Equations

Discontinuities and delayed terms are encountered in the governing equat...

Stability of Planar Switched Systems under Delayed Event Detection

In this paper, we analyse the impact of delayed event detection on the s...

Automatic differentiation of hybrid models Illustrated by Diffedge Graphic Methodology. (Survey)

We investigate the automatic differentiation of hybrid models, viz. mode...

Please sign up or login with your details

Forgot password? Click here to reset