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

A method to verify the controllability of language specifications in Petri nets based on basis marking analysis., , and . CDC, page 1675-1681. IEEE, (2015)A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures., , and . ACC, page 365-370. IEEE, (2015)Advanced Machine Learning Models for Estimating the Distribution of Sea-Surface Particulate Organic Carbon (POC) Concentrations Using Satellite Remote Sensing Data: The Mediterranean as an Example., , , , , and . Sensors, 24 (17): 5669 (September 2024)Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees., and . CDC, page 4485-4491. IEEE, (2020)Supervisory enforcement of current-state opacity with uncomparable observations., , , , and . WODES, page 313-318. IEEE, (2016)A New Method in Facial Registration in Clinics Based on Structure Light Images., , , , , , , , and . CoRR, (2024)On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications., , , and . CoRR, (2024)Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 54 (10): 6242-6254 (October 2024)An improved approach for marking optimization of timed weighted marked graphs., , , , and . Discret. Event Dyn. Syst., 29 (2): 127-143 (2019)Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing., , , , and . IEEE Robotics Autom. Lett., 7 (3): 6091-6098 (2022)