Using Interval Constrained Petri Nets for Reactive Control Design: A tobacco manufacturing application

Dhouibi, Hedi; Collart, S. Dutileul; Nabli, Lotfi; Craye, Étienne

doi:10.1515/ijmsp.2008.9.3-4.217

Cited by 8 publications

(9 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The operating objective is to maintain the specifications on the parameters: C, E and H. For this, the Petri-Net model has been simulated using the intervals of fig. 1, in same [7]. Under these conditions we can conclude that our model is robust shown in fig.…”

Section: Verification Of the Robustness Of The Icpn Modelsupporting

confidence: 73%

See 1 more Smart Citation

Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata

Mhamdi¹,

Dhouibi²,

Simeu-Abazi

et al. 2013

2013 International Conference on Control, Decision and Information Technologies (CoDIT)

View full text Add to dashboard Cite

Abstract--In this paper we propose a new modeling approach.The proposed approach is based on hybrid model which combines Interval Constrained Petri Nets (ICPN) and Timed Automata. These tools allow us to evaluate, respectively, the quality variations and to manage the flow type disturbance . An example analysis illustrates our approach.Index Term--modeling, Petri Nets, Timed Automata, Interval Constraint Petri Nets, Robustness. I.INTRODUCTION The aim of this paper is to explain the use of hybrid tool which co mbines Interval Constrained Petri Nets (ICPN) and timed Automata. ICPN is a sub-class of High Level Petri Nets with Abstract Marking (AM-HLPN) [2] [3]. ICPN model allows us to model and guarantee a constraint on any parameter of a manufacturing process. In our case it has been used to model the flu x of material flo w for regulating the quality of tobacco. Timed automata is a tool for the modelling and verification of real t ime systems [13] [14]. A timed automata is essentially a fin ite automata (FSM), extended with real-valued variables. Such an automata may be considered as an abstract model of t imed systems. This expressive modelling tool offers the possibilities of model analysis like verification, controller synthesis and also faults detection and isolation to model manufacturing systems whose activity times are included between a minimu m and a maximu m value. We use it for modelling the discrete parts of system co mmand. Both tools are applied to a robustness control for regulation systems and for description of dynamical system. In this paper, first, the process is presented. The following section describes ICPN and gives some basic notions on the timed automaton which is used in the modeling step. Then we build the ICPN mode wh ich describes the material flow. This tool presents a complement to the P-temporal Petri nets [1]. So we prove the robust control laws of this model in order to use production data information of manufacturing production systems. Then we use the timed automata model to describe the control lo w. Finally, when the global model of the process is completely defined, we present an application to tobacco manufacturing to illustrate our approach. Finally, a conclusion is presented with some perspectives.

show abstract

Section: Verification Of the Robustness Of The Icpn Modelsupporting

confidence: 73%

“…So, the above relation may be appro ximated by the fo llo wing one doing a first order linearization [9].…”

Section: Modelling Process With Icpnmentioning

confidence: 99%

Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata

Mhamdi¹,

Dhouibi²,

Simeu-Abazi

et al. 2013

2013 International Conference on Control, Decision and Information Technologies (CoDIT)

View full text Add to dashboard Cite

show abstract

“…Definition: P-time Petri Nets is a t-uple Interval Constrained Petri Nets ICPN are introduced to extend the application [11,12] field of P-Time PN by proceeding to a functional abstraction of the parameter associated places. Naturally, it is logical to find exact ly the same mathemat ical definition of the tool.…”

Section: Petri Nets For the Regulation Controlmentioning

confidence: 99%

A Modelling approach of Robustness Control for Regulation Systems with Temporal and non-Temporal Constraints through Petri Nets

Dhouibi¹,

Nabli²,

Hassani³

et al. 2012

CONTROL

View full text Add to dashboard Cite

Quality regulat ion methodology was developed to control and improve the product and the performance evaluation in Discrete Event Systems (DES). The same part icularity may be found on process where the associated constraints do not concern the time. Thus the objective of quality regulation system is to ensure that measure a product's quality fall into ranges that are acceptable to prospective customers. The control must guarantee the values of the quality variable may or may not fall a random pattern with in the limits specified. So a suitable model, rich in analytical properties, is necessary to synthesize the needed controller. The paper is related to the Discrete Events Systems Modelling. We propose a new approach to model the regulation quality systems under temporal and non-temporal constraints. The proposed approach is based on hybrid Petri Nets which co mbines Interval Constrained Petri Nets (ICPN) and P-temporal Petri Nets. These tools allo w us to evaluate the quality variations and to manage the flo w type disturbance. The approach is validated on an interesting large scale co mplex system (more p recisely the applicat ion is related to a tobacco manufacturing system).

show abstract

“…The control must then found guarantees ensuring the respect of these specifications. The problems of the discrete-event manufacturing systems, events preserving the specific properties of the system against foreseen or unforeseen disturbances, are frequently met in the literature [1], [2], [3], [4], [7], [9], etc. These works show that in order to study such problems, it is necessary to define and study at the beginning the quality and/or temporal performances exigencies for the exit of the system in order to develop later the type of variations.…”

Section: Introductionmentioning

confidence: 99%

“…They allow the modeling of the unspecified constraints characterizing any parameter in a manufacturing process. Indeed, this tool of modeling is regarded as a significant way of research for the determination and the evaluation of the robustness [4], [7], [8].…”

Section: Introductionmentioning

confidence: 99%

The use of redundancy to evaluate the manufacturing system total robustness: A quality approach

Telmoudi

Bourjault²,

Nabli³

2008

2008 3rd International Symposium on Communications, Control and Signal Processing

View full text Add to dashboard Cite

This paper proposes a modeling method of these control laws for manufacturing system. The robustness for these categories of system is discussed. Our approach consists in managing the disturbances of the drifts type of quality of the product. The Intervals Constrained Petri Net (ICPN) are used for the modeling of the no temporal constraints. A methodology of construction of a robust control system generating the margins of passive and active robustness is elaborated. The redundancy of the robustness of the elementary parameters between passive and active leads us to define the ways ensuring the total robustness of the system.

show abstract

Using Interval Constrained Petri Nets for Reactive Control Design: A tobacco manufacturing application

Cited by 8 publications

References 1 publication

Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata

Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata

A Modelling approach of Robustness Control for Regulation Systems with Temporal and non-Temporal Constraints through Petri Nets

The use of redundancy to evaluate the manufacturing system total robustness: A quality approach

Contact Info

Product

Resources

About