Linear Matrix Inequalities in System and Control Theory. - Stephen P. Boyd; Laurent El Ghaoui; Eric M. Feron; Venkataramanan Balakrishnan (SIAM, 1994)

Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions. - Eric Feron; Pierre Apkarian; Pascal Gahinet (IEEE Trans. Autom. Control., 1996)

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

Trajectory tracking control design for autonomous helicopters using a backstepping algorithm. - Emilio Frazzoli; Munther A. Dahleh; Eric Feron (ACC, 2000)

Robust hybrid control for autonomous vehicle motion planning. - Emilio Frazzoli; Munther A. Dahleh; Eric Feron (CDC, 2000)

A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees. - Marc W. McConley; Brent D. Appleby; Munther A. Dahleh; Eric Feron (IEEE Trans. Autom. Control., 2000)

Real-time motion planning for agile autonomous vehicles. - Emilio Frazzoli; Munther A. Dahleh; Eric Feron (ACC, 2001)

Dynamic inverse optimization. - Sommer Gentry; Venkatesh Saligrama; Eric Feron (ACC, 2001)

Stability and performance of intersecting aircraft flows under sequential conflict resolution. - Zhi-Hong Mao; Eric Feron (ACC, 2001)

Mixed integer programming for multi-vehicle path planning. - Tom Schouwenaars; Bart De Moor; Eric Feron; Jonathan P. How (ECC, 2001)

Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach. - Vladislav Gavrilets; Emilio Frazzoli; Bernard Mettler; M. Piedmonte; Eric Feron (Int. J. Robotics Res., 2001)

Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules. - Zhi-Hong Mao; Eric Feron; Karl Bilimoria (IEEE Trans. Intell. Transp. Syst., 2001)

Modeling and control of airport queueing dynamics under severe flow restrictions. - Francis R. Carr; Antony Evans; John-Paul Clarke; Eric Feron (ACC, 2002)

Stability of intersecting aircraft flows using heading change maneuvers for conflict avoidance. - David Dugail; Eric Feron; Karl Bilimoria (ACC, 2002)

Spatial distribution results for efficient multi-agent navigation. - Jan De Mot; Vishwesh Kulkarni 001; Sommer Gentry; Eric Feron (CDC, 2002)

Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter. - Vladislav Gavrilets; Ioannis Martinos; Bernard Mettler; Eric Feron (ISER, 2002)

Conflict resolution problems for air traffic management systems solved with mixed integer programming. - Lucia Pallottino; Eric M. Feron; Antonio Bicchi (IEEE Trans. Intell. Transp. Syst., 2002)

Robust motion planning using a maneuver automation with built-in uncertainties. - Tom Schouwenaars; Bernard Mettler; Eric Feron; Jonathan P. How (ACC, 2003)

Spatial distribution of two-agent clusters for efficient navigation. - Jan De Mot; Eric Feron (CDC, 2003)

Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. - Sayan Mitra; Yong Wang; Nancy A. Lynch; Eric Feron (HSCC, 2003)

Optimization - Based Analysis of Collaborative Airport Arrival Planning. - Kari Andersson; William Hall; Stephen Atkins; Eric Feron (Transp. Sci., 2003)

Receding horizon path planning with implicit safety guarantees. - Tom Schouwenaars; Jonathan P. How; Eric Feron (ACC, 2004)

A passive sensor for position and attitude estimation using an interferometric target. - Eric Feron; James Paduano (CDC, 2004)

A slowdown warning system for automobiles. - Animesh Chakravarthy; KyungYeol Song; Eric Feron (SMC (4), 2004)

Modeling musically meaningful choreography. - Sommer Elizabeth Gentry; Eric Feron (SMC (4), 2004)

Musicality experiments in lead and follow dance. - Sommer Gentry; Eric Feron (SMC (1), 2004)

An Internet based laboratory for control of a safety critical system. - Mariya Ishutkina; Eric Feron; Marco Casini; Antonio Vicino (SMC (3), 2004)

Multiple model estimation for improving conflict detection algorithms. - Lee C. Yang; Ji Hyun Yang; Eric Feron (SMC (1), 2004)

