An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants

2017 ◽  
Author(s):  
Jie Liu ◽  
Jing Liu ◽  
Miaomiao Zhang ◽  
Haiying Sun ◽  
Xiaohong Chen ◽  
...  
Keyword(s):  
Differential Invariants ◽  
Proof Obligation ◽  
Hybrid Event

Hybrid event beds generated by erosional bulking of modern hyperpycnal flows on the Choshui River delta front, Taiwan Strait

Sedimentology ◽  
2021 ◽  
Author(s):  
Lina Jin ◽  
Xin Shan ◽  
Xuefa Shi ◽  
Marco Fonnesu ◽  
Shuqing Qiao ◽  
...  
Keyword(s):  
Taiwan Strait ◽  
River Delta ◽  
Delta Front ◽  
Hyperpycnal Flows ◽  
Hybrid Event

scholarly journals Hybrid Event-Triggered Filtering for Nonlinear Markov Jump Systems With Stochastic Cyber-Attacks

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 248-258
Author(s):  
Wenqian Xie ◽  
Yong Zeng ◽  
Kaibo Shi ◽  
Xin Wang ◽  
Qianhua Fu
Keyword(s):  
Cyber Attacks ◽  
Markov Jump ◽  
Markov Jump Systems ◽  
Jump Systems ◽  
Event Triggered ◽  
Hybrid Event

Differential invariants of immersions of manifolds with metric fields

2003 ◽  
Vol 51 (2-3) ◽  
pp. 307-313 ◽  
Author(s):  
Pavla Musilová ◽  
Demeter Krupka
Keyword(s):  
Differential Invariants

scholarly journals Computing differential invariants of hybrid systems as fixedpoints

2009 ◽  
Vol 35 (1) ◽  
pp. 98-120 ◽  
Author(s):  
André Platzer ◽  
Edmund M. Clarke
Keyword(s):  
Hybrid Systems ◽  
Differential Invariants
Sign in / Sign up

Export Citation Format

Share Document