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

We present HySIA: a reliable runtime verification tool for nonlinear hybridautomata (HA) and signal temporal logic (STL) properties. HySIA simulates an HAwith interval analysis techniques so that a trajectory is enclosed sharplywithin a set of intervals. Then, HySIA computes whether the simulatedtrajectory satisfies a given STL property; the computation is performed againwith interval analysis to achieve reliability. Simulation and verificationusing HySIA are demonstrated through several example HA and STL formulas.

HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis