Author of the publication

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.

, , , , and . IEEE Control. Syst. Lett., (2023)

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

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets., , , , and . IEEE Control. Syst. Lett., (2023)Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs., , , and . IEEE Control. Syst. Lett., (2022)Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming., , , and . IEEE Trans. Autom. Control., 65 (6): 2662-2669 (2020)Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis., , , and . IEEE Trans. Autom. Control., 67 (7): 3685-3692 (2022)Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" Automatica 48 (2012), 1097-1101., , and . Autom., (2015)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)An improved approach for marking optimization of timed weighted marked graphs., , , , and . Discret. Event Dyn. Syst., 29 (2): 127-143 (2019)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)