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
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)
Uses Software
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