Parameter synthesis for real-time systems aims at synthesizing dense sets of valuations for the timing requirements, guaranteeing a good behavior. A popular formalism for modeling parameterized realtime systems is parametric timed automata (PTAs). Compacting the state space of PTAs as much as possible is fundamental. We present here a state merging reduction based on convex union, that reduces ...

This document proposes the nonlinear control of an industrial three-degrees-of-freedom (3-DOF) robotic manipulator as a benchmark problem for controller synthesis methods, that are applicable to complex plants, but can provide implementation with low complexity. Full details on the nonlinear model of the industrial robotic manipulator Thermo CRS A465 are provided. Furthermore, a solution is pre...

We present a novel mapping technique for sound synthesis. The technique extends the familiar concept of morphing to the domain of synthesis parameters. A morph between defined points in the parameter space representing desirable sounds is itself parameterized with high-level controls. The choice of end points of the morph and the extent of the morph are used as input handles to map arbitrary co...

Environmental sounds present a difficult problem for sound modeling because spectral and temporal cues are tightly correlated. These sounds form classes that cannot be handled by traditional synthesis methods. Micro-level representations provide ways to control spectral and spatial cues in sound synthesis and meso-level representations determine the temporal structure of sound events. By constr...

We describe the attempt to synthesize emotional speech with a concatenative speech synthesizer using a parameter space covering not only f0, duration and amplitude, but also voice quality parameters, spectral energy distribution, harmonics-to-noise ratio, and articulatory precision. The application of these extended parameter set offers the possibility to combine the high segmental quality of c...

This paper presents a finite element method based modeling and design of control for distributed parameter systems. First, models of distributed parameter systems in the form of lumped-input/distributed-output systems and structure of control loop are introduced. Next, modeling of temperature fields of the casting die as distributed parameter systems in preheating process is performed in COMSOL...

Spectral modeling synthesis (SMS) is a powerful tool for musical sound modeling. This technique considers a sound as a combination of a deterministic plus a stochastic component that makes possible for a synthesized sound to attain all the perceptual characteristics of the original sound. In this paper, we propose a modified SMS which includes a new transformation technique to synthesize the de...

This paper presents a new nite-dimensional linear matrix inequality (LMI) formulation for the induced L2-norm synthesis of linear parameter-varying (LPV) systems. The approach is based on a nonsmooth dissipative systems theory using a continuous, quasi-piecewise a ne parameter-dependent Lyapunov function. The new method is less conservative than previously published techniques based on either a...

In the synthesis part of a hidden Markov model (HMM) based speech synthesis system which we have proposed, a speech parameter vector sequence is generated from a sentence HMM corresponding to an arbitrarily given text by using a speech parameter generation algorithm. However, there is an inconsistency: although the speech parameter vector sequence is generated under the constraints between stat...