scholarly journals Abstraction refinement for non-zeno fairness verification of linear hybrid automata

2017 ◽  
Author(s):  
Ryo Yanase
Keyword(s):  
Hybrid Automata ◽  
Abstraction Refinement ◽  
Linear Hybrid Automata

scholarly journals Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

2012 ◽  
Vol 77 (10-11) ◽  
pp. 1122-1150 ◽  
Author(s):  
Werner Damm ◽  
Henning Dierks ◽  
Stefan Disch ◽  
Willem Hagemann ◽  
Florian Pigorsch ◽  
...  
Keyword(s):  
Hybrid Automata ◽  
State Spaces ◽  
Discrete State ◽  
Linear Hybrid Automata ◽  
Symbolic Verification

Learning Cycle-Linear Hybrid Automata for Excitable Cells

2007 ◽  
pp. 245-258 ◽  
Author(s):  
R. Grosu ◽  
S. Mitra ◽  
P. Ye ◽  
E. Entcheva ◽  
I. V. Ramakrishnan ◽  
...  
Keyword(s):  
Learning Cycle ◽  
Hybrid Automata ◽  
Excitable Cells ◽  
Linear Hybrid Automata

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure

2017 ◽  
Vol 66 (3) ◽  
pp. 416-430 ◽  
Author(s):  
Dingbao Xie ◽  
Wen Xiong ◽  
Lei Bu ◽  
Xuandong Li
Keyword(s):  
Hybrid Automata ◽  
Linear Hybrid Automata ◽  
Checking Procedure
Sign in / Sign up

Export Citation Format

Share Document