Publications
Filters: Author is Mahulea, Cristian [Clear All Filters]
[1282] Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
.
2010.
[1445] Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
.
2011.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[1548] From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
.
2014.
[1563] HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
.
2017.
[IPReMaSi06] Improving analysis and simulation of continuous Petri Nets. :7–12.
.
2006.
[1559] Inexpensive robot for experimental validation of planning and control algorithms. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
[1491] Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
.
2013.
[1280] An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1449] LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
.
2012.
[1556] LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
.
2015.
[1553] A Matlab-Based Interactive Simulator for Mobile Robotics. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
.
2015.
[1281] Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1434] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
.
2012.
[1453] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
.
2013.
[1464] Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
.
2013.
[1547] Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
.
2014.
[1515] A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
.
2014.
[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.
[1258] Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
.
2010.
.
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.