The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Heat exchangers are thermal fluid systems that are basic components in many industrial devices. Heat exchangers are modeled by coupled hyperbolic and parabolic partial differential equations and the structure of these equations depends on the geometry of the heat exchanger. In this paper we consider approximation methods for optimal control of a counter flow heat exchanger. We show the system is well-posed...
An increasingly important trend in the design of real-time and embedded systems is the integration of components with different levels of criticality onto a common hardware platform. Where the platform incorporates a communication media it is necessary for that media to be able to safely and efficiently transfer messages of different criticality levels. In this paper we consider the Controller Area...
Lock-based resource sharing protocols for single processor systems are well understood and supported in programming languages and in Real-Time Operating Systems. In contrast, multiprocessor resource sharing protocols are less well developed with no agreed best practice. In this paper we propose a new multiprocessor variant of a protocol based on the single processor priority ceiling protocol. The...
In this paper we consider the problem of computing feedback functional gains for control problem governed by the Boussinesq equations. These gains and the corresponding feedback laws provide insight into determining good spatial location of sensors for optimal operation of energy efficient buildings. Theoretical and numerical results are presented to illustrate the ideas and to suggest areas for future...
In many situations one is interested in the knowledge of the state of a PDE system on a sub-domain or region in the spatial domain. This type of problem occurs naturally when one is interested in regional control. Also, in cases when full spatial control is the goal and the feedback law has compact spatial support so that the observer need only estimate the local spatial behavior of the system. We...
This paper derives closed form upper bounds on the response times of tasks in fixed priority real-time systems. These bounds are valid for tasks with arbitrary deadlines, release jitter, and blocking. Response time upper bounds are given for tasks that are scheduled pre-emptively, cooperatively with intervals where pre-emption is deferred, and non-preemptively. The set of upper bounds for n tasks...
An exact scheduling test for AM multiframe tasks executing on a uniprocessor according to the fixed priority scheduling scheme is presented in this paper. The test is given as a generalization of the exact worst case response time of AM multiframe tasks in two directions. First is an improvement of the exact analysis to be applicable to systems that are subjected to release jitter. Whilst the second...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.