Author of the publication

A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.

, , and . CDC, page 1675-1681. IEEE, (2015)

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

Supervisory enforcement of current-state opacity with uncomparable observations., , , , and . WODES, page 313-318. IEEE, (2016)Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees., and . CDC, page 4485-4491. IEEE, (2020)A New Method in Facial Registration in Clinics Based on Structure Light Images., , , , , , , , and . CoRR, (2024)A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures., , and . ACC, page 365-370. IEEE, (2015)A method to verify the controllability of language specifications in Petri nets based on basis marking analysis., , and . CDC, page 1675-1681. IEEE, (2015)Secret Protections in Discrete-Event Systems with Minimum Costs., , and . ACC, page 3740-3745. IEEE, (2022)Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing., , , , and . IEEE Robotics Autom. Lett., 7 (3): 6091-6098 (2022)Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem., , , and . IEEE Trans. Autom. Control., 62 (3): 1078-1093 (2017)An improved approach for marking optimization of timed weighted marked graphs., , , , and . Discret. Event Dyn. Syst., 29 (2): 127-143 (2019)Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints., , and . ETFA, page 1-8. IEEE, (2013)