We propose formal means for synthesizing switching protocols that determine the sequence
in which the modes of a switched system are activated to satisfy certain high-level …

We consider the problem of synthesizing a robust switching controller for nonlinear hybrid
systems to guarantee that the trajectories of the system satisfy a high level specification …

Among the various critical systems that are worth to be formally analyzed, a wide set
consists of controllers for dynamical systems. Those programs typically execute an infinite …

We propose formal means for synthesizing switching protocols that determine the sequence
in which the modes of a switched system are activated to satisfy certain high-level …

This paper focuses on the robustness analysis of real-time embedded control systems that
are common in many cyber-physical systems. Uncertainty in any of them induces …

An increase in the level of autonomy marks one of the fundamental focuses of current robotic
systems. This involves the ability of a robot to reason about its environment and plan its …

Convex Optimization-based Static Analysis for Control Systems Page 1 HAL Id: tel-01371978
https://theses.hal.science/tel-01371978 Submitted on 26 Sep 2016 HAL is a multi-disciplinary …

We present a receding horizon algorithm that converges to the exact solution in polynomial
time for a class of optimal impulse control problems with uniformly distributed impulse …

The overall program provided systematic and computationally responsive research aimed at
control of multi-agent systems, and more generally systems that have both discrete and …