Publications
Filters: Author is Mahulea, Cristian [Clear All Filters]
[1547] Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
.
2014.
[1548] From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
.
2014.
[1549] Deadlock Prevention Policy for S3PR - Application to Robot Planning. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2014.
[1555] Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
.
2015.
[1563] HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
.
2017.
[1564] RMTool: recent enhancements. IFAC WC'2017: 20th World Congress of the International Federation of Automatic Control. Abstract
.
2017.
[1444] A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2011.
[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.
[1449] LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
.
2012.
[1457] A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications. 24(4)
.
2014.
[1550] An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2014.
[1551] Planning Mobile Robots with Boolean-based Specifications. CDC'2014: 53rd IEEE Conference on Decision and Control.
.
2014.
[1552] Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
.
2015.
[1553] A Matlab-Based Interactive Simulator for Mobile Robotics. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
.
2015.
[1554] Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics. ICSTCC'2015: 19th International Conference on System Theory, Control and Computing.
.
2015.
[1556] LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
.
2015.
[1557] Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications. WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems.
.
2016.
[1558] Sample Gathering Problem for Different Robots with Limited Capacity. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
[1559] Inexpensive robot for experimental validation of planning and control algorithms. 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.
[1443] Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
.
2011.
[1451] SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
.
2012.
[1454] Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
.
2014.
[IPMaCaGiSe07] A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
.
2007.
[1251] Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.