The following pages link to Eric Feron (Q1128971):
Displaying 28 items.
- Polytopic control Lyapunov functions for robust stabilization of a class of nonlinear systems (Q1128972) (← links)
- (Q1391152) (redirect page) (← links)
- Estimating the conservatism of Popov's criterion for real parametric uncertainties (Q1391153) (← links)
- Credible autocoding of convex optimization algorithms (Q2358081) (← links)
- (Q2722588) (← links)
- (Q2724374) (← links)
- Resource constrained LQR control under fast sampling (Q2986739) (← links)
- A generic ellipsoid abstract domain for linear time invariant systems (Q2986757) (← links)
- Formal Analysis of Robustness at Model and Code Level (Q2988970) (← links)
- Analysis of Robust H2 Performance Using Multiplier Theory (Q3128452) (← links)
- NATURAL LANGUAGE PROCESSING IN CONTROL OF UNMANNED AERIAL VEHICLES (Q3416281) (← links)
- Distributed Lyapunov Functions in Analysis of Graph Models of Software (Q3523127) (← links)
- Computational Complexity of Lyapunov Stability Analysis Problems for a Class of Nonlinear Systems (Q4210208) (← links)
- (Q4269575) (← links)
- Linear Matrix Inequalities in System and Control Theory (Q4326600) (← links)
- A more reliable robust stability indicator for linear systems subject to parametric uncertainties (Q4361441) (← links)
- (Q4418003) (← links)
- A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees (Q4507006) (← links)
- Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions (Q4896770) (← links)
- (Q4945436) (← links)
- (Q4945437) (← links)
- A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space (Q5029180) (← links)
- Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm (Q5222962) (← links)
- Scheduling Continuous-Time Kalman Filters (Q5347741) (← links)
- On the Dubins Traveling Salesman Problem (Q5352698) (← links)
- Optimization of Lyapunov Invariants in Verification of Software Systems (Q5353144) (← links)
- Hybrid Systems: Computation and Control (Q5703955) (← links)
- An ILP approach for tactical flight rescheduling during airport access mode disruptions (Q6146621) (← links)