Hybrid Model for Trajectory Planning of Agile Autonomous Vehicles. - Tom Schouwenaars; Bernard Mettler; Eric Feron; Jonathan P. How (J. Aerosp. Comput. Inf. Commun., 2004)

Influence of a slowdown warning system on a multi-vehicle stream. - Animesh Chakravarthy; KyungYeol Song; Eric Feron (ACC, 2005)

Spatial distribution statistics for two-agent optimal navigation with cone-shaped local observation. - Jan De Mot; Eric Feron (ACC, 2005)

Randomized path planning with deceptive strategies. - Philip Root; Jan De Mot; Eric Feron (ACC, 2005)

Convex optimization proves software correctness. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (ACC, 2005)

Modeling, Optimization and Computation for Software Verification. - Mardavij Roozbehani; Eric Feron; Alexandre Megretski (HSCC, 2005)

Human-human haptic collaboration in cyclical Fitts' tasks. - Sommer Gentry; Eric Feron; Roderick Murray-Smith (IROS, 2005)

Evaluation of Improved Pushback Forecasts Derived from Airline Ground Operations Data. - Francis R. Carr; Georg Theis; John-Paul Clarke; Eric Feron (J. Aerosp. Comput. Inf. Commun., 2005)

Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance. - Zhi-Hong Mao; David Dugail; Eric Feron; Karl Bilimoria (IEEE Trans. Intell. Transp. Syst., 2005)

Maneuver-based motion planning for nonlinear systems with symmetries. - Emilio Frazzoli; Munther A. Dahleh; Eric Feron (IEEE Trans. Robotics, 2005)

Restless bandits with switching costs: linear programming relaxations, performance bounds and limited lookahead policies. - Jerome Le Ny; Eric Feron (ACC, 2006)

Multi-vehicle path planning for non-line of sight communication. - Tom Schouwenaars; Eric Feron; Jonathan P. How (ACC, 2006)

Multi-Agent Task Assignment in the Bandit Framework. - Jerome Le Ny; Munther A. Dahleh; Eric Feron (CDC, 2006)

Safety Verification of Iterative Algorithms over Polynomial Vector Fields. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (CDC, 2006)

Multivehicle path planning for nonline-of-sight communication. - Tom Schouwenaars; Andrew Stubbs; James Paduano; Eric Feron (J. Field Robotics, 2006)

Air Traffic Complexity: An Input-Output Approach. - Keumjin Lee; Eric Feron; Amy R. Pritchett (ACC, 2007)

Optimal Fixed-Point Implementation of Digital Filters. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (ACC, 2007)

Performance evaluation of a multi-agent risk-sensitive tracking system. - Jerome Le Ny; Eric Feron (CDC, 2007)

The curvature-constrained traveling salesman problem for high point densities. - Jerome Le Ny; Emilio Frazzoli; Eric Feron (CDC, 2007)

Experiments with small helicopter automated landings at unusual attitudes - S. Bayraktar; Eric Feron (CoRR, 2007)

Certifying controls and systems software - Eric Feron; Mardavij Roozbehani (CoRR, 2007)

A Dynamic I/O Model for TRACON Traffic Management - Maxime Gariel; John-Paul Clarke; Eric Feron (CoRR, 2007)

Space Partition for Conflict Resolution of Intersecting Flows of Mobile Agents. - Zhi-Hong Mao; David Dugail; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2007)

Multi-UAV dynamic routing with partial observations using restless bandit allocation indices. - Jerome Le Ny; Munther A. Dahleh; Eric Feron (ACC, 2008)

Continuous path planning for a data harvesting mobile server. - Jerome Le Ny; Munther A. Dahleh; Eric Feron; Emilio Frazzoli (CDC, 2008)

Distributed Lyapunov Functions in Analysis of Graph Models of Software. - Mardavij Roozbehani; Alexandre Megretski; Emilio Frazzoli; Eric Feron (HSCC, 2008)

Graceful Degradation of Air Traffic Operations - Maxime Gariel; Eric Feron (CoRR, 2008)

Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis - Pierrick Burgain; Eric Feron; John-Paul Clarke (CoRR, 2008)

