Eric Feron

Orcid: 0000-0001-7717-2159

Affiliations:
  • King Abdullah University of Science and Technology (KAUST), Saudi Arabia


According to our database1, Eric Feron authored at least 192 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Multi Criteria Methodology for Aircraft Trajectory Planning Algorithm Selection: A Survey.
IEEE Trans. Intell. Transp. Syst., October, 2024

Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions.
IEEE Trans. Control. Syst. Technol., May, 2024

An ILP approach for tactical flight rescheduling during airport access mode disruptions.
Int. Trans. Oper. Res., May, 2024

Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms.
CoRR, 2024

Utilizing a Malfunctioning 3D Printer by Modeling Its Dynamics with Machine Learning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Observer-based Control of an Unmanned Aerial Vehicle in a Non-inertial Reference Frame.
Proceedings of the IEEE Conference on Control Technology and Applications, 2024

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems.
Proceedings of the American Control Conference, 2024

2023
Collaborative Generation of Local Conflict Free Trajectories With Weather Hazards Avoidance.
IEEE Trans. Intell. Transp. Syst., November, 2023

The Design, Education and Evolution of a Robotic Baby.
IEEE Trans. Robotics, June, 2023

Study of Fixed-Points in the Self-Repair Process of a 3-D Printer.
IEEE Control. Syst. Lett., 2023

Algebraic Lyapunov Functions for Homogeneous Dynamic Systems.
CoRR, 2023

Aircraft Cruise Alternative Trajectories Generation: A Mixed RRG-Clustering Approach.
Proceedings of the Intelligent Transport Systems - 7th EAI International Conference, 2023

A Non-planar Assembly of Modular Tetrahedral-shaped Aerial Robots.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Computational Modeling in System with Non-Circular Timing Pulleys.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Role of Feedback in the Asymptotic Self-Repair Behavior of a 3D Printer.
Proceedings of the American Control Conference, 2023

2022
Design of Avionics Network Architecture Under a Reliability Constraint.
IEEE Trans. Aerosp. Electron. Syst., 2022

Intent-Aware Optimal Collision Avoidance and Trajectory Planning for a Pursuit Vehicle.
Robotica, 2022

A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space.
Int. J. Syst. Sci., 2022

From Observability to Observer Realization: A path via elementary block-diagram manipulations.
CoRR, 2022

Computing Bounds on L<sub>∞</sub>-induced Norm for Linear Time-Invariant Systems Using Homogeneous Lyapunov Functions.
CoRR, 2022

Exploration of Mandibular Inputs for Human-Machine Interfaces.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Drone reference tracking in a non-inertial frame using sliding mode control based Kalman filter with unknown input.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

On Linear Time Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Control of an Assembly of Aerial Vehicles Under Uncertainty.
Proceedings of the American Control Conference, 2022

Experiments in Robotic Self-Repair: A 3D Printer Repairs Its Own Timing Pulley.
Proceedings of the American Control Conference, 2022

2021
Application of Dempster-Shafer Networks to a Real-Time Unmanned Systems Risk Analysis Framework.
J. Aerosp. Inf. Syst., September, 2021

Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application.
J. Optim. Theory Appl., 2021

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems.
CoRR, 2021

Analyzing and comparing door-to-door travel times for air transportation using aggregated Uber data.
CoRR, 2021

Verification and runtime assurance for dynamical systems with uncertainty.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

A Year Into the Pandemic: a Passenger Perspective on its Impact at Paris-Charles de Gaulle Airport.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

A Numerical Method to Compute Stability Margins of Switching Linear Systems.
Proceedings of the 2021 American Control Conference, 2021

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems.
Proceedings of the 2021 American Control Conference, 2021

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.
Proceedings of the 2021 American Control Conference, 2021

2020
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control.
J. Aerosp. Inf. Syst., May, 2020

Validating Feedback Control to Meet Stiffness Requirements in Additive Manufacturing.
IEEE Trans. Control. Syst. Technol., 2020

Automatic Updates of Transition Potential Matrices in Dempster-Shafer Networks Based on Evidence Inputs.
Sensors, 2020

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.
CoRR, 2020

Putting the Air Transportation System to sleep: a passenger perspective measured by passenger-generated data.
CoRR, 2020

Modeling and Experimental Validation of a Fractal Tetrahedron UAS Assembly.
CoRR, 2020

A Scalable Safety Critical Control Framework for Nonlinear Systems.
IEEE Access, 2020

