Autor der Publikation

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

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming., , , und . IEEE Trans. Autom. Control., 65 (6): 2662-2669 (2020)Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis., , , und . 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., , und . Autom., (2015)Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets., , , , und . IEEE Control. Syst. Lett., (2023)Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs., , , und . IEEE Control. Syst. Lett., (2022)A method to verify the controllability of language specifications in Petri nets based on basis marking analysis., , und . CDC, Seite 1675-1681. IEEE, (2015)A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures., , und . ACC, Seite 365-370. IEEE, (2015)An improved approach for marking optimization of timed weighted marked graphs., , , , und . Discret. Event Dyn. Syst., 29 (2): 127-143 (2019)Secret Protections in Discrete-Event Systems with Minimum Costs., , und . ACC, Seite 3740-3745. IEEE, (2022)Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing., , , , und . IEEE Robotics Autom. Lett., 7 (3): 6091-6098 (2022)