Control software analysis, Part I Open-loop properties - Eric Feron; Fernando Alegre (CoRR, 2008)

Control software analysis, part II: Closed-loop analysis - Eric Feron; Fernando Alegre (CoRR, 2008)

Graceful Degradation of Air Traffic Operations: Airspace Sensitivity to Degraded Surveillance Systems. - Maxime Gariel; Eric Feron (Proc. IEEE, 2008)

Aerial Robotics. - Eric Feron; Eric N. Johnson (Springer Handbook of Robotics, 2008)

A parameter-dependent Lyapunov approach for the control of nonstationary and hybrid LPV systems. - Mazen Farhood; Eric Feron (ACC, 2009)

Scheduling Kalman filters in continuous time. - Jerome Le Ny; Eric Feron; Munther A. Dahleh (ACC, 2009)

Using Ellipsoidal Domains to Analyze Control Systems Software - Fernando Alegre; Eric Feron; Santosh Pande (CoRR, 2009)

Preventing Automotive Pileup Crashes in Mixed-Communication Environments. - Animesh Chakravarthy; KyungYeol Song; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2009)

Detection of Driver Fatigue Caused by Sleep Deprivation. - Ji Hyun Yang; Zhi-Hong Mao; Louis Tijerina; Tom Pilutti; Joseph F. Coughlin; Eric Feron (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Determining bounds on controller workload rates at an intersection. - Adan Vela; Erwan Salaün; Maxime Gariel; Eric Feron; John-Paul Clarke; William Singhose (ACC, 2010)

Traffic complexity of intersecting flows of aircraft under variations of pilot preferences in maneuver choice. - Mircea Lupu; Eric Feron; Zhi-Hong Mao (CDC, 2010)

Maximizing throughput at an intersection under constrained maneuvers. - Adan Vela; Erwan Salaün; Eric Feron; John-Paul Clarke; William E. Singhose (CDC, 2010)

Hardware/Software Codesign of Aerospace and Automotive Systems. - Ahmed Abdallah; Eric M. Feron; Graham R. Hellestrand; Philip J. Koopman Jr.; Marilyn Wolf (Proc. IEEE, 2010)

Stability of spatially distributed, intersecting aircraft flows under sequential conflict resolution schemes. - Troy Hand; Zhi-Hong Mao; Eric Feron (ACC, 2011)

Bounds on Controller Taskload Rates at an Intersection for Dense Traffic. - Adan Vela; Erwan Salaün; Eric Feron; William Singhose; John-Paul Clarke (ACC, 2011)

Resource constrained LQR control under fast sampling. - Jerome Le Ny; Eric Feron; George J. Pappas (HSCC, 2011)

Aircraft Proximity Maps Based on Data-Driven Flow Modeling - Erwan Salaün; Maxime Gariel; Adan Vela; Eric Feron (CoRR, 2011)

ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors - Vlad Popescu; John-Paul Clarke; Karen M. Feigh; Eric Feron (CoRR, 2011)

Environmental benefits of enhanced surveillance technology on airport departure operations - Pierrick Burgain; Eric Feron (CoRR, 2011)

A graphical environment to express the semantics of control systems - Timothy Wang; Romain Jobredeaux; Eric Feron (CoRR, 2011)

Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version) - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (CoRR, 2011)

Scheduling Continuous-Time Kalman Filters. - Jerome Le Ny; Eric Feron; Munther A. Dahleh (IEEE Trans. Autom. Control., 2011)

Trajectory Clustering and an Application to Airspace Monitoring. - Maxime Gariel; Ashok N. Srivastava; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2011)

Influence of Aircraft Maneuver Preference Variability on Airspace Usage. - Mircea Lupu; Eric Feron; Zhi-Hong Mao (IEEE Trans. Intell. Transp. Syst., 2011)

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. - Romain Jobredeaux; Heber Herencia-Zapana; Natasha A. Neogi; Eric Feron (CDC, 2012)