Bounding the State Covariance Matrix for Switched Linear Systems with Noise.
Proceedings of the 2020 American Control Conference, 2020

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Implementing and Validating Air Passenger-Centric Metrics Using Mobile Phone Data.
J. Aerosp. Inf. Syst., April, 2019

A full scale atmospheric flight experimental research environment for the Mars helicopter.
CoRR, 2019

Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications.
CoRR, 2019

Modeling and Experimental Validation of the Mechanics of a Wheeled Non-Holonomic Robot Capable of Enabling Homeostasis.
CoRR, 2019

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.
CoRR, 2019

Additive manufacturing for high precision structural properties via feedback control.
CoRR, 2019

Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise.
CoRR, 2019

A Scalable Controlled Set Invariance Framework with Practical Safety Guarantees.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Monitor-Based Runtime Assurance for Temporal Logic Specifications.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Towards a New Paradigm of UAV Safety.
CoRR, 2018

Formal verification of an interior point algorithm instanciation.
CoRR, 2018

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Passenger-Centric Metrics for Air Transportation Leveraging Mobile Phone and Twitter Data.
Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

Towards a framework for realizable safety critical control through active set invariance.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

An Online Approach to Active Set Invariance.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Interval Observers for Secure Estimation in Cyber-Physical Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Nonlinear Maneuver Regulation for Reduced-G Atmospheric Flight.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

3D Printing of a Leaf Spring: A Demonstration of Closed-Loop Control in Additive Manufacturing.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Triple-Integral Control for Reduced-G Atmospheric Flight.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Maneuver Regulation for Accelerating Bodies in Atmospheric Environments.
CoRR, 2017

Foundations of Intelligent Additive Manufacturing.
CoRR, 2017

Motion Rectification for an Homeostasis-Enabling Wheel.
CoRR, 2017

The Robotarium: A remotely accessible swarm robotics research testbed.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Robotic trajectory planning through collisional interaction.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Robust Trajectory Option Set planning in CTOP based on Bayesian game model.
Proceedings of the 2017 American Control Conference, 2017

2016
Multimodal Impact Analysis of an Airside Catastrophic Event: A Case Study of the Asiana Crash.
IEEE Trans. Intell. Transp. Syst., 2016

Improving Disruption Management With Multimodal Collaborative Decision-Making: A Case Study of the Asiana Crash and Lessons Learned.
IEEE Trans. Intell. Transp. Syst., 2016

Safe, Remote-Access Swarm Robotics Research on the Robotarium.
CoRR, 2016

A Framework for Collision-Tolerant Optimal Trajectory Planning of Autonomous Vehicles.
CoRR, 2016

Discrete and Continuous ambush games: optimal policies and approximate solutions.
CoRR, 2016

On the Design and Optimization of an Autonomous Microgravity Enabling Aerial Robot.
CoRR, 2016

Optimal navigation policy for an autonomous agent operating in adversarial environments.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Formal Analysis of Robustness at Model and Code Level.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Establishing trust in remotely reprogrammable systems.
Proceedings of the International Conference on Human-Computer Interaction in Aerospace, 2016

Finite stage asymmetric repeated games: Both players' viewpoints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Adaptive control architectures for mitigating sensor attacks in cyber-physical systems.
Proceedings of the 2016 American Control Conference, 2016

2015
Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach.
CoRR, 2015

What don't we know about CPS architectures?
Proceedings of the 52nd Annual Design Automation Conference, 2015

Optimal Planning Strategy for Ambush Avoidance.
Proceedings of the Artificial Intelligence for Transportation: Advice, 2015

2014
Impact of Gate Assignment on Departure Metering.
IEEE Trans. Intell. Transp. Syst., 2014

Compact Configuration of Aircraft Flows at Intersections.
IEEE Trans. Intell. Transp. Syst., 2014

Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations.
IEEE Trans. Intell. Transp. Syst., 2014

Credible Autocoding of Convex Optimization Algorithms.
CoRR, 2014

Anatomy of a Crash.
CoRR, 2014

A Complete framework for ambush avoidance in realistic environments.
CoRR, 2014

Credible autocoding of fault detection observers.
Proceedings of the American Control Conference, 2014

2013
Reliably Creating Collision Avoidance Advisories in Piloted Simulations.
IEEE Trans. Hum. Mach. Syst., 2013

Optimization of Lyapunov Invariants in Verification of Software Systems.
IEEE Trans. Autom. Control., 2013

Airport Gate Scheduling for Passengers, Aircraft, and Operation
CoRR, 2013

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.
CoRR, 2013

Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller.
CoRR, 2013

