Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper, we describe a single exponential translation from limit-deterministic Büchi automata (LDBA) to DPA and show that it can be concatenated with a recent efficient translations from LTL to LDBA to yield a double exponential, ‘Safraless’ LTL-to-DPA construction. We also report on an implementation and a comparison with other LTL-to-DPA translations on several sets of formulas from the literature.
相似文献![点击此处可从《ChemMedChem》网站下载免费的PDF全文](/ch/ext_images/free.gif)
The article focuses on a FE-model suitable for folded-plate structures. This so-called multi-reference-plane model (MRM) is capable of describing the structural behavior of RC structures strengthened by textile-reinforced concrete (TRC) layers, because those are characterized by a multi-Kirchhoff kinematics. New TRC structures may also be analyzed with the aid of the MRM as structures with one reference plane only.
Experimental and numerical investigations demonstrate that structural responses of TRC structures are highly dependent on the spatial and temporal variation of the uncertain material and geometric data. For this reason the present paper concentrates on the generalized uncertainty modeling of material and geometric parameters with the aid of fuzzy and fuzzy random functions. The uncertainty models and the MRM are combined in the framework of the fuzzy stochastic finite element method (FSFEM). The introduced models are applied to three examples. 相似文献