Publications
Filters: Author is Mahulea, Cristian [Clear All Filters]
[1432] Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
.
2012.
[1557] Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications. WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems.
.
2016.
[1254] New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
.
2009.
.
2008.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1446] On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
.
2011.
[1540] On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
.
2016.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
.
2006.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[1442] On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
.
2011.
[1284] On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
.
2010.
[1447] Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2012.
[1541] Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
.
2016.
[IPGiMaReSeSi06a] Optimal control of continuous Petri nets via model predictive control. :235–241.
.
2006.
[IPGiMaReSeSi06b] Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
.
2006.
[IPMaReSi05] Optimal Observability for Continuous Petri Nets. :CDROM.
.
2005.
[1554] Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics. ICSTCC'2015: 19th International Conference on System Theory, Control and Computing.
.
2015.
[1478] Petri net approach for deadlock and collision avoidance in robot planning. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
.
2013.
[1519] Petri Nets with Resources for modeling Primary Healthcare Systems. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
.
2014.
[1551] Planning Mobile Robots with Boolean-based Specifications. CDC'2014: 53rd IEEE Conference on Decision and Control.
.
2014.
[1444] A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2011.
.
2008.
[1564] RMTool: recent enhancements. IFAC WC'2017: 20th World Congress of the International Federation of Automatic Control. Abstract
.
2017.
[1558] Sample Gathering Problem for Different Robots with Limited Capacity. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
[1283] SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
.
2010.