Verifiable Control System Development for Gas Turbine Engines.
CoRR, 2013

Numerical Analysis of Gate Conflict Duration and Passenger Transit Time in Airport.
CoRR, 2013

Impact of Gate Assignment on Gate-Holding Departure Control Strategies.
CoRR, 2013

Online Performance Optimization of a DC Motor Driving a Variable Pitch Propeller.
CoRR, 2013

Formally expressing the semantics of observer-based fault detection software.
CoRR, 2013

A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal.
CoRR, 2013

2012
Optimizing Pushback Decisions to Valuate Airport Surface Surveillance Information.
IEEE Trans. Intell. Transp. Syst., 2012

Obstacle-Sensitive Trajectory Regulation via Gain Scheduling and Semidefinite Programming.
IEEE Trans. Control. Syst. Technol., 2012

On the Dubins Traveling Salesman Problem.
IEEE Trans. Autom. Control., 2012

Planning random path distributions for ambush games in unstructured environments.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2012

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.
Proceedings of the NASA Formal Methods, 2012

Model-Based Auto Coding of Embedded Control Software with Full Semantics.
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

Optimal configuration for intersecting flows of aircraft.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

A generic ellipsoid abstract domain for linear time invariant systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Formal methods for aerospace applications.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Data visualization techniques for airspace flow modeling.
Proceedings of the 2012 Conference on Intelligent Data Understanding, 2012

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Influence of Aircraft Maneuver Preference Variability on Airspace Usage.
IEEE Trans. Intell. Transp. Syst., 2011

Trajectory Clustering and an Application to Airspace Monitoring.
IEEE Trans. Intell. Transp. Syst., 2011

Scheduling Continuous-Time Kalman Filters.
IEEE Trans. Autom. Control., 2011

Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version)
CoRR, 2011

A graphical environment to express the semantics of control systems
CoRR, 2011

Environmental benefits of enhanced surveillance technology on airport departure operations
CoRR, 2011

ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors
CoRR, 2011

Aircraft Proximity Maps Based on Data-Driven Flow Modeling
CoRR, 2011

Resource constrained LQR control under fast sampling.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Bounds on Controller Taskload Rates at an Intersection for Dense Traffic.
Proceedings of the American Control Conference, 2011

Stability of spatially distributed, intersecting aircraft flows under sequential conflict resolution schemes.
Proceedings of the American Control Conference, 2011

2010
Hardware/Software Codesign of Aerospace and Automotive Systems.
Proc. IEEE, 2010

Maximizing throughput at an intersection under constrained maneuvers.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Traffic complexity of intersecting flows of aircraft under variations of pilot preferences in maneuver choice.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Determining bounds on controller workload rates at an intersection.
Proceedings of the American Control Conference, 2010

2009
Detection of Driver Fatigue Caused by Sleep Deprivation.
IEEE Trans. Syst. Man Cybern. Part A, 2009

Preventing Automotive Pileup Crashes in Mixed-Communication Environments.
IEEE Trans. Intell. Transp. Syst., 2009

Using Ellipsoidal Domains to Analyze Control Systems Software
CoRR, 2009

Scheduling Kalman filters in continuous time.
Proceedings of the American Control Conference, 2009

A parameter-dependent Lyapunov approach for the control of nonstationary and hybrid LPV systems.
Proceedings of the American Control Conference, 2009

2008
Aerial Robotics.
Proceedings of the Springer Handbook of Robotics, 2008

Graceful Degradation of Air Traffic Operations: Airspace Sensitivity to Degraded Surveillance Systems.
Proc. IEEE, 2008

Control software analysis, part II: Closed-loop analysis
CoRR, 2008

Control software analysis, Part I Open-loop properties
CoRR, 2008

Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis
CoRR, 2008

Graceful Degradation of Air Traffic Operations
CoRR, 2008

Distributed Lyapunov Functions in Analysis of Graph Models of Software.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Continuous path planning for a data harvesting mobile server.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Multi-UAV dynamic routing with partial observations using restless bandit allocation indices.
Proceedings of the American Control Conference, 2008

2007
Space Partition for Conflict Resolution of Intersecting Flows of Mobile Agents.
IEEE Trans. Intell. Transp. Syst., 2007

A Dynamic I/O Model for TRACON Traffic Management
CoRR, 2007

Certifying controls and systems software
CoRR, 2007

Experiments with small helicopter automated landings at unusual attitudes
CoRR, 2007