Data visualization techniques for airspace flow modeling. - Aude Marzuoli; Christophe Hurter; Eric Feron (CIDU, 2012)

Formal methods for aerospace applications. - Eric Feron (FMCAD, 2012)

A generic ellipsoid abstract domain for linear time invariant systems. - Pierre Roux 001; Romain Jobredeaux; Pierre-Loïc Garoche; Eric Feron (HSCC, 2012)

Optimal configuration for intersecting flows of aircraft. - Shimeng Huang; Eric Feron; Zhi-Hong Mao (ITSC, 2012)

Model-Based Auto Coding of Embedded Control Software with Full Semantics. - Eric Feron (MEDI, 2012)

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. - Heber Herencia-Zapana; Romain Jobredeaux; Sam Owre; Pierre-Loïc Garoche; Eric Feron; Gilberto Pérez 001; Pablo Ascariz (NASA Formal Methods, 2012)

Planning random path distributions for ambush games in unstructured environments. - Emmanuel Boidot; Eric Feron (SSRR, 2012)

On the Dubins Traveling Salesman Problem. - Jerome Le Ny; Eric Feron; Emilio Frazzoli (IEEE Trans. Autom. Control., 2012)

Obstacle-Sensitive Trajectory Regulation via Gain Scheduling and Semidefinite Programming. - Mazen Farhood; Eric Feron (IEEE Trans. Control. Syst. Technol., 2012)

Optimizing Pushback Decisions to Valuate Airport Surface Surveillance Information. - Pierrick Burgain; Olivia J. Pinon; Eric Feron; John-Paul Clarke; Dimitri N. Mavris (IEEE Trans. Intell. Transp. Syst., 2012)

A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal. - Derya Aksaray; Ahmet Yasin Yazicioglu; Eric Feron; Dimitri N. Mavris (CoRR, 2013)

Formally expressing the semantics of observer-based fault detection software. - Alireza Esna Ashari; Eric Feron (CoRR, 2013)

Online Performance Optimization of a DC Motor Driving a Variable Pitch Propeller. - Raphael Cohen; David Miculescu; Kevin Reilley; Mehrdad Pakmehr; Eric Feron (CoRR, 2013)

Impact of Gate Assignment on Gate-Holding Departure Control Strategies. - Sang Hyun Kim; Eric Feron (CoRR, 2013)

Numerical Analysis of Gate Conflict Duration and Passenger Transit Time in Airport. - Sang Hyun Kim; Eric Feron (CoRR, 2013)

Verifiable Control System Development for Gas Turbine Engines. - Mehrdad Pakmehr; Timothy Wang; Romain Jobredeaux; Martin Vivies; Eric Feron (CoRR, 2013)

Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller. - Timothy Wang; Eric Feron (CoRR, 2013)

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. - Timothy Wang; Romain Jobredeaux; Heber Herencia-Zapana; Pierre-Loïc Garoche; Arnaud Dieumegard; Eric Feron; Marc Pantel (CoRR, 2013)

Airport Gate Scheduling for Passengers, Aircraft, and Operation - Sang Hyun Kim; Eric Feron; John-Paul Clarke; Aude Marzuoli; Daniel Delahaye (CoRR, 2013)

Optimization of Lyapunov Invariants in Verification of Software Systems. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (IEEE Trans. Autom. Control., 2013)

Reliably Creating Collision Avoidance Advisories in Piloted Simulations. - Vlad Popescu; William P. Cleveland; Emmanuel Boidot; Amy R. Pritchett; Eric Feron; Jonathan J. Zoetrum (IEEE Trans. Hum. Mach. Syst., 2013)

Credible autocoding of fault detection observers. - Timothy Wang; Alireza Esna Ashari; Romain Jobredeaux; Eric M. Feron (ACC, 2014)

A Complete framework for ambush avoidance in realistic environments. - Emmanuel Boidot; Aude Marzuoli; Eric Feron (CoRR, 2014)

Anatomy of a Crash. - Aude Marzuoli; Emmanuel Boidot; Eric Feron; Paul B. C. van Erp; Alexis Ucko; Alexandre M. Bayen; Mark Hansen (CoRR, 2014)

