Synthesizing SystemC Code from Delay Hybrid CSP

DOI10.1007/978-3-319-71237-6_2zbMath1503.68186arXiv1709.09019OpenAlexW2962792452MaRDI QIDQ5055993

Gaogao Yan, Li Jiao, Naijun Zhan, Shu-Ling Wang

Publication date: 9 December 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.09019

zbMATH Keywords

code generationSystemCapproximate bisimulationdelay dynamical systemsdelay hybrid CSP

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by ordinary differential equations (93C15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Delay control/observation systems (93C43)

Related Items (1)

Synthesizing SystemC Code from Delay Hybrid CSP

Uses Software

• LUSTRE
• Charon
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Automatic verification of stability and safety for delay differential equations
• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• Validated simulation-based verification of delayed differential dynamics
• Approximate bisimulation and discretization of hybrid CSP
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
• Formal Verification of Simulink/Stateflow Diagrams
• Synthesizing SystemC Code from Delay Hybrid CSP
• A Lyapunov approach to incremental stability properties
• Generating Reliable Code from Hybrid-Systems Models
• Approximation Metrics for Discrete and Continuous Systems
• Hybrid Systems: Computation and Control

This page was built for publication: Synthesizing SystemC Code from Delay Hybrid CSP