Hybrid system control using an on-line discrete event supervisory strategy

We will also show that by parameterizing the hybrid process model, it becomes possible to use the model- checker to evaluate the robustness of discrete control to

Given a plant P , the aim of the synthesis of a controller is to find a process C called a controller which, when supervising P forces it to satisfy a control objective, given that

The Deadlock Avoidance Control Problem (DACP) consists in computing a supervisor S ensuring that all the deadlock states are no more reachable in the controlled systemA. The

Main Contribution: A solution to the problem of discrete and continuous state estimation for a class of switched LPV systems under uncertainties is proposed by means of

Later, Giambiasi and Carmona (2006) proposed to model basic continuous components of dynamic systems in a way that facilitated the transposition to a G-DEVS model, which

This paper addresses observability conditions and state observer design for a particular class of hybrid systems with combined continuous and discrete state dynamics and called

Indeed, given a job'shop manufacturing system, this research attempts to address, at the shop'floor level, the discrete dispatching of the machine production rates

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST