This paper introduces an allocation and scheduling algorithm that eflciently handles conditional execution in multi-rate embedded system. Control dependencies are introduced into the task graph model. We propose a mutual exclusion detection algorithm that helps the scheduling algorithm to exploit the resource sharing. Allocation and scheduling are performed simultaneously to take advantage of t...

Time-related optimization problems are very hard to solve. Scheduling covers a subcategory of such problems where the goal is to place events in time. The discretization of time triggers a rapid growth of possible placements, leading to large search spaces. While scheduling problems were already computationally solved two decades ago, large real-world sized instances seemed to be out of reach b...

Evolving models have found applications in many real world systems. In this paper, potentials of the Evolving Linear Models (ELMs) in tracking control design for nonlinear variable structure systems are introduced. At first, an ELM is introduced as a dynamic single input, single output (SISO) linear model whose parameters as well as dynamic orders of input and output signals can change through ...

Highway construction projects are one of the most important construction projects in the world. Therefore predicting the time of these kinds of projects is important. Basically highway projects are including few activities which are repeating along the horizontal direction. One of the best methods for scheduling these types of projects is linear scheduling method. The repetitive nature of the h...

Classical real-time scheduling models, as those commonly referred in literature, tend to ignore the impact of system tasks upon the timeliness of application tasks. However, as this paper testifies, this overhead is not negligible even for very simple systems. Accurate scheduling models from where control engineers can confidently design their real-time applications are thus required. In this p...

The scheduling of processes to meet deadlines is a difficult problem often simplified by placing severe restrictions upon the timing characteristics of individual processes. One restriction often introduced is that processes must have deadline equal to period. This paper investigates schedulability tests for sets of periodic processes whose deadlines are permitted to be less than their period. ...

It is known that in general, frozen equivalent (Linear Parameter-Varying) LPV models, i.e., LPV models which have the same input-output behavior for each constant scheduling signal, might exhibit different input-output behavior for non-constant scheduling signals. In this paper, we provide an analytic error bound on the difference between the inputoutput behaviors of two LPV models which are fr...

Inspired from the robust control principle, a robust scheduling method is proposed to solve uncertain scheduling problems. The uncertain scheduling problem is modeled by a set of workflow simulation models, and then a scheduling scheme (solution) is evaluated by the results of workflow simulations that are executed by using the workflow models in the set. A variable neighborhood immune algorith...

In this report, a representation of multi-valued functions called interval decision diagrams (IDDs) is introduced. It is related to similar representations as binary decision diagrams. Compared to other model checking strategies, IDDs show some important properties that enable us to verify especially Petri nets, process networks, and related models of computation more adequately than with conve...