Automatic Specification Generation for Tracking Control in Interpreted Petri nets

D. Guevara-Lozano, Carlos Renato Vázquez, Antonio Ramírez-Treviño. Automatic Specification Generation for Tracking Control in Interpreted Petri nets. In 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020, Prague, Czech Republic, June 29 - July 2, 2020. pages 341-346, IEEE, 2020. [doi]

Authors

D. Guevara-Lozano

This author has not been identified. Look up 'D. Guevara-Lozano' in Google

Carlos Renato Vázquez

This author has not been identified. Look up 'Carlos Renato Vázquez' in Google

Antonio Ramírez-Treviño

This author has not been identified. Look up 'Antonio Ramírez-Treviño' in Google