Searched for: author%3A%22Verdier%2C+C.F.%22
(1 - 7 of 7)
document
Verdier, C.F. (author), Kochdumper, Niklas (author), Althoff, Matthias (author), Mazo, M. (author)
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial...
journal article 2022
document
Verdier, C.F. (author)
Control design for modern safety-critical cyber-physical systems still requires significant expert-knowledge, since for general hybrid systems with temporal logic specifications there are no constructive methods. Nevertheless, in recent years multiple approaches have been proposed to automatically synthesize correct-by-construction controllers....
doctoral thesis 2020
document
Verdier, C.F. (author), Babuska, R. (author), Shyrokau, B. (author), Mazo, M. (author)
Control systems designed via learning methods, aiming at quasi-optimal solutions, typically lack stability and performance guarantees. We propose a method to construct a near-optimal control law by means of model-based reinforcement learning and subsequently verifying the reachability and safety of the closed-loop control system through an...
journal article 2019
document
Verdier, C.F. (author), Mazo, M. (author)
This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented method is not restricted to polynomial systems and controllers. We consider a periodically switched controllers based on a Control Lyapunov Barrier-like function. The...
conference paper 2018
document
Zapreev, I. (author), Verdier, C.F. (author), Mazo, M. (author)
Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations between abstract states and inputs, such controllers are immense in size, which makes them futile for embedded platforms. Control-synthesis tools such as PESSOA, SCOTS,...
journal article 2018
document
Verdier, C.F. (author), Mazo, M. (author)
This paper presents an automatic controller synthesis method for nonlinear systems with reachability and safety specifications. The proposed method consists of genetic programming in combination with an SMT solver, which are used to synthesize both a control Lyapunov function and the modes of a switched state feedback controller. The...
journal article 2017
document
Verdier, C.F. (author)
Ball-balancing robots, or Ballbots, are under-actuated omni-directional mobile robots that balance on top of a single ball. The under-actuated nature arises from the fact that both position and attitude of the robot are actuated by the same actuators. This thesis introduces a geometric approach to the control of ball-balancing robots. In this...
master thesis 2015
Searched for: author%3A%22Verdier%2C+C.F.%22
(1 - 7 of 7)