Credible Autocoding of Convex Optimization Algorithms. - Timothy Wang; Romain Jobredeaux; Marc Pantel; Pierre-Loïc Garoche; Eric Feron; Didier Henrion (CoRR, 2014)

Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations. - Pierrick Burgain; Sang Hyun Kim; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2014)

Compact Configuration of Aircraft Flows at Intersections. - Shimeng Huang; Eric Feron; Gregory Reed; Zhi-Hong Mao (IEEE Trans. Intell. Transp. Syst., 2014)

Impact of Gate Assignment on Departure Metering. - Sang Hyun Kim; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2014)

Optimal Planning Strategy for Ambush Avoidance. - Emmanuel Boidot; Aude Marzuoli; Eric Feron (AAAI Workshop: AI for Transportation, 2015)

What don't we know about CPS architectures? - Marilyn Wolf; Eric Feron (DAC, 2015)

Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach. - Harold Nikoue; Aude Marzuoli; John-Paul Clarke; Eric Feron; Jim Peters (CoRR, 2015)

Adaptive control architectures for mitigating sensor attacks in cyber-physical systems. - Tansel Yucelen; Wassim M. Haddad 001; Eric M. Feron (ACC, 2016)

Finite stage asymmetric repeated games: Both players' viewpoints. - Lichun Li; Eric Feron; Jeff S. Shamma (CDC, 2016)

Establishing trust in remotely reprogrammable systems. - Thomas Gurriet; Mark L. Mote; Aaron D. Ames; Eric Feron (HCI-Aero, 2016)

Formal Analysis of Robustness at Model and Code Level. - Timothy E. Wang; Pierre-Loïc Garoche; Pierre Roux 001; Romain Jobredeaux; Eric Feron (HSCC, 2016)

Optimal navigation policy for an autonomous agent operating in adversarial environments. - Emmanuel Boidot; Aude Marzuoli; Eric Feron (ICRA, 2016)

On the Design and Optimization of an Autonomous Microgravity Enabling Aerial Robot. - Juan-Pablo Afman; John Franklin; Mark L. Mote; Thomas Gurriet; Eric Feron (CoRR, 2016)

Discrete and Continuous ambush games: optimal policies and approximate solutions. - Emmanuel Boidot; Aude Marzuoli; Eric Feron (CoRR, 2016)

A Framework for Collision-Tolerant Optimal Trajectory Planning of Autonomous Vehicles. - Mark L. Mote; Juan-Pablo Afman; Eric Feron (CoRR, 2016)

Safe, Remote-Access Swarm Robotics Research on the Robotarium. - Daniel Pickem; Li Wang 050; Paul Glotfelter; Yancy Diaz-Mercado; Mark Mote; Aaron D. Ames; Eric Feron; Magnus Egerstedt (CoRR, 2016)

Improving Disruption Management With Multimodal Collaborative Decision-Making: A Case Study of the Asiana Crash and Lessons Learned. - Aude Marzuoli; Emmanuel Boidot; Pablo Colomar; Mathieu Guerpillon; Eric Feron; Alexandre M. Bayen; Mark Hansen (IEEE Trans. Intell. Transp. Syst., 2016)

Multimodal Impact Analysis of an Airside Catastrophic Event: A Case Study of the Asiana Crash. - Aude Marzuoli; Emmanuel Boidot; Eric Feron; Paul B. C. van Erp; Alexis Ucko; Alexandre M. Bayen; Mark Hansen (IEEE Trans. Intell. Transp. Syst., 2016)

Robust Trajectory Option Set planning in CTOP based on Bayesian game model. - Lichun Li; John-Paul Clarke; Eric Feron; Jeff S. Shamma (ACC, 2017)

Robotic trajectory planning through collisional interaction. - Mark Mote; Juan-Pablo Afman; Eric Feron (CDC, 2017)

The Robotarium: A remotely accessible swarm robotics research testbed. - Daniel Pickem; Paul Glotfelter; Li Wang 050; Mark Mote; Aaron D. Ames; Eric Feron; Magnus Egerstedt (ICRA, 2017)

