Author of the publication

Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.

, , and . Int. J. Syst. Sci., 41 (9): 1013-1026 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic state estimation in bounded timed labeled Petri nets., , and . Autom., (February 2024)Design of Supervisors for Active Diagnosis in Discrete Event Systems., , and . IEEE Trans. Autom. Control., 65 (12): 5159-5172 (2020)A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets., , and . Autom., 49 (11): 3167-3179 (2013)Model-based fault identification of discrete event systems using partially observed Petri nets., , and . Autom., (2018)Verification and enforcement of strong infinite- and k-step opacity using state recognizers., , and . Autom., (2021)On structural minimality of optimal supervisors for flexible manufacturing systems., and . Autom., 48 (10): 2647-2656 (2012)Decidability of opacity verification problems in labeled Petri net systems., , , and . Autom., (2017)Authors' Reply to 'Comments on "Liveness of an extended S3PR " Automatica 46(6) (2010) 1008-1018'., , and . Autom., 50 (8): 2201 (2014)A Novel Control-Theory-Based Approach to Scheduling of High-Throughput Screening System for Enzymatic Assay., , , , , and . IEEE Trans. Syst. Man Cybern. Syst., 52 (12): 7667-7678 (2022)Privacy-Preserving Realization of Fuzzy Clustering and Fuzzy Modeling Through Vertical Federated Learning., , , and . IEEE Trans. Syst. Man Cybern. Syst., 54 (2): 915-924 (February 2024)