The curvature-constrained traveling salesman problem for high point densities.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Performance evaluation of a multi-agent risk-sensitive tracking system.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Optimal Fixed-Point Implementation of Digital Filters.
Proceedings of the American Control Conference, 2007

Air Traffic Complexity: An Input-Output Approach.
Proceedings of the American Control Conference, 2007

2006
Multivehicle path planning for nonline-of-sight communication.
J. Field Robotics, 2006

Safety Verification of Iterative Algorithms over Polynomial Vector Fields.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Multi-Agent Task Assignment in the Bandit Framework.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Multi-vehicle path planning for non-line of sight communication.
Proceedings of the American Control Conference, 2006

Restless bandits with switching costs: linear programming relaxations, performance bounds and limited lookahead policies.
Proceedings of the American Control Conference, 2006

2005
Maneuver-based motion planning for nonlinear systems with symmetries.
IEEE Trans. Robotics, 2005

Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance.
IEEE Trans. Intell. Transp. Syst., 2005

Evaluation of Improved Pushback Forecasts Derived from Airline Ground Operations Data.
J. Aerosp. Comput. Inf. Commun., 2005

Human-human haptic collaboration in cyclical Fitts' tasks.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

Modeling, Optimization and Computation for Software Verification.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Convex optimization proves software correctness.
Proceedings of the American Control Conference, 2005

Randomized path planning with deceptive strategies.
Proceedings of the American Control Conference, 2005

Spatial distribution statistics for two-agent optimal navigation with cone-shaped local observation.
Proceedings of the American Control Conference, 2005

Influence of a slowdown warning system on a multi-vehicle stream.
Proceedings of the American Control Conference, 2005

2004
Hybrid Model for Trajectory Planning of Agile Autonomous Vehicles.
J. Aerosp. Comput. Inf. Commun., 2004

Multiple model estimation for improving conflict detection algorithms.
Proceedings of the IEEE International Conference on Systems, 2004

An Internet based laboratory for control of a safety critical system.
Proceedings of the IEEE International Conference on Systems, 2004

Musicality experiments in lead and follow dance.
Proceedings of the IEEE International Conference on Systems, 2004

Modeling musically meaningful choreography.
Proceedings of the IEEE International Conference on Systems, 2004

A slowdown warning system for automobiles.
Proceedings of the IEEE International Conference on Systems, 2004

A passive sensor for position and attitude estimation using an interferometric target.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Receding horizon path planning with implicit safety guarantees.
Proceedings of the 2004 American Control Conference, 2004

2003
Optimization - Based Analysis of Collaborative Airport Arrival Planning.
Transp. Sci., 2003

Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Spatial distribution of two-agent clusters for efficient navigation.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Robust motion planning using a maneuver automation with built-in uncertainties.
Proceedings of the American Control Conference, 2003

2002
Conflict resolution problems for air traffic management systems solved with mixed integer programming.
IEEE Trans. Intell. Transp. Syst., 2002

Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter.
Proceedings of the Experimental Robotics VIII [ISER 2002, 2002

Spatial distribution results for efficient multi-agent navigation.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Stability of intersecting aircraft flows using heading change maneuvers for conflict avoidance.
Proceedings of the American Control Conference, 2002

Modeling and control of airport queueing dynamics under severe flow restrictions.
Proceedings of the American Control Conference, 2002

2001
Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules.
IEEE Trans. Intell. Transp. Syst., 2001

Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach.
Int. J. Robotics Res., 2001

Mixed integer programming for multi-vehicle path planning.
Proceedings of the 6th European Control Conference, 2001

Stability and performance of intersecting aircraft flows under sequential conflict resolution.
Proceedings of the American Control Conference, 2001

Dynamic inverse optimization.
Proceedings of the American Control Conference, 2001

Real-time motion planning for agile autonomous vehicles.
Proceedings of the American Control Conference, 2001

2000
A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees.
IEEE Trans. Autom. Control., 2000

Robust hybrid control for autonomous vehicle motion planning.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Trajectory tracking control design for autonomous helicopters using a backstepping algorithm.
Proceedings of the American Control Conference, 2000

1997
A more reliable robust stability indicator for linear systems subject to parametric uncertainties.
IEEE Trans. Autom. Control., 1997

1996
Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions.
IEEE Trans. Autom. Control., 1996

1994
Linear Matrix Inequalities in System and Control Theory.
Studies in Applied Mathematics 15, SIAM, ISBN: 978-1-61197-077-7, 1994


  Loading...