Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata

2022 ◽  
pp. 473-495
Author(s):  
Yuming Wu ◽  
Lei Bu ◽  
Jiawan Wang ◽  
Xinyue Ren ◽  
Wen Xiong ◽  
...  
Keyword(s):  
Reachability Analysis ◽  
Hybrid Automata ◽  
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
Sign in / Sign up

Export Citation Format

Share Document