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 Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

A rigorous modeling of discretely controlled processes requires to account for the abrupt change of dynamics when a process event (typically a limit switch) triggers a discrete control action. Using hybrid automata as a suitable means to model such discrete-continuous interactions, this contribution describes an algorithmic procedure to generate discrete controllers. For hybrid automata with linear continuous dynamics and additive uncertainties, a computational scheme is proposed which ensures that the controlled system meets specifications for safety and goal attainment. The key idea of the scheme is that discrete abstractions of the hybrid automaton are used to determine a feasible control strategy with relatively low computational effort.

at - automatisierungstechnik

Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten)