Publications (25)
Global Well-posedness for the periodic fractional cubic NLS in 1D
Alexandre Megretski, Nikolaos Skouloudis
We consider the defocusing periodic fractional nonlinear Schrödinger equation where and the…
Mathematical certification of motion planning on uncertain terrain with limited perception: a case study
Nikolaos Skouloudis, Alexandre Megretski
We design a controller for an agent whose mission is to reach a stationary target while avoiding a family of obstacles which are not known a-priori. The agent moves in the two dime…
Finite Approximations of Switched Homogeneous Systems for Controller Synthesis
Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
We demonstrate the use of a new, control-oriented notion of finite state approximation for a particular class of hybrid systems. Specifically, we consider the problem of designing…
On Integral Linear Constraints on Convex Cones
Emil Vladu, Alexandre Megretski, Anders Rantzer
In this paper, we consider integral linear constraints and the dissipation inequality with linear supply rates for certain sets of trajectories confined pointwise in time to a conv…
Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version)
Mardavij Roozbehani, Alexandre Megretski, Eric Feron
The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and s…
Convex Optimization In Identification Of Stable Non-Linear State Space Models
Mark M. Tobenkin, Ian R. Manchester, Jennifer Wang +2
A new framework for nonlinear system identification is presented in terms of optimal fitting of stable nonlinear state space equations to input/output/state data, with a performanc…