English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

To develop IoT and/or CSP systems, we need consider both continuous data fromphysical world and discrete data in computer systems. Such a system is called ahybrid system. Because of density of continuous data, it is not easy to dosoftware testing to ensure reliability of hybrid systems. Moreover, the size ofthe state space increases exponentially for multitask systems. Formaldescriptions of hybrid systems may help us to verify desired properties of agiven system formally with computer supports. In this paper, we propose a wayto describe a formal specification of a given multitask hybrid system as anobservational transition system in CafeOBJ algebraic specification language andverify it by the proof score method based on equational reasoning implementedin CafeOBJ interpreter.

Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method