Cristian Mahulea

According to our database, Cristian Mahulea authored at least 77 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

On Liveness Enforcement of Distributed Petri Net Systems.

Daniel Clavel, Cristian Mahulea, Manuel Silva

IEEE Trans. Autom. Control., June, 2023

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation.

Sofia Hustiu, Eva Robillard, Joaquin Ezpeleta, Cristian Mahulea, Marius Kloetzer

CoRR, 2023

Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets.

Sofia Hustiu, Dimos V. Dimarogonas, Cristian Mahulea, Marius Kloetzer

Proceedings of the European Control Conference, 2023

Extension of a decomposition method for a global LTL specification.

Ioana Hustiu, Marius Kloetzer, Cristian Mahulea

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Analysis and optimization of clinical pathways using timed continuous Petri nets.

César Arzola, Cristian Mahulea, Jorge Júlvez

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Modeling and performance analysis of an industrial transport platform manufacturing process.

César Arzola, Daniel Latorre, Germán Sacramento, Cristian Mahulea, Jorge Júlvez

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications.

Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage

CoRR, 2022

Distributing Co-safe LTL Specifications to Mobile Robots.

Ioana Hustiu, Cristian Mahulea, Marius Kloetzer

Proceedings of the 26th International Conference on System Theory, Control and Computing , 2022

Whitening of greenhouse's roof using drones and Petri net models^*.

Sofia Hustiu, Marius Kloetzer, Alejandro López-Martínez, Cristian Mahulea

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Mission assignment and 3D path planning for a team of UAVs.

Sofia Hustiu, Marius Kloetzer, Cristian Mahulea

Proceedings of the 25th International Conference on System Theory, Control and Computing, 2021

Optimal task allocation for distributed co-safe LTL specifications.

Ioana Hustiu, Cristian Mahulea, Marius Kloetzer

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models.

Eduardo Montijano, Cristian Mahulea

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Path planning for robotic teams based on LTL specifications and Petri net models.

Marius Kloetzer, Cristian Mahulea

Discret. Event Dyn. Syst., 2020

Distributed Path Planning of Mobile Robots with LTL Specifications.

Ioana Hustiu, Marius Kloetzer, Cristian Mahulea

Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

2019

Toward a decision support system for the clinical pathways assessment.

Simona Bernardi, Cristian Mahulea, Jorge Albareda

Discret. Event Dyn. Syst., 2019

From Healthcare System Specifications to Formal Models.

Daniel Clavel, Cristian Mahulea, Manuel Silva

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Optimal Indoor Goods Delivery Using Drones.

Marius Kloetzer, Adrian Burlacu, Gabriel Enescu, Simona Caraiman, Cristian Mahulea

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Robot Planning Based on Boolean Specifications Using Petri Net Models.

Cristian Mahulea, Marius Kloetzer

IEEE Trans. Autom. Control., 2018

Path-planning in Discretized Environments with Optimized Waypoints Computation.

Emanuele Vitolo, Cristian Mahulea, Marius Kloetzer

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Performance Evaluation of the Dyna-Q algorithm for Robot Navigation.

Emanuele Vitolo, Alberto San Miguel, Javier Civera, Cristian Mahulea

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Decentralized observability of discrete event systems with synchronizations.

Alessandro Giua, Cristian Mahulea, Carla Seatzu

Autom., 2017

HEAT: A tool to develop, analyze and monitor clinical pathways.

Luis Parrilla, José García, Jorge Albareda, Cristian Mahulea

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Towards efficient algorithms for planning surgeries in operation rooms.

Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Multi-robot path planning for syntactically co-safe LTL specifications.

Marius Kloetzer, Cristian Mahulea

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Operation planning of elective patients in an Orthopedic Surgery Department.

Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

On liveness enforcement of DSSP net systems.

Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

LTL-Based Planning in Environments With Probabilistic Observations.

Marius Kloetzer, Cristian Mahulea

IEEE Trans Autom. Sci. Eng., 2015

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph.

Xu Wang, Cristian Mahulea, Manuel Silva Suárez

IEEE Trans. Autom. Control., 2015

Collision avoidance of mobile robots by using initial time delays.

Xu Wang, Marius Kloetzer, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Accomplish multi-robot tasks via Petri net models.

Marius Kloetzer, Cristian Mahulea

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

A Matlab-based interactive simulator for mobile robotics.

Ramon Gonzalez, Cristian Mahulea, Marius Kloetzer

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

A control method for distributed continuous mono-T-semiflow Petri nets.

Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez

