Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
[RP-89-05] .
1989. Linear invariants in commutative high level nets. :96-114.
[1458] .
2013. log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
[1449] .
2012. LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
[1556] .
2015. LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
[1553] .
2015. A Matlab-Based Interactive Simulator for Mobile Robotics. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
[RP-86-07] .
1986. Maximun firing deviation and fair relations in Petri nets. :1008-1010.
[LutMayMSDHL] .
1994. Measure stochasticity and the density of hard languages. SIAM Journal on Computing. 23:762-779.
[LutMayMSDHLb] .
1993. Measure stochasticity and the density of hard languages. 665:38-47.
[MayMP] .
1994. Measuring in PSPACE. 6:93-100.
[cost] .
2003. Measuring the Spanish Blogosphere.
[RP-89-13] .
1989. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[RP-89-18] .
1989. Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
[1487] .
2013. A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[1281] .
2010. Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1434] .
2012. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1453] .
2013. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
[1464] .
2013. Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[1547] .
2014. Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
[1515] .
2014. 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).
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[IPMaMuSi87] .
1991. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[RP-87-05] .
1987. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
[RMB_SERENE10] .
2010. Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[RP-84-04] .
1984. Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
[RP-85-07] .
1985. Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