Motion Rectification for an Homeostasis-Enabling Wheel. - Juan-Pablo Afman; Mark Mote; Eric Feron (CoRR, 2017)

Foundations of Intelligent Additive Manufacturing. - Kévin Garanger; Eric Feron; Pierre-Loïc Garoche; Julian J. Rimoli; John D. Berrigan; Martha A. Grover; Kerianne Hobbs (CoRR, 2017)

Maneuver Regulation for Accelerating Bodies in Atmospheric Environments. - Juan-Pablo Afman; Eric Feron; John Hauser (CoRR, 2017)

Triple-Integral Control for Reduced-G Atmospheric Flight. - Juan-Pablo Afman; Eric Feron; John Hauser (ACC, 2018)

3D Printing of a Leaf Spring: A Demonstration of Closed-Loop Control in Additive Manufacturing. - Kévin Garanger; Thanakorn Khamvilai; Eric Feron (CCTA, 2018)

Nonlinear Maneuver Regulation for Reduced-G Atmospheric Flight. - Juan-Pablo Afman; Eric Feron; John Hauser (CDC, 2018)

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs. - Raphael Cohen; Eric Feron; Pierre-Loïc Garoche (CDC, 2018)

Interval Observers for Secure Estimation in Cyber-Physical Systems. - Kwassi Holali Degue; Denis V. Efimov; Jerome Le Ny; Eric Feron (CDC, 2018)

An Online Approach to Active Set Invariance. - Thomas Gurriet; Mark Mote; Aaron D. Ames; Eric Feron (CDC, 2018)

Towards a framework for realizable safety critical control through active set invariance. - Thomas Gurriet; Andrew Singletary; Jacob Reher; Laurent Ciarletta; Eric Feron; Aaron D. Ames (ICCPS, 2018)

Passenger-Centric Metrics for Air Transportation Leveraging Mobile Phone and Twitter Data. - Aude Marzuoli; Philippe Monmousseau; Eric Feron (ICDM Workshops, 2018)

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. - Guillaume Davy; Eric Feron; Pierre-Loïc Garoche; Didier Henrion (LPAR, 2018)

Formal verification of an interior point algorithm instanciation. - Guillaume Davy; Eric Feron; Pierre-Loïc Garoche; Didier Henrion (CoRR, 2018)

Towards a New Paradigm of UAV Safety. - Juan-Pablo Afman; Laurent Ciarletta; Eric Feron; John Franklin; Thomas Gurriet; Eric N. Johnson (CoRR, 2018)

Monitor-Based Runtime Assurance for Temporal Logic Specifications. - Matthew Abate; Eric Feron; Samuel Coogan 001 (CDC, 2019)

A Scalable Controlled Set Invariance Framework with Practical Safety Guarantees. - Thomas Gurriet; Mark Mote; Andrew Singletary; Eric Feron; Aaron D. Ames (CDC, 2019)

Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise. - Yongeun Yoon; Corbin Klett; Eric Feron (CoRR, 2019)

