连续无功系统
crestdsl的Python项目详细描述
crest-连续反应系统DSL
（我知道，我知道，但我真的很忙……）
<；--启动此存储库并直接在浏览器中使用Crest！
简介
crest是一种新的建模语言，用于定义连续时间、无功系统。 它是一种领域特定语言（DSL），目标是小型网络物理系统（CPS），如家庭自动化系统。 具体来说，它关注的是cps中资源的流动和转移。 虽然crest是一种图形语言，其系统可以可视化为crest图表， 主要的使用形式是作为python通用编程语言的内部dsl。
试试我！
crest使用Docker、Jupyter笔记本和Binder在线创建、编辑和模拟交互式模型。
你可以点击this link（或者上面的“启动活页夹”徽章）来试着给自己戴上徽章。
你会发现几本介绍Crest's的笔记本 Syntax & Semantics和Simulation。 您也可以在活页夹上启动Docker容器（单击徽章）并创建一个新笔记本。 然后可以创建和模拟自己的模型。
安装
建议：下载/克隆此存储库并使用源。
最简单的方法是使用最新版本的crest在binder上启动（见上文）。
或者创建一个本地docker映像（scripts/docker-build.sh），然后运行它（scripts/docker-run.sh）。
或者可以使用^{
local install:您也可以在本地使用crest并手动安装依赖项。有关使用的工具和库的信息，请参见Dockerfile。crest还要求安装微软的Z3Prover（包括python api）。
soon:PIP安装正在进行中，但由于发布季节的原因而延迟：）
出版物
<详细信息><摘要> 斯特凡·克里科维茨、奥连·科特和迪迪埃·布克斯： ml4crest:cps型号的机器学习。 第二届物联网模型驱动工程国际研讨会（MDE4IOT），哥本哈根，2018年@InProceedings{Klikovits:MDE4IOT:ML4CREST,
title = {{ML4CREST}: Machine Learning for CPS Models},
author = {Stefan Klikovits and Aur\'{e}lien Coet and Didier Buchs},
booktitle = {2nd International Workshop on Model Driven Engineering for the Internet-of-Things (MDE4IOT), Copenhagen, Denmark, October 15, 2018. Proceedings},
year = {2018},
}
<详细信息><摘要>
斯特凡·克里科维茨、阿尔班·林纳德和迪迪埃·布克斯：
CREST-用于反应性网络物理系统的DSL。
2018年第十届系统分析与建模会议
@InProceedings{Klikovits:SAM18:CREST,
title = {{CREST} - A {DSL} for Reactive Cyber-Physical Systems},
author = {Stefan Klikovits and Alban Linard and Didier Buchs},
booktitle = {10th International System Analysis and Modeling Conference (SAM 2018), Copenhagen, Denmark, October 15-16, 2018. Proceedings},
year = {2018},
pages = {29-45},
isbn = {978-3-030-01041-6}
}
<详细信息><摘要>
Stefan Klikovits、Alban Linard和Didier Buchs：
波峰形式化。
技术报告。日内瓦大学软件建模与验证小组。2018年
@techreport{Klikovits:CRESTFormalization:2018,
author = {Stefan Klikovits and Alban Linard and Didier Buchs},
title = {{CREST} Formalization},
institution = {Software Modeling and Verification Group, University of Geneva},
doi = {10.5281/zenodo.1284561},
year = {2018}
}
<详细信息><摘要>
Stefan Klikovits、Alban Linard、Didier Buchs：
CREST-连续无功系统DSL。
模型（卫星活动）2017:286-291
@inproceedings{Klikovits:CREST:Gemoc:2017,
author = {Stefan Klikovits and
Alban Linard and
Didier Buchs},
title = {{CREST} - {A} Continuous, REactive SysTems {DSL}},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017.},
pages = {286--291},
year = {2017},
url = {http://ceur-ws.org/Vol-2019/gemoc\_2.pdf}
}
谢谢
- 致Didier Buchs教授和日内瓦大学，或让我能做这个研究项目
- 感谢Jupyterhub和Binder团队提供了令人惊叹的服务
欢迎加入QQ群-->： 979659372
