426 citations · 651 across the 43 of their papers we have counts for
4 papers · 1 filter
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming
Cees F. Verdier, Manuel Mazo
This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented met…
Optimal Symbolic Controllers Determinization for BDD storage
Ivan S. Zapreev, Cees Verdier, Manuel Mazo
Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations betw…
Lyapunov Event-triggered Stabilization with a Known Convergence Rate
Anton V. Proskurnikov, Manuel Mazo
A constructive tool of nonlinear control systems design, the method of Control Lyapunov Functions (CLF) has found numerous applications in stabilization problems for continuous tim…
Lyapunov Design for Event-Triggered Exponential Stabilization
Anton V. Proskurnikov, Manuel Mazo
Control Lyapunov Functions (CLF) method gives a constructive tool for stabilization of nonlinear systems. To find a CLF, many methods have been proposed in the literature, e.g. bac…