Additive manufacturing for high precision structural properties via feedback control. - Kévin Garanger; Thanakorn Khamvilai; Eric Feron (CoRR, 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Samuel Coogan 001; Eric Feron (CoRR, 2019)

Modeling and Experimental Validation of the Mechanics of a Wheeled Non-Holonomic Robot Capable of Enabling Homeostasis. - Jeremy Epps; Eric Feron; Mark Mote (CoRR, 2019)

Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications. - Thanakorn Khamvilai; Louis Sutter; Eric Feron; Philippe Baufreton; François Neumann (CoRR, 2019)

A full scale atmospheric flight experimental research environment for the Mars helicopter. - Juan-Pablo Afman; Eric Feron; Mitchell Walker (CoRR, 2019)

Implementing and Validating Air Passenger-Centric Metrics Using Mobile Phone Data. - Aude Marzuoli; Emmanuel Boidot; Eric Feron; Ashok N. Srivastava (J. Aerosp. Inf. Syst., 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2020)

Bounding the State Covariance Matrix for Switched Linear Systems with Noise. - Corbin Klett; Matthew Abate; Yongeun Yoon; Samuel Coogan 001; Eric Feron (ACC, 2020)

A Scalable Safety Critical Control Framework for Nonlinear Systems. - Thomas Gurriet; Mark Mote; Andrew Singletary; Petter Nilsson; Eric Feron; Aaron D. Ames (IEEE Access, 2020)

Modeling and Experimental Validation of a Fractal Tetrahedron UAS Assembly. - Kévin Garanger; Jeremy Epps; Eric Feron (CoRR, 2020)

Putting the Air Transportation System to sleep: a passenger perspective measured by passenger-generated data. - Philippe Monmousseau; Aude Marzuoli; Eric Feron; Daniel Delahaye (CoRR, 2020)

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (CoRR, 2020)

Automatic Updates of Transition Potential Matrices in Dempster-Shafer Networks Based on Evidence Inputs. - Joel Dunham; Eric Johnson; Eric Feron; Brian J. German (Sensors, 2020)

Validating Feedback Control to Meet Stiffness Requirements in Additive Manufacturing. - Kévin Garanger; Thanakorn Khamvilai; Eric Feron (IEEE Trans. Control. Syst. Technol., 2020)

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. - Raphael Cohen; Eric Feron; Pierre-Loïc Garoche (J. Aerosp. Inf. Syst., 2020)

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2021)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems. - Gidado-Yisa Immanuel; Matthew Abate; Eric Feron (ACC, 2021)

A Numerical Method to Compute Stability Margins of Switching Linear Systems. - Corbin Klett; Matthew Abate; Samuel Coogan 001; Eric Feron (ACC, 2021)

A Year Into the Pandemic: a Passenger Perspective on its Impact at Paris-Charles de Gaulle Airport. - Clara Buire; Geoffrey Scozzaro; Aude Marzuoli; Eric Feron; Daniel Delahaye (IEEE BigData, 2021)

Verification and runtime assurance for dynamical systems with uncertainty. - Matthew Abate; Mark Mote; Eric Feron; Samuel Coogan 001 (HSCC, 2021)

Analyzing and comparing door-to-door travel times for air transportation using aggregated Uber data. - Philippe Monmousseau; Aude Marzuoli; Eric Feron; Daniel Delahaye (CoRR, 2021)

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. - Kerianne Hobbs; Mark Mote; Matthew Abate; Samuel Coogan 001; Eric Feron (CoRR, 2021)

Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application. - Thanakorn Khamvilai; Louis Sutter; Philippe Baufreton; François Neumann; Eric Feron (J. Optim. Theory Appl., 2021)

Application of Dempster-Shafer Networks to a Real-Time Unmanned Systems Risk Analysis Framework. - Joel Dunham; Eric Johnson; Eric Feron; Brian J. German (J. Aerosp. Inf. Syst., 2021)

Experiments in Robotic Self-Repair: A 3D Printer Repairs Its Own Timing Pulley. - Renzo Caballero; Eric Feron (ACC, 2022)

Control of an Assembly of Aerial Vehicles Under Uncertainty. - Mohamad T. Shahab; Kévin Garanger; Eric Feron (ACC, 2022)

On Linear Time Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach. - Hassan Abdelraouf; Fahad Albalawi; Eric Feron (CCTA, 2022)

Drone reference tracking in a non-inertial frame using sliding mode control based Kalman filter with unknown input. - Yasmine Marani; Kuat Telegenov; Eric Feron; Taous-Meriem Laleg-Kirati (CCTA, 2022)

Exploration of Mandibular Inputs for Human-Machine Interfaces. - Abdulaziz Yaslam; Eric Feron (SMC, 2022)

Computing Bounds on L∞-induced Norm for Linear Time-Invariant Systems Using Homogeneous Lyapunov Functions. - Hassan Abdelraouf; Gidado-Yisa Immanuel; Eric Feron (CoRR, 2022)

From Observability to Observer Realization: A path via elementary block-diagram manipulations. - Eder Baron-Prada; Renzo Caballero; Eric Feron (CoRR, 2022)

