| | |
| | |
Stat |
Members: 3667 Articles: 2'599'751 Articles rated: 2609
09 February 2025 |
|
| | | |
|
Article overview
| |
|
Approximate Bisimulation and Discretization of Hybrid CSP | Gaogao Yan
; Li Jiao
; Yangjia Li
; Shuling Wang
; Naijun Zhan
; | Date: |
1 Sep 2016 | Abstract: | Hybrid Communicating Sequential Processes (HCSP) is a powerful formal
modeling language for hybrid systems, which is an extension of CSP by
introducing differential equations for modeling continuous evolution and
interrupts for modeling interaction between continuous and discrete dynamics.
In this paper, we investigate the semantic foundation for HCSP from an
operational point of view by proposing notion of approximate bisimulation,
which provides an appropriate criterion to characterize the equivalence between
HCSP processes with continuous and discrete behaviour. We give an algorithm to
determine whether two HCSP processes are approximately bisimilar. In addition,
based on that, we propose an approach on how to discretize HCSP, i.e., given an
HCSP process A, we construct another HCSP process B which does not contain any
continuous dynamics such that A and B are approximately bisimilar with given
precisions. This provides a rigorous way to transform a verified control model
to a correct program model, which fills the gap in the design of embedded
systems. | Source: | arXiv, 1609.0091 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
|
| |
|
|
|