The paper shows how bounded model checking can be applied to parameter synthesis for parametric timed automata with continuous time. While it is known that the general problem is undecidable even for reachability, we show how to synthesize a part of the set of all the parameter valuations under which the given property holds in a model. The results form a complete theory which can be easily app...

In this paper, we propose an efficient algorithm for the parameter synthesis of PLTL formulas with respect to parametric Markov chains. The PLTL formula is translated to an almost fully partitioned Büchi automaton which is then composed with the parametric Markov chain. We then reduce the problem to solving an optimisation problem, allowing to decide the satisfaction of the formula using an SMT...

Nearly all Statistical Parametric Speech Synthesizers today use Mel Cepstral coefficients as the vocal tract parameterization of the speech signal. Mel Cepstral coefficients were never intended to work in a parametric speech synthesis framework, but as yet, there has been little success in creating a better parameterization that is more suited to synthesis. In this paper, we use deep learning a...

We discuss the solution of the fault detection problem in presence of parametric uncertainties. The basic approach is an extension of the nullspace method for constant systems to the case of linear parameter varying (LPV) models. In a general setting, we consider the case when part of the unknown parameters are non-measurable and part of them are measurable. The resulting LPV-gain scheduled fau...

The frequency-tuning and -control properties of monolithic doubly resonant optical parametric oscillators are analyzed for stable single-mode pump radiation. Single-axial-mode operation is observed on the idler and the signal for both pulsed and continuous pumping. Projections are made for tuning-parameter tolerances that are required for maintenance of stable single-frequency oscillation. Cont...