Rodríguez Urrego, Leonardo; García Moreno, Emilio; Morant Anglada, Francisco José; Correcher Salvador, Antonio; Quiles Cucarella, Eduardo(Institute of Electrical and Electronics Engineers (IEEE), 2013-04)
This paper presents the Latent Nestling Method (LNM) formalization in hybrid systems. For the proposed LNM, it is necessary to include places of continuous or differential character, allowing the analysis of continuous ...
[EN] This paper presents a trajectory planning approach in multirobot systems based on Petri net models. This type of models is very useful for high-level specifications since, in this case, the classical planning methods ...