This paper is dedicated to the study of constraints violation in manufacturing workshops with time constraints. In such systems, every operation duration is included between minimal and maximal values. P-time Petri nets are used for modeling. A new theorem is introduced, constituting a decision tool about the occurrence of constraints violation at the level of a synchronization transition when various types of time disturbances occur. It shows the robustness properties of a manufacturing system on a range that may include delay and advance disturbances. The theoretical result is illustrated step by step on a given workshop. Two other lemmas are elaborated contributing to the study of the constraints violation problem. The final goal is to g...
High-end manufacturing systems are cyber-physical systems where productivity depends on the close co...
AbstractIt is shown that a large class of flexible manufacturing cells can be modeled using timed Pe...
In the context of automated manufacturing systems, we propose a class of time-varying systems which ...
This paper deals with supervision in critical time manufacturing jobshops without assembling tasks. ...
Les travaux proposés dans cette thèse s’intéressent à la commande et la surveillance d’une classe pa...
The works proposed in this thesis are interested in controlling and monitoring of a particular class...
International audienceThe increasing complexity of manufacturing systems gives rise to the developme...
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method...
AbstractThe objective of this work is to give time Petri nets a partial order semantics, akin to the...
AbstractThis volume contains the Proceedings of the First Workshop on the Theory and Practice of Tim...
International audienceThe increasing complexity of manufacturing systems gives rise to the developme...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
Abstract. In the following sections, we describe a method to deal with time critical problems in the...
In the first part of this work, a new modeling tool - Interval Constrained Petri Nets (ICPN) - is in...
This paper proposes a modeling method of the laws controlling manufacturing systems with temporal an...
High-end manufacturing systems are cyber-physical systems where productivity depends on the close co...
AbstractIt is shown that a large class of flexible manufacturing cells can be modeled using timed Pe...
In the context of automated manufacturing systems, we propose a class of time-varying systems which ...
This paper deals with supervision in critical time manufacturing jobshops without assembling tasks. ...
Les travaux proposés dans cette thèse s’intéressent à la commande et la surveillance d’une classe pa...
The works proposed in this thesis are interested in controlling and monitoring of a particular class...
International audienceThe increasing complexity of manufacturing systems gives rise to the developme...
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method...
AbstractThe objective of this work is to give time Petri nets a partial order semantics, akin to the...
AbstractThis volume contains the Proceedings of the First Workshop on the Theory and Practice of Tim...
International audienceThe increasing complexity of manufacturing systems gives rise to the developme...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
Abstract. In the following sections, we describe a method to deal with time critical problems in the...
In the first part of this work, a new modeling tool - Interval Constrained Petri Nets (ICPN) - is in...
This paper proposes a modeling method of the laws controlling manufacturing systems with temporal an...
High-end manufacturing systems are cyber-physical systems where productivity depends on the close co...
AbstractIt is shown that a large class of flexible manufacturing cells can be modeled using timed Pe...
In the context of automated manufacturing systems, we propose a class of time-varying systems which ...