Eric Feron

Available identifiers

zbMath Open feron.ericDBLP76/3866WikidataQ75863238 ScholiaQ75863238MaRDI QIDQ1128971

List of research outcomes

Publication	Date of Publication	Type
Verification and runtime assurance for dynamical systems with uncertainty	2024-02-21	Paper
An ILP approach for tactical flight rescheduling during airport access mode disruptions	2024-01-31	Paper
Algebraic Lyapunov Functions for Homogeneous Dynamic Systems	2023-03-03	Paper
A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space	2022-02-11	Paper
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm	2019-07-04	Paper
Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise	2019-05-21	Paper
On the Dubins Traveling Salesman Problem	2017-09-08	Paper
Optimization of Lyapunov Invariants in Verification of Software Systems	2017-09-08	Paper
Scheduling Continuous-Time Kalman Filters	2017-08-25	Paper
Credible autocoding of convex optimization algorithms	2017-06-21	Paper
Formal Analysis of Robustness at Model and Code Level	2017-05-19	Paper
Resource constrained LQR control under fast sampling	2017-05-16	Paper
A generic ellipsoid abstract domain for linear time invariant systems	2017-05-16	Paper
Gain Scheduling Control of Gas Turbine Engines: Absolute Stability by Finding a Common Lyapunov Matrix	2012-06-22	Paper
Stability of Spatially Distributed, Intersecting Aircraft Flows Under Sequential Conflict Resolution Schemes	2010-10-03	Paper
Distributed Lyapunov Functions in Analysis of Graph Models of Software	2008-09-02	Paper
A Linear Programming Relaxation and a Heuristic for the Restless Bandit Problem with General Switching Costs	2008-05-11	Paper
Performance Evaluation of a Multi-Agent Risk-Sensitive Tracking System	2007-07-25	Paper
NATURAL LANGUAGE PROCESSING IN CONTROL OF UNMANNED AERIAL VEHICLES	2007-01-19	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4418003	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2722588	2002-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q2724374	2001-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4945436	2001-01-21	Paper
A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees	2000-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4945437	2000-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4269575	1999-01-01	Paper
Computational Complexity of Lyapunov Stability Analysis Problems for a Class of Nonlinear Systems	1998-09-21	Paper
Polytopic control Lyapunov functions for robust stabilization of a class of nonlinear systems	1998-08-13	Paper
Estimating the conservatism of Popov's criterion for real parametric uncertainties	1998-07-22	Paper
A more reliable robust stability indicator for linear systems subject to parametric uncertainties	1998-04-06	Paper
Analysis of Robust H2 Performance Using Multiplier Theory	1997-09-29	Paper
Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions	1997-03-12	Paper
Linear Matrix Inequalities in System and Control Theory	1995-03-21	Paper

Research outcomes over time

This page was built for person: Eric Feron