Publications
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[1525] Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
.
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.
[1555] Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
.
2015.
[1530] Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
.
2015.
[1557] Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications. WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems.
.
2016.
[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.
[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.
[1540] On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
.
2016.
[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.