Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[1283] SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
.
2010.
[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.
[1296] On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
.
2011.
[1388] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[1389] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[1432] Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
.
2012.
[1434] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
.
2012.
[1435] Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
.
2012.
[1442] On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
.
2011.
[1443] Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
.
2011.
[1444] A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2011.
[1445] Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
.
2011.
[1446] On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
.
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.
[1448] Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
.
2012.
[1449] LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
.
2012.
[1450] On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
.
2011.
[1451] SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
.
2012.
[1452] Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
.
2012.
[1453] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
.
2013.
[1454] Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
.
2014.
[1457] A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications. 24(4)
.
2014.
[1464] Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
.
2013.
[1465] Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
.
2013.
[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.