A proof-based method of hybrid systems development using differential invariants

Jie Liu; Jing Liu; Miaomiao Zhang; Haiying Sun; Xiaohong Chen; Dehui Du; Mingsong Chen

doi:10.1007/s11704-018-7213-y

A proof-based method of hybrid systems development using differential invariants

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Software Engineering Institute

Research output: Contribution to journal › Letter › peer-review

Original language	English
Pages (from-to)	1026-1028
Number of pages	3
Journal	Frontiers of Computer Science
Volume	12
Issue number	5
DOIs	https://doi.org/10.1007/s11704-018-7213-y
State	Published - 1 Oct 2018

Access to Document

10.1007/s11704-018-7213-y

Cite this

@article{9ecd0e249a584a6b91f481fc96b53105,

title = "A proof-based method of hybrid systems development using differential invariants",

author = "Jie Liu and Jing Liu and Miaomiao Zhang and Haiying Sun and Xiaohong Chen and Dehui Du and Mingsong Chen",

year = "2018",

month = oct,

day = "1",

doi = "10.1007/s11704-018-7213-y",

language = "英语",

volume = "12",

pages = "1026--1028",

journal = "Frontiers of Computer Science",

issn = "2095-2228",

publisher = "Higher Education Press Limited Company",

number = "5",

}

TY - JOUR

T1 - A proof-based method of hybrid systems development using differential invariants

AU - Liu, Jie

AU - Liu, Jing

AU - Zhang, Miaomiao

AU - Sun, Haiying

AU - Chen, Xiaohong

AU - Du, Dehui

AU - Chen, Mingsong

PY - 2018/10/1

Y1 - 2018/10/1

UR - https://www.scopus.com/pages/publications/85052917658

U2 - 10.1007/s11704-018-7213-y

DO - 10.1007/s11704-018-7213-y

M3 - 快报

AN - SCOPUS:85052917658

SN - 2095-2228

VL - 12

SP - 1026

EP - 1028

JO - Frontiers of Computer Science

JF - Frontiers of Computer Science

IS - 5

ER -

A proof-based method of hybrid systems development using differential invariants

Access to Document

Other files and links

Cite this