( en | de | ru )

 

Disambiguation of "Su, Rong"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking in Isomorphic Module Systems.

, , , and . IEEE Trans. Autom. Control., 64 (2): 728-735 (2019)

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.

Rong Wang

Karin Rong

Thekla Rong

Song Rong

Rong Zhao

 

Other publications of authors with the same name

AST-GIN: Attribute-Augmented Spatial-Temporal Graph Informer Network for Electric Vehicle Charging Station Availability Forecasting., , , , and . CoRR, (2022)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)Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels., , , and . CDC, page 6730-6735. IEEE, (2019)An algorithm to achieve local consistency in distributed systems., and . CDC, page 998-1003. IEEE, (2004)Maximally permissive distributed supervisory control of nondeterministic discrete-event systems., , and . CDC/ECC, page 1155-1160. IEEE, (2011)Optimal Stabilization Control of Connected Vehicle Systems., and . CDC, page 4492-4497. IEEE, (2020)Preserving Data-Privacy Cooperative Control of Discrete-Time Multi-Agent Systems., , , , , and . CDC, page 2415-2420. IEEE, (2023)About Existence of Resilient Supervisors against Smart Sensor Attacks.. CDC, page 4263-4269. IEEE, (2022)Distributed flight routing and scheduling in air traffic flow management., , , , and . CDC, page 1080-1085. IEEE, (2016)