A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space. - Karnika Biswas; Indrani Kar; Eric Feron (Int. J. Syst. Sci., 2022)

Intent-Aware Optimal Collision Avoidance and Trajectory Planning for a Pursuit Vehicle. - Karnika Biswas; Indrani Kar; Eric Feron (Robotica, 2022)

Design of Avionics Network Architecture Under a Reliability Constraint. - Thanakorn Khamvilai; John B. Mains; Louis Sutter; Aqib A. Syed; Philippe Baufreton; François Neumann; Eric Feron (IEEE Trans. Aerosp. Electron. Syst., 2022)

Role of Feedback in the Asymptotic Self-Repair Behavior of a 3D Printer. - Renzo Caballero; Angelica Coronado; Eric Feron (ACC, 2023)

Computational Modeling in System with Non-Circular Timing Pulleys. - Renzo Caballero; Angelica Coronado; Eric Feron (ICRA, 2023)

A Non-planar Assembly of Modular Tetrahedral-shaped Aerial Robots. - Obadah Wali; Mohamad T. Shahab; Eric Feron (ICRA, 2023)

Aircraft Cruise Alternative Trajectories Generation: A Mixed RRG-Clustering Approach. - Jean-Claude Lebègue; Andréas Guitart; Céline Demouge; Daniel Delahaye; Jacco M. Hoekstra; Eric Feron (INTSYS, 2023)

Algebraic Lyapunov Functions for Homogeneous Dynamic Systems. - Hassan Abdelraouf; Eric Feron; Jeff S. Shamma (CoRR, 2023)

Study of Fixed-Points in the Self-Repair Process of a 3-D Printer. - Renzo Caballero; Eric Feron (IEEE Control. Syst. Lett., 2023)

The Design, Education and Evolution of a Robotic Baby. - Hanqing Zhu; Sean Wilson; Eric Feron (IEEE Trans. Robotics, 2023)

Collaborative Generation of Local Conflict Free Trajectories With Weather Hazards Avoidance. - Andréas Guitart; Daniel Delahaye; Félix Mora-Camino; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2023)

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems. - Hassan Abdelraouf; Eric Feron; Jeff S. Shamma (ACC, 2024)

Observer-based Control of an Unmanned Aerial Vehicle in a Non-inertial Reference Frame. - Yasmine Marani; Eric Feron; Taous-Meriem Laleg-Kirati (CCTA, 2024)

Utilizing a Malfunctioning 3D Printer by Modeling Its Dynamics with Machine Learning. - Renzo Caballero; Piotr Piekos; Eric Feron; Jürgen Schmidhuber (ICRA, 2024)

Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms. - Mohannad Alhakami; Dylan R. Ashley; Joel Dunham; Francesco Faccio; Eric Feron; Jürgen Schmidhuber (CoRR, 2024)

Mixed-Integer Linear Programming Model for Collision Avoidance Planning in Commercial Aircraft Formations. - Songqiying Yang; Ania Adil; Eric Feron (CoRR, 2024)

An ILP approach for tactical flight rescheduling during airport access mode disruptions. - Geoffrey Scozzaro; Catherine Mancel; Daniel Delahaye; Eric Feron (Int. Trans. Oper. Res., 2024)

Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. - Matthew Abate; Mark Mote; Mehregan Dor; Corbin Klett; Sean Phillips; Kendra Lang; Panagiotis Tsiotras; Eric Feron; Samuel Coogan 001 (IEEE Trans. Control. Syst. Technol., 2024)

Multi Criteria Methodology for Aircraft Trajectory Planning Algorithm Selection: A Survey. - Andréas Guitart; Céline Demouge; Daniel Delahaye; Eric Feron (IEEE Trans. Intell. Transp. Syst., 2024)

Early Versus Late Traffic Management For Autonomous Agents. - Salman Ghori; Ania Adil; Eric Feron (ACC, 2025)

The Dodecacopter: a Versatile Multirotor System of Dodecahedron-Shaped Modules. - Kévin Garanger; Thanakorn Khamvilai; Jeremy Epps; Eric Feron (CoRR, 2025)