Add to ORKGIn this paper, a class of timed Petri nets, named programmable timed Petri nets is used to model and study switched hybrid systems. Supervisory control of a hybrid system in which the continuous state is transfered to a region of the state space in a way that respects safety specifications on the plant’s discrete and continuous dynamics is examined. The approach is illustrated using a power system example.
International audienceWe consider in this paper the extensions of the PN formalism in the direction ...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervis...
Abstract. In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets a...
This paper presents a model for hybrid systems based on timed Petri nets. The dynamics of the system...
Timed Petri nets (TPN) and hybrid Petri nets (HPN), more precisely first-order HPN (FOHPN), are used...
This paper is concerned with controllability of Timed Continuous Petri nets, under infinite server s...
WOS: 000270115500006In this paper, the real-time supervisory control of an experimental manufacturin...
Abstract:- In this paper, Hybrid Petri Nets are proposed as a modelling methodology to control produ...
Summarization: This work extends the hybrid Petri net (HPN) methodology to study multi-operational p...
A practical problem in automation systems modeling is the choice between a fully hybrid approach and...
International audienceMany systems are naturally hybrid, i.e., their modeling needs at least one con...
Hybrid continuous-time and discrete-event system models are developed for applications to intelligen...
International audienceThis paper is devoted to the use of hybrid Petri nets (PNs) for modeling and c...
International audienceWe consider in this paper the extensions of the PN formalism in the direction ...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervis...
Abstract. In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets a...
This paper presents a model for hybrid systems based on timed Petri nets. The dynamics of the system...
Timed Petri nets (TPN) and hybrid Petri nets (HPN), more precisely first-order HPN (FOHPN), are used...
This paper is concerned with controllability of Timed Continuous Petri nets, under infinite server s...
WOS: 000270115500006In this paper, the real-time supervisory control of an experimental manufacturin...
Abstract:- In this paper, Hybrid Petri Nets are proposed as a modelling methodology to control produ...
Summarization: This work extends the hybrid Petri net (HPN) methodology to study multi-operational p...
A practical problem in automation systems modeling is the choice between a fully hybrid approach and...
International audienceMany systems are naturally hybrid, i.e., their modeling needs at least one con...
Hybrid continuous-time and discrete-event system models are developed for applications to intelligen...
International audienceThis paper is devoted to the use of hybrid Petri nets (PNs) for modeling and c...
International audienceWe consider in this paper the extensions of the PN formalism in the direction ...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...