Int. J. Control, 2014

A Petri net based approach for multi-robot path planning.

Marius Kloetzer, Cristian Mahulea

Discret. Event Dyn. Syst., 2014

Model Checking on Fault Diagnosis Graph.

Xu Wang, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Deadlock prevention policy for S³PR - Application to robot planning.

Xu Wang, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

An assembly problem with mobile robots.

Marius Kloetzer, Cristian Mahulea

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A model-based approach for the specification and verification of clinical guidelines.

Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Planning mobile robots with Boolean-based specifications.

Cristian Mahulea, Marius Kloetzer

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Fault Diagnosis Graph of time Petri nets.

Xu Wang, Cristian Mahulea, Manuel Silva

Proceedings of the 12th European Control Conference, 2013

Minimum-time flow control of timed continuous Choice-Free nets.

Liewei Wang, Cristian Mahulea, Manuel Silva

Proceedings of the 12th European Control Conference, 2013

Decentralized diagnosis based on fault diagnosis graph.

Xu Wang, Cristian Mahulea, Manuel Silva Suárez

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Petri net approach for deadlock prevention in robot planning.

Marius Kloetzer, Cristian Mahulea, José Manuel Colom

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Distributed Model Predictive Control of timed continuous Petri nets.

Liewei Wang, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Introduction to Fluid Petri Nets.

Carlos Renato Vázquez, Cristian Mahulea, Jorge Júlvez, Manuel Silva

Proceedings of the Control of Discrete-Event Systems, 2013

Continuous Petri Nets: Observability and Diagnosis.

Cristian Mahulea, Jorge Júlvez, Carlos Renato Vázquez, Manuel Silva

Proceedings of the Control of Discrete-Event Systems, 2013

Continuous Petri Nets: Controllability and Control.

Jorge Júlvez, Carlos Renato Vázquez, Cristian Mahulea, Manuel Silva

Proceedings of the Control of Discrete-Event Systems, 2013

2012

Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.

Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez

IEEE Trans. Syst. Man Cybern. Part A, 2012

Control of continuous Petri nets using ON/OFF based method.

Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

LTL planning in dynamic environments.

Marius Kloetzer, Cristian Mahulea

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Online Petri net based algorithm for planning and controlling mobile robots.

Cristian Mahulea, Marius Kloetzer

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Modular Petri net modeling of the Spanish health system.

Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

On fluidization of discrete event models: observation and control of continuous Petri nets.

Manuel Silva Suárez, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez

Discret. Event Dyn. Syst., 2011

A probabilistic abstraction approach for planning and controlling mobile robots.

Marius Kloetzer, Cristian Mahulea, Octavian Pastravanu

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

On decentralized observability of discrete event systems.

Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Analysis and simulation of manufacturing systems using SimHPN toolbox.

Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

An Automated Framework for Formal Verification of Timed Continuous Petri Nets.

Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez

IEEE Trans. Ind. Informatics, 2010

SimHPN: A MATLAB toolbox for continuous Petri nets.

Jorge Júlvez, Cristian Mahulea

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Fault diagnosis of manufacturing systems using continuous Petri nets.

Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the IEEE International Conference on Systems, 2010

Minimum-time control for structurally persistent continuous Petri Nets.

Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An iterative control method for distributed continuous Petri nets.

Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A control method for timed distributed continuous Petri nets.

Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva

Proceedings of the American Control Conference, 2010

On the Importance of the Deadlock Trap Property for Monotonic Liveness.

Monika Heiner, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets.

Cristian Mahulea, Laura Recalde, Manuel Silva Suárez

Discret. Event Dyn. Syst., 2009

New results for fault detection of untimed continuous Petri nets.

Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Observer design for untimed continuous Petri nets.

Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva

Proceedings of the American Control Conference, 2009

Constrained invariant motions for networked multi-agent systems.

Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua, Cristian Mahulea

Proceedings of the American Control Conference, 2009

An Efficient Heuristics for Minimum Time Control of Continuous Petri nets.

Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Preface.

Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Fault diagnoser design for untimed continuous Petri nets.

Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.

Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez

IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.

Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez

IEEE Trans. Autom. Control., 2008

Formal analysis of timed continuous Petri nets.

Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

A state estimation problem for timed continuous Petri nets.

Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State Estimation of Petri Nets by Transformation.

Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Optimal Control of Timed Continuous Petri Nets via Explicit MPC.

Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva

Proceedings of the Positive Systems, 2006

Improving analysis and simulation of continuous Petri Nets.

Laura Recalde, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.

Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006