In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743
New Search Strategies for the Petri Net CEGAR Approach
REVISTA CIENCIA E INGENIERIA, 36 (1)., pp. 11-18. ISSN 1316-7081
Fault tolerant adaptive estimation of nonlinear processes: a case study of batch distillation (Estimación no lineal adaptativa con tolerancia a fallos: aplicación a la destilación por lotes)
In: IEEE International Symposium on Circuits and Systems, ISCAS 2015 Proceedings - IEEE International Symposium on Circuits and Systems (2015-J) IEEE, New York, pp. 1973-1976. ISSN 0271-4310
Cellular sensor-processor array based visual collision warning sensor
In: Progress in Systems Engineering. Proceedings of the Twenty-Third International Conference on Systems Engineering Advances in Intelligent Systems and Computing, 1089. Springer, Heidelberg, pp. 41-47. ISSN 2194-5357
Generalization of the Observer Principle for YOULA-Parametrized Regulators