( en | de | ru )

 

Disambiguation of "Mahulea, Cristian"

Author of the publication

copydeleteadd this publication to your clipboard
A state estimation problem for timed continuous Petri nets.

, , , and . CDC, page 1770-1775. IEEE, (2007)

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.

Cristian Sommariva

Cristian Chitu

Cristian Picioreanu

Cristian Weiss

Cristian Pellizzer

 

Other publications of authors with the same name

Robot Planning Based on Boolean Specifications Using Petri Net Models., and . IEEE Trans. Automat. Contr., 63 (7): 2218-2225 (2018)Modular Petri net modeling of the Spanish health system., , and . ETFA, page 1-8. IEEE, (2012)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , and . IEEE Trans. Ind. Informatics, 6 (3): 460-471 (2010)Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation., , , , and . CoRR, (2023)Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets., , , and . ECC, page 1-8. IEEE, (2023)Extension of a decomposition method for a global LTL specification., , and . ETFA, page 1-4. IEEE, (2023)Whitening of greenhouse's roof using drones and Petri net models*., , , and . ETFA, page 1-8. IEEE, (2022)Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models., and . CASE, page 2188-2193. IEEE, (2021)Distributing Co-safe LTL Specifications to Mobile Robots., , and . ICSTCC, page 306-311. IEEE, (2022)Path-planning in Discretized Environments with Optimized Waypoints Computation., , and . ETFA, page 729-735. IEEE, (2018)