Author of the publication

Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates.

, and . Automatica, (2017)

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 time optimal accepting traces using language projection and pruning., and . CASE, page 1363-1368. IEEE, (2015)Maximally permissive distributed supervisory control of nondeterministic discrete-event systems., , and . CDC-ECE, page 1155-1160. IEEE, (2011)Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput., , , and . WODES, page 201-207. International Federation of Automatic Control, (2014)Control of input/output discrete-event systems., , , , , and . ECC, page 1967-1972. IEEE, (2009)Short-term En route Air Traffic Flow Management Under Departure and Wind Uncertainties with a Heuristic and Greedy Solution Approach., , and . ACC, page 2121-2126. IEEE, (2019)Comparative finite-element studies of sinusoidal and single pulse controlled switched reluctance machines with power converter considerations., , , , and . IECON, page 1850-1855. IEEE, (2017)Language-based access control approach for component-based software applications., , and . IET Software, 1 (5): 206-216 (2007)Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition.. Automatica, 49 (11): 3502-3506 (2013)Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates., and . Automatica, (2017)Solving Traffic Signal Scheduling Problems in Heterogeneous Traffic Network by Using Meta-Heuristics., , , , , and . IEEE Trans. Intelligent Transportation Systems, 20 (9): 3272-3282 (2019)