A Matlab toolbox implementing MSCG computation. Issue 28 (2022)

• Record Type: Journal Article
• Authors: Basile, F.; Ferrara, L.
• Is Part Of: IFAC-PapersOnLine. Volume 55:Issue 28(2022)
• Page Start: 303
• Page End: 308
• Publication Date: 2022
• Subjects: Modified State Class Graph -- Time Petri nets -- Supervisory control -- Matlab toolbox; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2022.10.358
• Languages: English
• ISSNs: 2405-8963

Abstract

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.