HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

被引：3

作者：

Matsumoto, Shota ^{[1
]}

Kono, Fumihiko ^{[1
]}

Kobayashi, Teruya ^{[1
]}

Ueda, Kazunori ^{[1
]}

机构：

[1] Waseda Univ, Dept Comp Sci & Engn, Tokyo, Japan

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2015年 / 317卷

关键词：

hybrid systems; rigorous simulation; constraints; symbolic computation;

D O I：

10.1016/j.entcs.2015.10.011

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A modeling language for hybrid systems HydLa and its implementation HyLaGI are described. HydLa is a constraint-based language that can handle uncertainties of models smoothly. HyLaGI calculates trajectories by symbolic formula manipulation to exclude errors resulting from floating-point arithmetic. HyLaGI features a nondeterministic simulation algorithm so it can calculate all possible qualitative different trajectories of models with uncertainties.

引用

页码：109 / 115

页数：7

共 13 条

[1]

Borning A., 1992, LISP and Symbolic Computation, V5, P223, DOI 10.1007/BF01807506

[2]

Carlson B, 1998, LECT NOTES COMPUT SC, V1386, P80

[3]

Frehse G., 2011, LECT NOTES COMPUT SC, V6806, P379, DOI DOI 10.1007/978-3-642-22110-1

[4]

Gupta V, 1995, LECT NOTES COMPUT SC, V999, P226

[5] The theory of hybrid automata [J].

Henzinger, TA .

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, :278-292

[6]

Hickey TJ, 2004, LECT NOTES COMPUT SC, V2993, P402

[7]

Lunze J, 2009, HDB HYBRID SYSTEMS C

[8]

Matsumoto S., 2013, COMPUTER SOFTWARE, V30, P18

[9]

Moore R. E., 2009, INTRO INTERVAL ANAL, DOI [10.1137/1.9780898717716, DOI 10.1137/1.9780898717716]

[10]

Platzer A, 2008, LECT NOTES ARTIF INT, V5195, P171, DOI 10.1007/978-3-540-71070-7_15

← 1 2 →