DeepAI AI Chat
Log In Sign Up

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis

by   Amol Wakankar, et al.
Bhabha Atomic Research Centre

DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirements (with priorities) in obtaining high quality controllers. A QDDC formula specifies past time properties. In DCSYNTH synthesis, hard requirements must be invariantly satisfied whereas soft requirements may be satisfied "as much as possible" in a best effort manner by the controller. Soft requirements provide an invaluable ability to guide the controller synthesis. In the paper, using DCSYNTH, we show the application of soft requirements in obtaining robust controllers with various specifiable notions of robustness. We also show the use of soft requirements to specify and synthesize efficient runtime enforcement shields which can correct burst errors. Finally, we discuss the use of soft requirements in improving the latency of controlled system.


DCSYNTH: Guided Reactive Synthesis with Soft Requirements

In reactive controller synthesis, a number of implementations (controlle...

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements

This paper proposes a technique for the synthesis of high quality contro...

Specification and Reactive Synthesis of Robust Controllers

This paper investigates the synthesis of robust controllers from logical...

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields

A system with sporadic errors (SSE) is a controller which produces high ...

Entropy-Guided Control Improvisation

High level declarative constraints provide a powerful (and popular) way ...

Optimal Symbolic Controllers Determinization for BDD storage

Controller synthesis techniques based on symbolic abstractions appeal by...

Stochastic properties of an inverted pendulum on a wheel on a soft surface

We study dynamics of the inverted pendulum on the wheel on a soft surfac...