Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Matteplackel, Raj Mohan"'
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:
CONCUR 2014 - Concurrency Theory; 2014, p266-280, 15p
Publikováno v:
Theoretical Aspects of Computing - ICTAC 2012; 2012, p16-29, 14p
Publikováno v:
Proceedings of the 3rd India Software Engineering Conference; 2/25/2010, p103-110, 8p