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

Hybrid systems are discrete controllers that are used for controlling aphysical process (plant) exhibiting continuous dynamics. A hybrid automata (HA)is a well known and widely used formal model for the specification of suchsystems. While many methods exist for simulating hybrid automata, there are noknown approaches for the automatic code generation from HA that are semanticpreserving. If this were feasible, it would enable the design of aplant-on-a-chip (PoC) system that could be used for the emulation of the plantto validate discrete controllers. Such an approach would need to bemathematically sound and should not rely on numerical solvers. We propose amethod of PoC design for plant emulation, not possible before. The approachrestricts input/output (I/O) HA models using a set of criteria forwell-formedness which are statically verified. Following verification, we usean abstraction based on a synchronous approach to facilitate code generation.This is feasible through a sound transformation to synchronous HA. We compareour method (the developed tool called Piha) to the widely used Simulink Rsimulation framework and show that our method is superior in both executiontime and code size. Our approach to the PoC problem paves the way for theemulation of physical plants in diverse domains such as robotics, automation,medical devices, and intelligent transportation systems.

A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)