Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.
Proceedings of the Foundations of Information and Knowledge Systems, 2022
An anticipatory protocol to reach fast consensus in multi-agent systems.
Autom., 2020
Local Consistency Check in Synchronous Dataflow Models.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Some insights into the migration of double imaginary roots under small deviation of two parameters.
Autom., 2018
Migration of imaginary roots of multiplicity three and four under small deviation of two delays in time-delay systems.
Proceedings of the 15th European Control Conference, 2016
A delayed consensus algorithm in networks of anticipatory agents.
Proceedings of the 15th European Control Conference, 2016
Migration of double imaginary characteristic roots under small deviation of two delay parameters.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Computing the codimension of the singularity at the origin for delay systems in the regular case: A vandermonde-based approach.
Proceedings of the 13th European Control Conference, 2014