Author of the publication

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

Synthesis of covert actuator attackers for free., , and . Discret. Event Dyn. Syst., 30 (4): 561-577 (2020)Observation-assisted heuristic synthesis of covert attackers against unknown supervisors., , , and . Discret. Event Dyn. Syst., 32 (3): 495-520 (2022)Language-based access control approach for component-based software applications., , and . IET Softw., 1 (5): 206-216 (2007)Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations., , , and . IEEE Trans. Autom. Control., 68 (6): 3453-3468 (June 2023)A Novel Resilient Control Scheme for a Class of Markovian Jump Systems With Partially Unknown Information., , and . IEEE Trans. Cybern., 52 (8): 8191-8200 (2022)Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder., , , and . Autom., (April 2023)Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates., and . Autom., (2017)Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition.. Autom., 49 (11): 3502-3506 (2013)Dynamic Multi-Bus Dispatching Strategy With Boarding and Holding Control for Passenger Delay Alleviation and Schedule Reliability: A Combined Dispatching-Operation System., , , and . IEEE Trans. Intell. Transp. Syst., 23 (8): 12846-12860 (2022)Distributed Flight Routing and Scheduling for Air Traffic Flow Management., , , , and . IEEE Trans. Intell. Transp. Syst., 18 (10): 2681-2692 (2017)