A proof-based method of hybrid systems development using differential invariants

作者：Liu, Jie; Liu, Jing; Zhang, Miaomiao^*; Sun, Haiying; Chen, Xiaohong; Du, Dehui; Chen, Mingsong

来源：Frontiers of Computer Science, 2018, 12(5): 1026-1028.

DOI：10.1007/s11704-018-7213-y

• Loureirin B
• Capsaicin
• TRPV cation channels
• Spinal nerve roots
• Neurons
• Tetrodotoxin
• Sodium channels

1 IntroductionEvent-B is a widely applied and proof-based language for incremental development via refinement [1].Hybrid systems exhibit hybrid characteristics of discrete control and real-time continuous behaviors.However,Event-B is a discrete modeling language.It does not support the development of hybrid systems.So,the researchers are currently trying to make the extension of Event-B for the refinement development of hybrid systems [2,3],

• 出版日期2018-10
• 单位南华大学; 华东师范大学; 同济大学