Lince: Lightweight Prototyping of Hybrid Programs (full version)
Ref: CISTER-TR-201009 Publication Date: 25, Oct, 2019
Lince: Lightweight Prototyping of Hybrid Programs (full version)
Ref: CISTER-TR-201009 Publication Date: 25, Oct, 2019Abstract:
Hybrid programs combine classical program constructs with differential equations, and thus naturally appear in a wide range of application domains, from biology and control theory to software engineering. This ability to entangle discrete and continuous behaviour, however, yields aspects unusual to computer science and renders the formal design of hybrid programs a difficult task, not properly handled by the current programming theory and practices.
Sergey Goncharov
José ProençaDocument:
View
DownloadDOI:10.5281/zenodo.3518839.
Record Date: 29, Oct, 2020
Short links for this page: www.cister-labs.pt/docs/10_5281_zenodo_3518839 www.cister-labs.pt/docs/cister_tr_201009 www.cister-labs.pt/docs/1685