A formal framework for Hybrid Event B

DOI10.1016/j.entcs.2014.12.002zbMath1351.68166OpenAlexW2082056714WikidataQ113317834 ScholiaQ113317834MaRDI QIDQ2520616

Jing Liu, Jie Liu

Publication date: 16 December 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.12.002

zbMATH Keywords

hybrid systemsdifferential dynamic logiccontinuous refinementEvent B

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Rodin
• Z

Cites Work

• The algorithmic analysis of hybrid systems
• Differential dynamic logic for hybrid systems
• Hybrid action systems
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• The Image Computation Problem in Hybrid Systems Model Checking
• Logical Analysis of Hybrid Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal framework for Hybrid Event B