default search action
Cristian 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
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
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
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
Mission assignment and 3D path planning for a team of UAVs. ICSTCC 2021: 401-406 - 2020
- [j14]Marius Kloetzer
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
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
Toward a decision support system for the clinical pathways assessment. Discret. Event Dyn. Syst. 29(1): 91-125 (2019) - [c47]Marius Kloetzer
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
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
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
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
Operation planning of elective patients in an Orthopedic Surgery Department. ETFA 2016: 1-7 - [c39]Marius Kloetzer
Multi-robot path planning for syntactically co-safe LTL specifications. WODES 2016: 452-458 - 2015
- [j10]Xu Wang, Cristian Mahulea
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. IEEE Trans. Autom. Control. 60(9): 2321-2335 (2015) - [j9]Marius Kloetzer
LTL-Based Planning in Environments With Probabilistic Observations. IEEE Trans Autom. Sci. Eng. 12(4): 1407-1420 (2015) - [c38]Marius Kloetzer
Accomplish multi-robot tasks via Petri net models. CASE 2015: 304-309 - [c37]Ramon Gonzalez, Cristian Mahulea
A Matlab-based interactive simulator for mobile robotics. CASE 2015: 310-315 - [c36]Xu Wang, Marius Kloetzer
Collision avoidance of mobile robots by using initial time delays. CDC 2015: 324-329 - 2014
- [j8]Marius Kloetzer
A Petri net based approach for multi-robot path planning. Discret. Event Dyn. Syst. 24(4): 417-445 (2014) - [j7]Hanife Apaydin Özkan
A control method for distributed continuous mono-T-semiflow Petri nets. Int. J. Control 87(2): 223-234 (2014) - [c35]Cristian Mahulea
Planning mobile robots with Boolean-based specifications. CDC 2014: 5137-5142 - [c34]Simona Bernardi
A model-based approach for the specification and verification of clinical guidelines. ETFA 2014: 1-8 - [c33]Marius Kloetzer
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
Model Checking on Fault Diagnosis Graph. WODES 2014: 434-439 - 2013
- [c30]Liewei Wang, Cristian Mahulea
Distributed Model Predictive Control of timed continuous Petri nets. CDC 2013: 6317-6322 - [c29]Marius Kloetzer
Petri net approach for deadlock prevention in robot planning. ETFA 2013: 1-4 - [c28]Xu Wang, Cristian Mahulea
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
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
Modular Petri net modeling of the Spanish health system. ETFA 2012: 1-8 - [c24]Cristian Mahulea
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
LTL planning in dynamic environments. WODES 2012: 294-300 - 2011
- [j5]Manuel Silva Suárez
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
Analysis and simulation of manufacturing systems using SimHPN toolbox. CASE 2011: 432-437 - [c20]Maria Paola Cabasino, Alessandro Giua
On decentralized observability of discrete event systems. CDC/ECC 2011: 378-384 - [c19]Marius Kloetzer
A probabilistic abstraction approach for planning and controlling mobile robots. ETFA 2011: 1-8 - 2010
- [j4]Marius Kloetzer
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
Minimum-time control for structurally persistent continuous Petri Nets. CDC 2010: 2771-2776 - [c15]Hanife Apaydin Özkan
An iterative control method for distributed continuous Petri nets. CDC 2010: 6753-6758 - [c14]Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea
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
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discret. Event Dyn. Syst. 19(2): 189-212 (2009) - [c12]Carla Seatzu, Cristian Mahulea
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
Observer design for untimed continuous Petri nets. ACC 2009: 4765-4770 - [c8]Mauro Franceschelli
Constrained invariant motions for networked multi-agent systems. ACC 2009: 5749-5754 - [c7]Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea
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
Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE Trans. Autom. Control. 53(7): 1731-1735 (2008) - [j1]Cristian Mahulea
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
Formal analysis of timed continuous Petri nets. CDC 2008: 245-250 - 2007
- [c5]Maria Paola Cabasino, Alessandro Giua
State Estimation of Petri Nets by Transformation. CASE 2007: 194-199 - [c4]Cristian Mahulea
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
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 21: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: