default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCristian Mahulea
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Sofia Hustiu
, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage:
On Multirobot Path Planning Based on Petri Net Models and LTL Specifications. IEEE Trans. Autom. Control. 69(9): 6373-6380 (2024)- [c58]Cristian Mahulea:
An Optimal Sensor Placement Strategy for Continuous Petri Nets. CASE 2024: 1175-1180 - 2023
- [j15]Daniel Clavel, Cristian Mahulea, Manuel Silva:
On Liveness Enforcement of Distributed Petri Net Systems. IEEE Trans. Autom. Control. 68(6): 3776-3782 (2023) - [c57]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: 1-4 - [c56]César Arzola, Cristian Mahulea, Jorge Júlvez:
Analysis and optimization of clinical pathways using timed continuous Petri nets. ETFA 2023: 1-8 - [c55]Ioana Hustiu, Marius Kloetzer, Cristian Mahulea:
Extension of a decomposition method for a global LTL specification. ETFA 2023: 1-4 - [c54]Sofia Hustiu, Dimos V. Dimarogonas, Cristian Mahulea, Marius Kloetzer:
Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets. ECC 2023: 1-8 - [i3]Sofia Hustiu, Eva Robillard, Joaquin Ezpeleta, Cristian Mahulea, Marius Kloetzer:
Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation. CoRR abs/2304.08772 (2023) - 2022
- [c53]Sofia Hustiu, Marius Kloetzer, Alejandro López-Martínez, Cristian Mahulea:
Whitening of greenhouse's roof using drones and Petri net models*. ETFA 2022: 1-8 - [c52]Ioana Hustiu, Cristian Mahulea, Marius Kloetzer:
Distributing Co-safe LTL Specifications to Mobile Robots. ICSTCC 2022: 306-311 - [i2]Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage:
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. CoRR abs/2211.04230 (2022) - 2021
- [c51]Eduardo Montijano, Cristian Mahulea:
Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models. CASE 2021: 2188-2193 - [c50]Ioana Hustiu, Cristian Mahulea, Marius Kloetzer:
Optimal task allocation for distributed co-safe LTL specifications. ETFA 2021: 1-4 - [c49]Sofia Hustiu, Marius Kloetzer, Cristian Mahulea:
Mission assignment and 3D path planning for a team of UAVs. ICSTCC 2021: 401-406 - 2020
- [j14]Marius Kloetzer, Cristian Mahulea:
Path planning for robotic teams based on LTL specifications and Petri net models. Discret. Event Dyn. Syst. 30(1): 55-79 (2020) - [c48]Ioana Hustiu, Marius Kloetzer, Cristian Mahulea:
Distributed Path Planning of Mobile Robots with LTL Specifications. ICSTCC 2020: 60-65 - [i1]Daniel Clavel, Cristian Mahulea, Manuel Silva:
On Liveness Enforcement of Distributed Petri Net Systems. CoRR abs/2012.14199 (2020)
2010 – 2019
- 2019
- [j13]Simona Bernardi, Cristian Mahulea, Jorge Albareda:
Toward a decision support system for the clinical pathways assessment. Discret. Event Dyn. Syst. 29(1): 91-125 (2019) - [c47]Marius Kloetzer, Adrian Burlacu, Gabriel Enescu, Simona Caraiman, Cristian Mahulea:
Optimal Indoor Goods Delivery Using Drones. ETFA 2019: 1579-1582 - [c46]Daniel Clavel, Cristian Mahulea, Manuel Silva:
From Healthcare System Specifications to Formal Models. SMC 2019: 2344-2351 - 2018
- [j12]Cristian Mahulea, Marius Kloetzer:
Robot Planning Based on Boolean Specifications Using Petri Net Models. IEEE Trans. Autom. Control. 63(7): 2218-2225 (2018) - [c45]Emanuele Vitolo, Alberto San Miguel, Javier Civera, Cristian Mahulea:
Performance Evaluation of the Dyna-Q algorithm for Robot Navigation. CASE 2018: 322-327 - [c44]Emanuele Vitolo, Cristian Mahulea, Marius Kloetzer:
Path-planning in Discretized Environments with Optimized Waypoints Computation. ETFA 2018: 729-735 - 2017
- [j11]Alessandro Giua, Cristian Mahulea, Carla Seatzu:
Decentralized observability of discrete event systems with synchronizations. Autom. 85: 468-476 (2017) - [c43]Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez:
Towards efficient algorithms for planning surgeries in operation rooms. ETFA 2017: 1-8 - [c42]Luis Parrilla, José García, Jorge Albareda, Cristian Mahulea:
HEAT: A tool to develop, analyze and monitor clinical pathways. ICNSC 2017: 186-191 - 2016
- [c41]Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez:
On liveness enforcement of DSSP net systems. CDC 2016: 3935-3941 - [c40]Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez:
Operation planning of elective patients in an Orthopedic Surgery Department. ETFA 2016: 1-7 - [c39]Marius Kloetzer, Cristian Mahulea:
Multi-robot path planning for syntactically co-safe LTL specifications. WODES 2016: 452-458 - 2015
- [j10]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. IEEE Trans. Autom. Control. 60(9): 2321-2335 (2015) - [j9]Marius Kloetzer, Cristian Mahulea:
LTL-Based Planning in Environments With Probabilistic Observations. IEEE Trans Autom. Sci. Eng. 12(4): 1407-1420 (2015) - [c38]Marius Kloetzer, Cristian Mahulea:
Accomplish multi-robot tasks via Petri net models. CASE 2015: 304-309 - [c37]Ramon Gonzalez, Cristian Mahulea, Marius Kloetzer:
A Matlab-based interactive simulator for mobile robotics. CASE 2015: 310-315 - [c36]Xu Wang, Marius Kloetzer, Cristian Mahulea, Manuel Silva Suárez:
Collision avoidance of mobile robots by using initial time delays. CDC 2015: 324-329 - 2014
- [j8]Marius Kloetzer, Cristian Mahulea:
A Petri net based approach for multi-robot path planning. Discret. Event Dyn. Syst. 24(4): 417-445 (2014) - [j7]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): 223-234 (2014) - [c35]Cristian Mahulea, Marius Kloetzer:
Planning mobile robots with Boolean-based specifications. CDC 2014: 5137-5142 - [c34]Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea:
A model-based approach for the specification and verification of clinical guidelines. ETFA 2014: 1-8 - [c33]Marius Kloetzer, Cristian Mahulea:
An assembly problem with mobile robots. ETFA 2014: 1-7 - [c32]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Deadlock prevention policy for S3PR - Application to robot planning. ETFA 2014: 1-7 - [c31]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Model Checking on Fault Diagnosis Graph. WODES 2014: 434-439 - 2013
- [c30]Liewei Wang, Cristian Mahulea, Manuel Silva Suárez:
Distributed Model Predictive Control of timed continuous Petri nets. CDC 2013: 6317-6322 - [c29]Marius Kloetzer, Cristian Mahulea, José Manuel Colom:
Petri net approach for deadlock prevention in robot planning. ETFA 2013: 1-4 - [c28]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Decentralized diagnosis based on fault diagnosis graph. ETFA 2013: 1-8 - [c27]Liewei Wang, Cristian Mahulea, Manuel Silva:
Minimum-time flow control of timed continuous Choice-Free nets. ECC 2013: 137-142 - [c26]Xu Wang, Cristian Mahulea, Manuel Silva:
Fault Diagnosis Graph of time Petri nets. ECC 2013: 2459-2464 - [p3]Carlos Renato Vázquez, Cristian Mahulea, Jorge Júlvez, Manuel Silva:
Introduction to Fluid Petri Nets. Control of Discrete-Event Systems 2013: 365-386 - [p2]Cristian Mahulea, Jorge Júlvez, Carlos Renato Vázquez, Manuel Silva:
Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems 2013: 387-406 - [p1]Jorge Júlvez, Carlos Renato Vázquez, Cristian Mahulea, Manuel Silva:
Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems 2013: 407-428 - 2012
- [j6]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): 970-984 (2012) - [c25]Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom:
Modular Petri net modeling of the Spanish health system. ETFA 2012: 1-8 - [c24]Cristian Mahulea, Marius Kloetzer:
Online Petri net based algorithm for planning and controlling mobile robots. ETFA 2012: 1-8 - [c23]Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
Control of continuous Petri nets using ON/OFF based method. WODES 2012: 47-53 - [c22]Marius Kloetzer, Cristian Mahulea:
LTL planning in dynamic environments. WODES 2012: 294-300 - 2011
- [j5]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): 427-497 (2011) - [c21]Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez:
Analysis and simulation of manufacturing systems using SimHPN toolbox. CASE 2011: 432-437 - [c20]Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu:
On decentralized observability of discrete event systems. CDC/ECC 2011: 378-384 - [c19]Marius Kloetzer, Cristian Mahulea, Octavian Pastravanu:
A probabilistic abstraction approach for planning and controlling mobile robots. ETFA 2011: 1-8 - 2010
- [j4]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): 460-471 (2010) - [c18]Monika Heiner, Cristian Mahulea, Manuel Silva Suárez:
On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops 2010: 23-38 - [c17]Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva:
A control method for timed distributed continuous Petri nets. ACC 2010: 2593-2600 - [c16]Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
Minimum-time control for structurally persistent continuous Petri Nets. CDC 2010: 2771-2776 - [c15]Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
An iterative control method for distributed continuous Petri nets. CDC 2010: 6753-6758 - [c14]Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez:
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC 2010: 534-539 - [c13]Jorge Júlvez, Cristian Mahulea:
SimHPN: A MATLAB toolbox for continuous Petri nets. WODES 2010: 21-26
2000 – 2009
- 2009
- [j3]Cristian Mahulea, Laura Recalde, Manuel Silva Suárez:
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discret. Event Dyn. Syst. 19(2): 189-212 (2009) - [c12]Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez:
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC 2009: 1598-1604 - [c11]Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva:
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. ADHS 2009: 44-49 - [c10]Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon:
Preface. ADHS 2009: i-ii - [c9]Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva:
Observer design for untimed continuous Petri nets. ACC 2009: 4765-4770 - [c8]Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua, Cristian Mahulea:
Constrained invariant motions for networked multi-agent systems. ACC 2009: 5749-5754 - [c7]Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez:
New results for fault detection of untimed continuous Petri nets. CDC 2009: 6952-6957 - [e1]Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon:
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009. IFAC Proceedings Volumes 42(17), Elsevier 2009 [contents] - 2008
- [j2]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): 1731-1735 (2008) - [j1]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): 307-320 (2008) - [c6]Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez:
Formal analysis of timed continuous Petri nets. CDC 2008: 245-250 - 2007
- [c5]Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
State Estimation of Petri Nets by Transformation. CASE 2007: 194-199 - [c4]Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
A state estimation problem for timed continuous Petri nets. CDC 2007: 1770-1775 - 2006
- [c3]Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva:
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. ADHS 2006: 37-43 - [c2]Laura Recalde, Cristian Mahulea, Manuel Silva Suárez:
Improving analysis and simulation of continuous Petri Nets. CASE 2006: 9-14 - [c1]Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva:
Optimal Control of Timed Continuous Petri Nets via Explicit MPC. POSTA 2006: 383-390
Coauthor Index
aka: Manuel Silva Suárez
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
