Eric Feron

Available identifiers

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eric Feron