In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs
In: 7th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM), CIS & RAM IEEE, Siem Reap, pp. 71-77.
Observer based PID regulator for a class of factorable nonlinear plants
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