@inproceedings{ae1267a0b0db4f7a8696b8032a080d86,
title = "Hybrid lustre",
abstract = "Hybrid Lustre is a formal modeling language for a mixed discrete-continuous system extended from Lustre. Lustre is a data-flow based synchronous language widely used in development of real-time embedded systems. While Luster lacks of a mechanism for modeling continuous behavior of physical processes which are controlled by digital controllers, Hybrid Lustre is proposed as an extension of Lustre to accommodate continuous behaviors in between discrete transitions. The continuous state change can be specified by ordinary differential equations. The syntax and the semantics of Hybrid Lustre are formally described, thus to support verifying the correctness of models of mixed discrete-continuous systems. It is successfully used in development of new generation Communication Based Zone Controller of Casco Signal LTD.",
author = "Zhenghen Yuan and Tingliang Zhou and Jing Liu and Juan Luo and Yi Zhang and Xiaohong Chen",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics, PSI 2015 ; Conference date: 24-08-2015 Through 27-08-2015",
year = "2016",
doi = "10.1007/978-3-319-41579-6\_25",
language = "英语",
isbn = "9783319415789",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "325--340",
editor = "Manuel Mazzara and Andrei Voronkov",
booktitle = "Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers",
address = "德国",
}