Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN
We present an energy-efficient thermal-aware real-time global scheduler for a set of hard real-time (HRT) tasks running on a multiprocessor system. This global scheduler fulfills the thermal and temporal constraints by handling two independent ...
A controller synthesis framework for automated service composition
Nowadays, Web services allow interoperability among distributed software applications deployed on different platforms and architectures which in effect plays a major role in electronic businesses. Web services allow organizations to carry out ...
Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters
The modeling of dynamic systems is frequently hampered by a limited knowledge of the system to be modeled and by the difficulty of acquiring accurate data. This often results in a number of uncertain system parameters that are hard to incorporate ...
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling
Fluid-relaxation-based scheduling is a powerful scheduling method for complex resource allocation systems and other stochastic networks. However, this method has been pursued through rather ad hoc representations and arguments in the past. This paper ...
Time-optimal control of large-scale systems of systems using compositional optimization
Optimization of industrial processes such as manufacturing cells can have great impact on their performance. Finding optimal solutions to these large-scale systems is, however, a complex problem. They typically include multiple subsystems, and the ...