We concentrate on the design of a FIR lter for a fast transform based sinusoidal sound synthesis engine using linear programming and the construction of controller modules that emulate the behavior of contemporary and vintage commercial synthesizers or synthesis techniques. We will show that it is possible to create an entire highly controllable (playable) synthesis framework on top of the tran...

This paper studies near-controllability of a class of discrete-time bilinear systems via a root locus approach. A necessary and sufficient criterion for the systems to be nearly controllable is given. In particular, by using the root locus approach, the control inputs which achieve the state transition for the nearly controllable systems can be computed. Furthermore, for the non-nearly controll...

One of the great benefits of using a stream X-machine to specify a system is its associated testing method. Under certain design for test conditions, this method produces a test suite that can determine the correctness of the implementation under test (IUT), provided that the processing functions of the stream X-machine specification have been correctly implemented. The method was originally de...

This paper addresses a decision problem related to simultaneously scheduling the tasks in a project and assigning the staff to these tasks, taking into account that a task can be performed only by employees with certain skills, and that the length of each task depends on the number of employees assigned. This type of problems usually appears in service companies, where both tasks scheduling and...

In practice, machine schedules are usually subject to disruptions which have to be repaired by reactive scheduling decisions. The most popular predictive approach in project management and machine scheduling literature is to leave idle times (time buffers) in schedules in coping with disruptions, i.e. the resources will be under-utilized. Therefore, preparing initial schedules by considering po...