Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Wakankar, Amol"'
Autor:
Pandya, Paritosh K., Wakankar, Amol
Publikováno v:
EPTCS 305, 2019, pp. 91-106
A system with sporadic errors (SSE) is a controller which produces high quality output but it may occasionally violate a critical requirement REQ(I,O). A run-time enforcement shield is a controller which takes (I,O) (coming from SSE) as its input, an
Externí odkaz:
http://arxiv.org/abs/1909.08541
Autor:
Pandya, Paritosh K., Wakankar, Amol
This paper investigates the synthesis of robust controllers from logical specification of regular properties given in an interval temporal logic QDDC. Our specification encompasses both hard robustness and soft robustness. Here, hard robustness guara
Externí odkaz:
http://arxiv.org/abs/1905.11157
In reactive controller synthesis, a number of implementations (controllers) are possible for a given specification because of the incomplete nature of specification. To choose the most desirable one from the various options, we need to specify additi
Externí odkaz:
http://arxiv.org/abs/1903.03991
Autor:
Pandya, Paritosh K., Wakankar, Amol
Publikováno v:
In Information and Computation May 2022 285 Part B
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
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 form
Externí odkaz:
http://arxiv.org/abs/1711.01823
Several temporal logics have been proposed to formalise timing diagram requirements over hardware and embedded controllers. These include LTL, discrete time MTL and the recent industry standard PSL. However, succintness and visual structure of a timi
Externí odkaz:
http://arxiv.org/abs/1705.04510
Publikováno v:
In Nuclear Engineering and Technology April 2019 51(2):463-478
Publikováno v:
2012 3rd National Conference on Emerging Trends & Applications in Computer Science; 1/ 1/2012, p115-120, 6p