Cristian Mahulea

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 32

Top Topics

Discrete Event Systems

Collision Avoidance

Top Venues

Discret. Event Dyn. Syst.

Publications

Daniel Clavel, Cristian Mahulea, Manuel Silva
On Liveness Enforcement of Distributed Petri Net Systems. IEEE Trans. Autom. Control. 68 (6) (2023)
Sofia Hustiu, Dimos V. Dimarogonas, Cristian Mahulea, Marius Kloetzer
Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets. ECC (2023)
César Arzola, Daniel Latorre, Germán Sacramento, Cristian Mahulea, Jorge Júlvez
Modeling and performance analysis of an industrial transport platform manufacturing process. ETFA (2023)
César Arzola, Cristian Mahulea, Jorge Júlvez
Analysis and optimization of clinical pathways using timed continuous Petri nets. ETFA (2023)
Ioana Hustiu, Marius Kloetzer, Cristian Mahulea
Extension of a decomposition method for a global LTL specification. ETFA (2023)
Sofia Hustiu, Eva Robillard, Joaquin Ezpeleta, Cristian Mahulea, Marius Kloetzer
Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation. CoRR (2023)
Sofia Hustiu, Marius Kloetzer, Alejandro López-Martínez, Cristian Mahulea
. ETFA (2022)
Ioana Hustiu, Cristian Mahulea, Marius Kloetzer
Distributing Co-safe LTL Specifications to Mobile Robots. ICSTCC (2022)
Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. CoRR (2022)
Eduardo Montijano, Cristian Mahulea
Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models. CASE (2021)
Sofia Hustiu, Marius Kloetzer, Cristian Mahulea
Mission assignment and 3D path planning for a team of UAVs. ICSTCC (2021)
Ioana Hustiu, Cristian Mahulea, Marius Kloetzer
Optimal task allocation for distributed co-safe LTL specifications. ETFA (2021)
Ioana Hustiu, Marius Kloetzer, Cristian Mahulea
Distributed Path Planning of Mobile Robots with LTL Specifications. ICSTCC (2020)
Daniel Clavel, Cristian Mahulea, Manuel Silva
On Liveness Enforcement of Distributed Petri Net Systems. CoRR (2020)
Marius Kloetzer, Cristian Mahulea
Path planning for robotic teams based on LTL specifications and Petri net models. Discret. Event Dyn. Syst. 30 (1) (2020)
Simona Bernardi, Cristian Mahulea, Jorge Albareda
Toward a decision support system for the clinical pathways assessment. Discret. Event Dyn. Syst. 29 (1) (2019)
Daniel Clavel, Cristian Mahulea, Manuel Silva
From Healthcare System Specifications to Formal Models. SMC (2019)
Marius Kloetzer, Adrian Burlacu, Gabriel Enescu, Simona Caraiman, Cristian Mahulea
Optimal Indoor Goods Delivery Using Drones. ETFA (2019)
Emanuele Vitolo, Alberto San Miguel, Javier Civera, Cristian Mahulea
Performance Evaluation of the Dyna-Q algorithm for Robot Navigation. CASE (2018)
Emanuele Vitolo, Cristian Mahulea, Marius Kloetzer
Path-planning in Discretized Environments with Optimized Waypoints Computation. ETFA (2018)
Cristian Mahulea, Marius Kloetzer
Robot Planning Based on Boolean Specifications Using Petri Net Models. IEEE Trans. Autom. Control. 63 (7) (2018)
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
Towards efficient algorithms for planning surgeries in operation rooms. ETFA (2017)
Alessandro Giua, Cristian Mahulea, Carla Seatzu
Decentralized observability of discrete event systems with synchronizations. Autom. 85 (2017)
Luis Parrilla, José García, Jorge Albareda, Cristian Mahulea
HEAT: A tool to develop, analyze and monitor clinical pathways. ICNSC (2017)
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
Operation planning of elective patients in an Orthopedic Surgery Department. ETFA (2016)
Marius Kloetzer, Cristian Mahulea
Multi-robot path planning for syntactically co-safe LTL specifications. WODES (2016)
Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez
On liveness enforcement of DSSP net systems. CDC (2016)
Ramon Gonzalez, Cristian Mahulea, Marius Kloetzer
A Matlab-based interactive simulator for mobile robotics. CASE (2015)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. IEEE Trans. Autom. Control. 60 (9) (2015)
Marius Kloetzer, Cristian Mahulea
Accomplish multi-robot tasks via Petri net models. CASE (2015)
Marius Kloetzer, Cristian Mahulea
LTL-Based Planning in Environments With Probabilistic Observations. IEEE Trans Autom. Sci. Eng. 12 (4) (2015)
Xu Wang, Marius Kloetzer, Cristian Mahulea, Manuel Silva Suárez
Collision avoidance of mobile robots by using initial time delays. CDC (2015)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
PR - Application to robot planning. ETFA (2014)
Cristian Mahulea, Marius Kloetzer
Planning mobile robots with Boolean-based specifications. CDC (2014)
Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea
A model-based approach for the specification and verification of clinical guidelines. ETFA (2014)
Marius Kloetzer, Cristian Mahulea
An assembly problem with mobile robots. ETFA (2014)
Marius Kloetzer, Cristian Mahulea
A Petri net based approach for multi-robot path planning. Discret. Event Dyn. Syst. 24 (4) (2014)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
Model Checking on Fault Diagnosis Graph. WODES (2014)
Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
A control method for distributed continuous mono-T-semiflow Petri nets. Int. J. Control 87 (2) (2014)
Xu Wang, Cristian Mahulea, Manuel Silva
Fault Diagnosis Graph of time Petri nets. ECC (2013)
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
Decentralized diagnosis based on fault diagnosis graph. ETFA (2013)
Marius Kloetzer, Cristian Mahulea, José Manuel Colom
Petri net approach for deadlock prevention in robot planning. ETFA (2013)
Liewei Wang, Cristian Mahulea, Manuel Silva
Minimum-time flow control of timed continuous Choice-Free nets. ECC (2013)
Liewei Wang, Cristian Mahulea, Manuel Silva Suárez
Distributed Model Predictive Control of timed continuous Petri nets. CDC (2013)
Cristian Mahulea, Marius Kloetzer
Online Petri net based algorithm for planning and controlling mobile robots. ETFA (2012)
Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
Control of continuous Petri nets using ON/OFF based method. WODES (2012)
Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom
Modular Petri net modeling of the Spanish health system. ETFA (2012)
Marius Kloetzer, Cristian Mahulea
LTL planning in dynamic environments. WODES (2012)
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42 (4) (2012)
Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez
Analysis and simulation of manufacturing systems using SimHPN toolbox. CASE (2011)
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu
On decentralized observability of discrete event systems. CDC/ECC (2011)
Marius Kloetzer, Cristian Mahulea, Octavian Pastravanu
A probabilistic abstraction approach for planning and controlling mobile robots. ETFA (2011)
Manuel Silva Suárez, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez
On fluidization of discrete event models: observation and control of continuous Petri nets. Discret. Event Dyn. Syst. 21 (4) (2011)
Jorge Júlvez, Cristian Mahulea
SimHPN: A MATLAB toolbox for continuous Petri nets. WODES (2010)
Monika Heiner, Cristian Mahulea, Manuel Silva Suárez
On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops (2010)
Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
An iterative control method for distributed continuous Petri nets. CDC (2010)
Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC (2010)
Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
Minimum-time control for structurally persistent continuous Petri Nets. CDC (2010)
Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
A control method for timed distributed continuous Petri nets. ACC (2010)
Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez
An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Ind. Informatics 6 (3) (2010)
Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC (2009)
Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua, Cristian Mahulea
Constrained invariant motions for networked multi-agent systems. ACC (2009)
Cristian Mahulea, Laura Recalde, Manuel Silva Suárez
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discret. Event Dyn. Syst. 19 (2) (2009)
Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez
New results for fault detection of untimed continuous Petri nets. CDC (2009)
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva
Observer design for untimed continuous Petri nets. ACC (2009)
Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. ADHS (2009)
Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon
Preface. ADHS (2009)
Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. IEEE Trans Autom. Sci. Eng. 5 (2) (2008)
Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez
Formal analysis of timed continuous Petri nets. CDC (2008)
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE Trans. Autom. Control. 53 (7) (2008)
Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
A state estimation problem for timed continuous Petri nets. CDC (2007)
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
State Estimation of Petri Nets by Transformation. CASE (2007)
Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva
Optimal Control of Timed Continuous Petri Nets via Explicit MPC. POSTA (2006)
Laura Recalde, Cristian Mahulea, Manuel Silva Suárez
Improving analysis and simulation of continuous Petri Nets. CASE (2006)
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. ADHS (2006)