A denotational semantics of simulink with higher-order UTP

DOI10.1016/j.jlamp.2022.100809OpenAlexW4294204626WikidataQ114159184 ScholiaQ114159184MaRDI QIDQ2096416

Bohua Zhan, Xiong Xu, Jean-Pierre Talpin, Naijun Zhan, Shu-Ling Wang

Publication date: 16 November 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100809

zbMATH Keywords

denotational semanticscyber-physical systemsmodel-based designmathworks simulinkunifying theory of programming

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic

Uses Software

• Matlab
• Simulink
• SL2SX
• Zelus

Cites Work

• Unnamed Item
• Non-standard semantics of hybrid systems modelers
• Differential dynamic logic for hybrid systems
• Unifying theories of reactive design contracts
• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• Mechanically proving determinacy of hierarchical block diagram translations
• A lattice-theoretical fixpoint theorem and its applications
• Zélus
• Formal Verification of Simulink/Stateflow Diagrams
• Formal Verification of Simulink/Stateflow Diagrams
• Hybrid Systems: Computation and Control
• Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

This page was built for publication: A denotational semantics of simulink with higher-order UTP