BriefGPT.xyz
Jul, 2017
用理论模态行动语言表示混合自动机
Representing Hybrid Automata by Action Language Modulo Theories
HTML
PDF
Joohyung Lee, Nikhil Loney, Yunsong Meng
TL;DR
该研究论文介绍了混合自动机和行为语言之间的形式关系,并展示了如何用action language表示混合自动机,然后介绍了一个用混合自动机模型研究系统并利用dReal求解的原型系统。
Abstract
Both
hybrid automata
and
action languages
are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to succinctly represent
→