Modified State Class Graph collects in a compact form the main information on all the possible evolutions of a given labeled TPN system initialized at a given marking. Recently, it has been used to solve different problems, in particular supervisor control synthesis, state estimation and system validation. It employs a symbolic characterization of the firing time intervals of the enabled transitions. This paper presents a set of MATLAB functions implementing the computation of MSCG in different ways, useful for applications.
A Matlab toolbox implementing MSCG computation
Basile F.;Ferrara L.
2022-01-01
Abstract
Modified State Class Graph collects in a compact form the main information on all the possible evolutions of a given labeled TPN system initialized at a given marking. Recently, it has been used to solve different problems, in particular supervisor control synthesis, state estimation and system validation. It employs a symbolic characterization of the firing time intervals of the enabled transitions. This paper presents a set of MATLAB functions implementing the computation of MSCG in different ways, useful for applications.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
