Eric Feron - RankMe

211 papers A* 6A 2B 3C 35Journal 114Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Control and State Estimation of Vehicle-Mounted Aerial Systems in GPS-Denied, Non-Inertial Environments. CoRR Riming Xu, Obadah Wali, Yasmine Marani, Eric Feron
2026	J	`jnl`	RACAS: Controlling Diverse Robots With a Single Agentic System. CoRR Dylan R. Ashley, Jan Przepióra, Yimeng Chen, Ali Abualsaud, Nurzhan Yesmagambet, Shinkyu Park, Eric Feron, Jürgen Schmidhuber
2026	J	`jnl`	The Dodecacopter: A Versatile Multirotor System of Dodecahedron-Shaped Modules. IEEE Trans. Robotics Kévin Garanger, Thanakorn Khamvilai, Jeremy Epps, Eric Feron
2025	C	`conf`	Early Versus Late Traffic Management For Autonomous Agents. ACC Salman Ghori, Ania Adil, Eric Feron
2025	J	`jnl`	Intervention Strategies for Fairness and Efficiency at Autonomous Single-Intersection Traffic Flows. CoRR Salman Ghori, Ania Adil, Melkior Ornik, Eric Feron
2025	—	`conf`	Mixed-Integer Linear Programming Model for Collision Avoidance Planning in Commercial Aircraft Formations. ECC Songqiying Yang, Ania Adil, Eric Feron
2025	J	`jnl`	On the Stabilization of Rigid Formations on Regular Curves. CoRR Mohamed Elobaid, Shinkyu Park, Eric Feron
2025	—	`conf`	Position and speed estimation using deep learning-based KKL observer in mixed autonomy traffic systems. CDC Yasmine Marani, Zhe Fu, Ibrahima N'Doye, Eric Feron, Taous-Meriem Laleg-Kirati, Alexandre M. Bayen
2025	J	`jnl`	The Dodecacopter: a Versatile Multirotor System of Dodecahedron-Shaped Modules. CoRR Kévin Garanger, Thanakorn Khamvilai, Jeremy Epps, Eric Feron
2025	A	`conf`	Towards an Extremely Robust Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms. IROS Mohannad Alhakami, Dylan R. Ashley, Joel Dunham, Yanning Dai, Francesco Faccio, Eric Feron, Jürgen Schmidhuber
2024	J	`jnl`	An ILP approach for tactical flight rescheduling during airport access mode disruptions. Int. Trans. Oper. Res. Geoffrey Scozzaro, Catherine Mancel, Daniel Delahaye, Eric Feron
2024	J	`jnl`	Early Versus Late Traffic Management For Autonomous Agents. CoRR Salman Ghori, Ania Adil, Eric Feron
2024	J	`jnl`	Mixed-Integer Linear Programming Model for Collision Avoidance Planning in Commercial Aircraft Formations. CoRR Songqiying Yang, Ania Adil, Eric Feron
2024	J	`jnl`	Multi Criteria Methodology for Aircraft Trajectory Planning Algorithm Selection: A Survey. IEEE Trans. Intell. Transp. Syst. Andréas Guitart, Céline Demouge, Daniel Delahaye, Eric Feron
2024	—	`conf`	Observer-based Control of an Unmanned Aerial Vehicle in a Non-inertial Reference Frame. CCTA Yasmine Marani, Eric Feron, Taous-Meriem Laleg-Kirati
2024	C	`conf`	Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems. ACC Hassan Abdelraouf, Eric Feron, Jeff S. Shamma
2024	J	`jnl`	Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems. CoRR Hassan Abdelraouf, Eric Feron, Jeff S. Shamma
2024	J	`jnl`	Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. IEEE Trans. Control. Syst. Technol. Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan
2024	J	`jnl`	Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms. CoRR Mohannad Alhakami, Dylan R. Ashley, Joel Dunham, Francesco Faccio, Eric Feron, Jürgen Schmidhuber
2024	A*	`conf`	Utilizing a Malfunctioning 3D Printer by Modeling Its Dynamics with Machine Learning. ICRA Renzo Caballero, Piotr Piekos, Eric Feron, Jürgen Schmidhuber
2023	A*	`conf`	A Non-planar Assembly of Modular Tetrahedral-shaped Aerial Robots. ICRA Obadah Wali, Mohamad T. Shahab, Eric Feron
2023	—	`conf`	Aircraft Cruise Alternative Trajectories Generation: A Mixed RRG-Clustering Approach. INTSYS Jean-Claude Lebègue, Andréas Guitart, Céline Demouge, Daniel Delahaye, Jacco M. Hoekstra, Eric Feron
2023	J	`jnl`	Algebraic Lyapunov Functions for Homogeneous Dynamic Systems. CoRR Hassan Abdelraouf, Eric Feron, Jeff S. Shamma
2023	J	`jnl`	Collaborative Generation of Local Conflict Free Trajectories With Weather Hazards Avoidance. IEEE Trans. Intell. Transp. Syst. Andréas Guitart, Daniel Delahaye, Félix Mora-Camino, Eric Feron
2023	A*	`conf`	Computational Modeling in System with Non-Circular Timing Pulleys. ICRA Renzo Caballero, Angelica Coronado, Eric Feron
2023	C	`conf`	Role of Feedback in the Asymptotic Self-Repair Behavior of a 3D Printer. ACC Renzo Caballero, Angelica Coronado, Eric Feron
2023	J	`jnl`	Study of Fixed-Points in the Self-Repair Process of a 3-D Printer. IEEE Control. Syst. Lett. Renzo Caballero, Eric Feron
2023	J	`jnl`	The Design, Education and Evolution of a Robotic Baby. IEEE Trans. Robotics Hanqing Zhu, Sean Wilson, Eric Feron
2022	J	`jnl`	A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space. Int. J. Syst. Sci. Karnika Biswas, Indrani Kar, Eric Feron
2022	J	`jnl`	Computing Bounds on L CoRR Hassan Abdelraouf, Gidado-Yisa Immanuel, Eric Feron
2022	C	`conf`	Control of an Assembly of Aerial Vehicles Under Uncertainty. ACC Mohamad T. Shahab, Kévin Garanger, Eric Feron
2022	J	`jnl`	Design of Avionics Network Architecture Under a Reliability Constraint. IEEE Trans. Aerosp. Electron. Syst. Thanakorn Khamvilai, John B. Mains, Louis Sutter, Aqib A. Syed, Philippe Baufreton, François Neumann, Eric Feron
2022	—	`conf`	Drone reference tracking in a non-inertial frame using sliding mode control based Kalman filter with unknown input. CCTA Yasmine Marani, Kuat Telegenov, Eric Feron, Taous-Meriem Laleg-Kirati
2022	C	`conf`	Experiments in Robotic Self-Repair: A 3D Printer Repairs Its Own Timing Pulley. ACC Renzo Caballero, Eric Feron
2022	B	`conf`	Exploration of Mandibular Inputs for Human-Machine Interfaces. SMC Abdulaziz Yaslam, Eric Feron
2022	J	`jnl`	From Observability to Observer Realization: A path via elementary block-diagram manipulations. CoRR Eder Baron-Prada, Renzo Caballero, Eric Feron
2022	J	`jnl`	Intent-Aware Optimal Collision Avoidance and Trajectory Planning for a Pursuit Vehicle. Robotica Karnika Biswas, Indrani Kar, Eric Feron
2022	—	`conf`	On Linear Time Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach. CCTA Hassan Abdelraouf, Fahad Albalawi, Eric Feron
2021	C	`conf`	A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
2021	—	`conf`	A Year Into the Pandemic: a Passenger Perspective on its Impact at Paris-Charles de Gaulle Airport. IEEE BigData Clara Buire, Geoffrey Scozzaro, Aude Marzuoli, Eric Feron, Daniel Delahaye
2021	J	`jnl`	Analyzing and comparing door-to-door travel times for air transportation using aggregated Uber data. CoRR Philippe Monmousseau, Aude Marzuoli, Eric Feron, Daniel Delahaye
2021	J	`jnl`	Application of Dempster-Shafer Networks to a Real-Time Unmanned Systems Risk Analysis Framework. J. Aerosp. Inf. Syst. Joel Dunham, Eric Johnson, Eric Feron, Brian J. German
2021	J	`jnl`	Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application. J. Optim. Theory Appl. Thanakorn Khamvilai, Louis Sutter, Philippe Baufreton, François Neumann, Eric Feron
2021	C	`conf`	Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems. ACC Gidado-Yisa Immanuel, Matthew Abate, Eric Feron
2021	J	`jnl`	On Linear Time-Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach. CoRR Hassan Abdelraouf, Fahad Albalawi, Eric Feron
2021	C	`conf`	Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. ACC Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
2021	J	`jnl`	Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
2021	—	`conf`	Verification and runtime assurance for dynamical systems with uncertainty. HSCC Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan
2020	J	`jnl`	A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
2020	J	`jnl`	A Scalable Safety Critical Control Framework for Nonlinear Systems. IEEE Access Thomas Gurriet, Mark Mote, Andrew Singletary, Petter Nilsson, Eric Feron, Aaron D. Ames
2020	J	`jnl`	Automatic Updates of Transition Potential Matrices in Dempster-Shafer Networks Based on Evidence Inputs. Sensors Joel Dunham, Eric Johnson, Eric Feron, Brian J. German
2020	C	`conf`	Bounding the State Covariance Matrix for Switched Linear Systems with Noise. ACC Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron
2020	C	`conf`	Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. ACC Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
2020	J	`jnl`	Modeling and Experimental Validation of a Fractal Tetrahedron UAS Assembly. CoRR Kévin Garanger, Jeremy Epps, Eric Feron
2020	J	`jnl`	Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. CoRR Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
2020	J	`jnl`	Putting the Air Transportation System to sleep: a passenger perspective measured by passenger-generated data. CoRR Philippe Monmousseau, Aude Marzuoli, Eric Feron, Daniel Delahaye
2020	J	`jnl`	Validating Feedback Control to Meet Stiffness Requirements in Additive Manufacturing. IEEE Trans. Control. Syst. Technol. Kévin Garanger, Thanakorn Khamvilai, Eric Feron
2020	J	`jnl`	Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. CoRR Raphaël Cohen, Eric Feron, Pierre-Loïc Garoche
2020	J	`jnl`	Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. J. Aerosp. Inf. Syst. Raphael Cohen, Eric Feron, Pierre-Loïc Garoche
2019	—	`conf`	A Scalable Controlled Set Invariance Framework with Practical Safety Guarantees. CDC Thomas Gurriet, Mark Mote, Andrew Singletary, Eric Feron, Aaron D. Ames
2019	J	`jnl`	A full scale atmospheric flight experimental research environment for the Mars helicopter. CoRR Juan-Pablo Afman, Eric Feron, Mitchell Walker
2019	J	`jnl`	Additive manufacturing for high precision structural properties via feedback control. CoRR Kévin Garanger, Thanakorn Khamvilai, Eric Feron
2019	J	`jnl`	Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise. CoRR Yongeun Yoon, Corbin Klett, Eric Feron
2019	J	`jnl`	Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications. CoRR Thanakorn Khamvilai, Louis Sutter, Eric Feron, Philippe Baufreton, François Neumann
2019	J	`jnl`	Implementing and Validating Air Passenger-Centric Metrics Using Mobile Phone Data. J. Aerosp. Inf. Syst. Aude Marzuoli, Emmanuel Boidot, Eric Feron, Ashok N. Srivastava
2019	J	`jnl`	Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. CoRR Matthew Abate, Samuel Coogan, Eric Feron
2019	J	`jnl`	Modeling and Experimental Validation of the Mechanics of a Wheeled Non-Holonomic Robot Capable of Enabling Homeostasis. CoRR Jeremy Epps, Eric Feron, Mark Mote
2019	—	`conf`	Monitor-Based Runtime Assurance for Temporal Logic Specifications. CDC Matthew Abate, Eric Feron, Samuel Coogan
2019	J	`jnl`	Monitor-Based Runtime Assurance for Temporal Logic Specifications. CoRR Matthew Abate, Eric Feron, Samuel Coogan
2018	—	`conf`	3D Printing of a Leaf Spring: A Demonstration of Closed-Loop Control in Additive Manufacturing. CCTA Kévin Garanger, Thanakorn Khamvilai, Eric Feron
2018	J	`jnl`	3D printing of a leaf spring: A demonstration of closed-loop control in additive manufacturing. CoRR Kévin Garanger, Thanakorn Khamvilai, Eric Feron
2018	—	`conf`	An Online Approach to Active Set Invariance. CDC Thomas Gurriet, Mark Mote, Aaron D. Ames, Eric Feron
2018	—	`conf`	Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs. CDC Raphael Cohen, Eric Feron, Pierre-Loïc Garoche
2018	B	`conf`	Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. LPAR Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
2018	J	`jnl`	Formal verification of an interior point algorithm instanciation. CoRR Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
2018	—	`conf`	Interval Observers for Secure Estimation in Cyber-Physical Systems. CDC Kwassi Holali Degue, Denis V. Efimov, Jerome Le Ny, Eric Feron
2018	—	`conf`	Nonlinear Maneuver Regulation for Reduced-G Atmospheric Flight. CDC Juan-Pablo Afman, Eric Feron, John Hauser
2018	—	`conf`	Passenger-Centric Metrics for Air Transportation Leveraging Mobile Phone and Twitter Data. ICDM Workshops Aude Marzuoli, Philippe Monmousseau, Eric Feron
2018	J	`jnl`	Towards a New Paradigm of UAV Safety. CoRR Juan-Pablo Afman, Laurent Ciarletta, Eric Feron, John Franklin, Thomas Gurriet, Eric N. Johnson
2018	—	`conf`	Towards a framework for realizable safety critical control through active set invariance. ICCPS Thomas Gurriet, Andrew Singletary, Jacob Reher, Laurent Ciarletta, Eric Feron, Aaron D. Ames
2018	C	`conf`	Triple-Integral Control for Reduced-G Atmospheric Flight. ACC Juan-Pablo Afman, Eric Feron, John Hauser
2017	J	`jnl`	Foundations of Intelligent Additive Manufacturing. CoRR Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs
2017	J	`jnl`	Maneuver Regulation for Accelerating Bodies in Atmospheric Environments. CoRR Juan-Pablo Afman, Eric Feron, John Hauser
2017	J	`jnl`	Motion Rectification for an Homeostasis-Enabling Wheel. CoRR Juan-Pablo Afman, Mark Mote, Eric Feron
2017	—	`conf`	Robotic trajectory planning through collisional interaction. CDC Mark Mote, Juan-Pablo Afman, Eric Feron
2017	C	`conf`	Robust Trajectory Option Set planning in CTOP based on Bayesian game model. ACC Lichun Li, John-Paul Clarke, Eric Feron, Jeff S. Shamma
2017	A*	`conf`	The Robotarium: A remotely accessible swarm robotics research testbed. ICRA Daniel Pickem, Paul Glotfelter, Li Wang, Mark Mote, Aaron D. Ames, Eric Feron, Magnus Egerstedt
2016	J	`jnl`	A Framework for Collision-Tolerant Optimal Trajectory Planning of Autonomous Vehicles. CoRR Mark L. Mote, Juan-Pablo Afman, Eric Feron
2016	J	`jnl`	Discrete and Continuous ambush games: optimal policies and approximate solutions. CoRR Emmanuel Boidot, Aude Marzuoli, Eric Feron
2016	—	`conf`	Establishing trust in remotely reprogrammable systems. HCI-Aero Thomas Gurriet, Mark L. Mote, Aaron D. Ames, Eric Feron
2016	—	`conf`	Finite stage asymmetric repeated games: Both players' viewpoints. CDC Lichun Li, Eric Feron, Jeff S. Shamma
2016	—	`conf`	Formal Analysis of Robustness at Model and Code Level. HSCC Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
2016	J	`jnl`	Improving Disruption Management With Multimodal Collaborative Decision-Making: A Case Study of the Asiana Crash and Lessons Learned. IEEE Trans. Intell. Transp. Syst. Aude Marzuoli, Emmanuel Boidot, Pablo Colomar, Mathieu Guerpillon, Eric Feron, Alexandre M. Bayen, Mark Hansen
2016	J	`jnl`	Multimodal Impact Analysis of an Airside Catastrophic Event: A Case Study of the Asiana Crash. IEEE Trans. Intell. Transp. Syst. Aude Marzuoli, Emmanuel Boidot, Eric Feron, Paul B. C. van Erp, Alexis Ucko, Alexandre M. Bayen, Mark Hansen
2016	J	`jnl`	On the Design and Optimization of an Autonomous Microgravity Enabling Aerial Robot. CoRR Juan-Pablo Afman, John Franklin, Mark L. Mote, Thomas Gurriet, Eric Feron
2016	A*	`conf`	Optimal navigation policy for an autonomous agent operating in adversarial environments. ICRA Emmanuel Boidot, Aude Marzuoli, Eric Feron
2016	J	`jnl`	Safe, Remote-Access Swarm Robotics Research on the Robotarium. CoRR Daniel Pickem, Li Wang, Paul Glotfelter, Yancy Diaz-Mercado, Mark Mote, Aaron D. Ames, Eric Feron, Magnus Egerstedt
2016	J	`jnl`	The Robotarium: A remotely accessible swarm robotics research testbed. CoRR Daniel Pickem, Paul Glotfelter, Li Wang, Mark Mote, Aaron D. Ames, Eric Feron, Magnus Egerstedt
2015	—	`conf`	Optimal Planning Strategy for Ambush Avoidance. AAAI Workshop: AI for Transportation Emmanuel Boidot, Aude Marzuoli, Eric Feron
2015	J	`jnl`	Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach. CoRR Harold Nikoue, Aude Marzuoli, John-Paul Clarke, Eric Feron, Jim Peters
2015	A*	`conf`	What don't we know about CPS architectures? DAC Marilyn Wolf, Eric Feron
2014	J	`jnl`	A Complete framework for ambush avoidance in realistic environments. CoRR Emmanuel Boidot, Aude Marzuoli, Eric Feron
2014	J	`jnl`	Anatomy of a Crash. CoRR Aude Marzuoli, Emmanuel Boidot, Eric Feron, Paul B. C. van Erp, Alexis Ucko, Alexandre M. Bayen, Mark Hansen
2014	J	`jnl`	Compact Configuration of Aircraft Flows at Intersections. IEEE Trans. Intell. Transp. Syst. Shimeng Huang, Eric Feron, Gregory Reed, Zhi-Hong Mao
2014	J	`jnl`	Credible Autocoding of Convex Optimization Algorithms. CoRR Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
2014	J	`jnl`	Impact of Gate Assignment on Departure Metering. IEEE Trans. Intell. Transp. Syst. Sang Hyun Kim, Eric Feron
2014	J	`jnl`	Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations. IEEE Trans. Intell. Transp. Syst. Pierrick Burgain, Sang Hyun Kim, Eric Feron
2013	J	`jnl`	A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal. CoRR Derya Aksaray, Ahmet Yasin Yazicioglu, Eric Feron, Dimitri N. Mavris
2013	J	`jnl`	Airport Gate Scheduling for Passengers, Aircraft, and Operation CoRR Sang Hyun Kim, Eric Feron, John-Paul Clarke, Aude Marzuoli, Daniel Delahaye
2013	J	`jnl`	Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller. CoRR Timothy Wang, Eric Feron
2013	J	`jnl`	Formally expressing the semantics of observer-based fault detection software. CoRR Alireza Esna Ashari, Eric Feron
2013	J	`jnl`	From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
2013	J	`jnl`	Impact of Gate Assignment on Gate-Holding Departure Control Strategies. CoRR Sang Hyun Kim, Eric Feron
2013	J	`jnl`	Numerical Analysis of Gate Conflict Duration and Passenger Transit Time in Airport. CoRR Sang Hyun Kim, Eric Feron
2013	J	`jnl`	Online Performance Optimization of a DC Motor Driving a Variable Pitch Propeller. CoRR Raphael Cohen, David Miculescu, Kevin Reilley, Mehrdad Pakmehr, Eric Feron
2013	J	`jnl`	Optimization of Lyapunov Invariants in Verification of Software Systems. IEEE Trans. Autom. Control. Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2013	J	`jnl`	Reliably Creating Collision Avoidance Advisories in Piloted Simulations. IEEE Trans. Hum. Mach. Syst. Vlad Popescu, William P. Cleveland, Emmanuel Boidot, Amy R. Pritchett, Eric Feron, Jonathan J. Zoetrum
2013	J	`jnl`	Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations. CoRR Pierrick Burgain, Sang Hyun Kim, Eric Feron
2013	J	`jnl`	Verifiable Control System Development for Gas Turbine Engines. CoRR Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux, Martin Vivies, Eric Feron
2012	—	`conf`	A generic ellipsoid abstract domain for linear time invariant systems. HSCC Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron
2012	—	`conf`	Data visualization techniques for airspace flow modeling. CIDU Aude Marzuoli, Christophe Hurter, Eric Feron
2012	—	`conf`	Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron
2012	B	`conf`	Formal methods for aerospace applications. FMCAD Eric Feron
2012	C	`conf`	Model-Based Auto Coding of Embedded Control Software with Full Semantics. MEDI Eric Feron
2012	J	`jnl`	Obstacle-Sensitive Trajectory Regulation via Gain Scheduling and Semidefinite Programming. IEEE Trans. Control. Syst. Technol. Mazen Farhood, Eric Feron
2012	J	`jnl`	On the Dubins Traveling Salesman Problem. IEEE Trans. Autom. Control. Jerome Le Ny, Eric Feron, Emilio Frazzoli
2012	—	`conf`	Optimal configuration for intersecting flows of aircraft. ITSC Shimeng Huang, Eric Feron, Zhi-Hong Mao
2012	J	`jnl`	Optimizing Pushback Decisions to Valuate Airport Surface Surveillance Information. IEEE Trans. Intell. Transp. Syst. Pierrick Burgain, Olivia J. Pinon, Eric Feron, John-Paul Clarke, Dimitri N. Mavris
2012	—	`conf`	PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
2012	J	`jnl`	Planning Random path distributions for ambush games in unstructured environments CoRR Emmanuel Boidot, Eric Feron
2012	—	`conf`	Planning random path distributions for ambush games in unstructured environments. SSRR Emmanuel Boidot, Eric Feron
2011	J	`jnl`	A graphical environment to express the semantics of control systems CoRR Timothy Wang, Romain Jobredeaux, Eric Feron
2011	J	`jnl`	ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors CoRR Vlad Popescu, John-Paul Clarke, Karen M. Feigh, Eric Feron
2011	J	`jnl`	Aircraft Proximity Maps Based on Data-Driven Flow Modeling CoRR Erwan Salaün, Maxime Gariel, Adan Vela, Eric Feron
2011	C	`conf`	Bounds on Controller Taskload Rates at an Intersection for Dense Traffic. ACC Adan Vela, Erwan Salaün, Eric Feron, William Singhose, John-Paul Clarke
2011	J	`jnl`	Environmental benefits of enhanced surveillance technology on airport departure operations CoRR Pierrick Burgain, Eric Feron
2011	J	`jnl`	Influence of Aircraft Maneuver Preference Variability on Airspace Usage. IEEE Trans. Intell. Transp. Syst. Mircea Lupu, Eric Feron, Zhi-Hong Mao
2011	J	`jnl`	Optimization of Lyapunov Invariants in Verification of Software Systems CoRR Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2011	J	`jnl`	Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version) CoRR Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2011	—	`conf`	Resource constrained LQR control under fast sampling. HSCC Jerome Le Ny, Eric Feron, George J. Pappas
2011	J	`jnl`	Scheduling Continuous-Time Kalman Filters. IEEE Trans. Autom. Control. Jerome Le Ny, Eric Feron, Munther A. Dahleh
2011	C	`conf`	Stability of spatially distributed, intersecting aircraft flows under sequential conflict resolution schemes. ACC Troy Hand, Zhi-Hong Mao, Eric Feron
2011	J	`jnl`	Trajectory Clustering and an Application to Airspace Monitoring. IEEE Trans. Intell. Transp. Syst. Maxime Gariel, Ashok N. Srivastava, Eric Feron
2010	C	`conf`	Determining bounds on controller workload rates at an intersection. ACC Adan Vela, Erwan Salaün, Maxime Gariel, Eric Feron, John-Paul Clarke, William Singhose
2010	—	`conf`	Maximizing throughput at an intersection under constrained maneuvers. CDC Adan Vela, Erwan Salaün, Eric Feron, John-Paul Clarke, William E. Singhose
2010	—	`conf`	Traffic complexity of intersecting flows of aircraft under variations of pilot preferences in maneuver choice. CDC Mircea Lupu, Eric Feron, Zhi-Hong Mao
2010	J	`jnl`	Trajectory Clustering and an Application to Airspace Monitoring CoRR Maxime Gariel, Ashok N. Srivastava, Eric Feron
2009	C	`conf`	A parameter-dependent Lyapunov approach for the control of nonstationary and hybrid LPV systems. ACC Mazen Farhood, Eric Feron
2009	J	`jnl`	Detection of Driver Fatigue Caused by Sleep Deprivation. IEEE Trans. Syst. Man Cybern. Part A Ji Hyun Yang, Zhi-Hong Mao, Louis Tijerina, Tom Pilutti, Joseph F. Coughlin, Eric Feron
2009	J	`jnl`	Preventing Automotive Pileup Crashes in Mixed-Communication Environments. IEEE Trans. Intell. Transp. Syst. Animesh Chakravarthy, KyungYeol Song, Eric Feron
2009	C	`conf`	Scheduling Kalman filters in continuous time. ACC Jerome Le Ny, Eric Feron, Munther A. Dahleh
2009	J	`jnl`	Using Ellipsoidal Domains to Analyze Control Systems Software CoRR Fernando Alegre, Eric Feron, Santosh Pande
2008	—	`ch.`	Aerial Robotics. Springer Handbook of Robotics Eric Feron, Eric N. Johnson
2008	J	`jnl`	Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis CoRR Pierrick Burgain, Eric Feron, John-Paul Clarke
2008	—	`conf`	Continuous path planning for a data harvesting mobile server. CDC Jerome Le Ny, Munther A. Dahleh, Eric Feron, Emilio Frazzoli
2008	J	`jnl`	Control software analysis, Part I Open-loop properties CoRR Eric Feron, Fernando Alegre
2008	J	`jnl`	Control software analysis, part II: Closed-loop analysis CoRR Eric Feron, Fernando Alegre
2008	—	`conf`	Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron
2008	J	`jnl`	Graceful Degradation of Air Traffic Operations CoRR Maxime Gariel, Eric Feron
2008	J	`jnl`	Graceful Degradation of Air Traffic Operations: Airspace Sensitivity to Degraded Surveillance Systems. Proc. IEEE Maxime Gariel, Eric Feron
2008	C	`conf`	Multi-UAV dynamic routing with partial observations using restless bandit allocation indices. ACC Jerome Le Ny, Munther A. Dahleh, Eric Feron
2008	J	`jnl`	Scheduling Kalman Filters in Continuous Time CoRR Jerome Le Ny, Eric Feron, Munther A. Dahleh
2007	J	`jnl`	A Dynamic I/O Model for TRACON Traffic Management CoRR Maxime Gariel, John-Paul Clarke, Eric Feron
2007	C	`conf`	Air Traffic Complexity: An Input-Output Approach. ACC Keumjin Lee, Eric Feron, Amy R. Pritchett
2007	J	`jnl`	Certifying controls and systems software CoRR Eric Feron, Mardavij Roozbehani
2007	J	`jnl`	Experiments with small helicopter automated landings at unusual attitudes CoRR S. Bayraktar, Eric Feron
2007	C	`conf`	Optimal Fixed-Point Implementation of Digital Filters. ACC Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2007	—	`conf`	Performance evaluation of a multi-agent risk-sensitive tracking system. CDC Jerome Le Ny, Eric Feron
2007	J	`jnl`	Space Partition for Conflict Resolution of Intersecting Flows of Mobile Agents. IEEE Trans. Intell. Transp. Syst. Zhi-Hong Mao, David Dugail, Eric Feron
2007	—	`conf`	The curvature-constrained traveling salesman problem for high point densities. CDC Jerome Le Ny, Emilio Frazzoli, Eric Feron
2006	—	`conf`	Multi-Agent Task Assignment in the Bandit Framework. CDC Jerome Le Ny, Munther A. Dahleh, Eric Feron
2006	C	`conf`	Multi-vehicle path planning for non-line of sight communication. ACC Tom Schouwenaars, Eric Feron, Jonathan P. How
2006	J	`jnl`	Multivehicle path planning for nonline-of-sight communication. J. Field Robotics Tom Schouwenaars, Andrew Stubbs, James Paduano, Eric Feron
2006	C	`conf`	Restless bandits with switching costs: linear programming relaxations, performance bounds and limited lookahead policies. ACC Jerome Le Ny, Eric Feron
2006	—	`conf`	Safety Verification of Iterative Algorithms over Polynomial Vector Fields. CDC Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2005	C	`conf`	Convex optimization proves software correctness. ACC Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2005	J	`jnl`	Evaluation of Improved Pushback Forecasts Derived from Airline Ground Operations Data. J. Aerosp. Comput. Inf. Commun. Francis R. Carr, Georg Theis, John-Paul Clarke, Eric Feron
2005	A	`conf`	Human-human haptic collaboration in cyclical Fitts' tasks. IROS Sommer Gentry, Eric Feron, Roderick Murray-Smith
2005	C	`conf`	Influence of a slowdown warning system on a multi-vehicle stream. ACC Animesh Chakravarthy, KyungYeol Song, Eric Feron
2005	J	`jnl`	Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Trans. Robotics Emilio Frazzoli, Munther A. Dahleh, Eric Feron
2005	—	`conf`	Modeling, Optimization and Computation for Software Verification. HSCC Mardavij Roozbehani, Eric Feron, Alexandre Megretski
2005	C	`conf`	Randomized path planning with deceptive strategies. ACC Philip Root, Jan De Mot, Eric Feron
2005	C	`conf`	Spatial distribution statistics for two-agent optimal navigation with cone-shaped local observation. ACC Jan De Mot, Eric Feron
2005	J	`jnl`	Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance. IEEE Trans. Intell. Transp. Syst. Zhi-Hong Mao, David Dugail, Eric Feron, Karl Bilimoria
2004	—	`conf`	A passive sensor for position and attitude estimation using an interferometric target. CDC Eric Feron, James Paduano
2004	—	`conf`	A slowdown warning system for automobiles. SMC (4) Animesh Chakravarthy, KyungYeol Song, Eric Feron
2004	—	`conf`	An Internet based laboratory for control of a safety critical system. SMC (3) Mariya Ishutkina, Eric Feron, Marco Casini, Antonio Vicino
2004	J	`jnl`	Hybrid Model for Trajectory Planning of Agile Autonomous Vehicles. J. Aerosp. Comput. Inf. Commun. Tom Schouwenaars, Bernard Mettler, Eric Feron, Jonathan P. How
2004	—	`conf`	Modeling musically meaningful choreography. SMC (4) Sommer Elizabeth Gentry, Eric Feron
2004	—	`conf`	Multiple model estimation for improving conflict detection algorithms. SMC (1) Lee C. Yang, Ji Hyun Yang, Eric Feron
2004	—	`conf`	Musicality experiments in lead and follow dance. SMC (1) Sommer Gentry, Eric Feron
2004	C	`conf`	Receding horizon path planning with implicit safety guarantees. ACC Tom Schouwenaars, Jonathan P. How, Eric Feron
2003	J	`jnl`	Optimization - Based Analysis of Collaborative Airport Arrival Planning. Transp. Sci. Kari Andersson, William Hall, Stephen Atkins, Eric Feron
2003	C	`conf`	Robust motion planning using a maneuver automation with built-in uncertainties. ACC Tom Schouwenaars, Bernard Mettler, Eric Feron, Jonathan P. How
2003	—	`conf`	Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron
2003	—	`conf`	Spatial distribution of two-agent clusters for efficient navigation. CDC Jan De Mot, Eric Feron
2002	—	`conf`	Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter. ISER Vladislav Gavrilets, Ioannis Martinos, Bernard Mettler, Eric Feron
2002	C	`conf`	Modeling and control of airport queueing dynamics under severe flow restrictions. ACC Francis R. Carr, Antony Evans, John-Paul Clarke, Eric Feron
2002	—	`conf`	Spatial distribution results for efficient multi-agent navigation. CDC Jan De Mot, Vishwesh Kulkarni, Sommer Gentry, Eric Feron
2002	C	`conf`	Stability of intersecting aircraft flows using heading change maneuvers for conflict avoidance. ACC David Dugail, Eric Feron, Karl Bilimoria
2001	J	`jnl`	Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach. Int. J. Robotics Res. Vladislav Gavrilets, Emilio Frazzoli, Bernard Mettler, M. Piedmonte, Eric Feron
2001	C	`conf`	Dynamic inverse optimization. ACC Sommer Gentry, Venkatesh Saligrama, Eric Feron
2001	—	`conf`	Mixed integer programming for multi-vehicle path planning. ECC Tom Schouwenaars, Bart De Moor, Eric Feron, Jonathan P. How
2001	C	`conf`	Real-time motion planning for agile autonomous vehicles. ACC Emilio Frazzoli, Munther A. Dahleh, Eric Feron
2001	J	`jnl`	Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules. IEEE Trans. Intell. Transp. Syst. Zhi-Hong Mao, Eric Feron, Karl Bilimoria
2001	C	`conf`	Stability and performance of intersecting aircraft flows under sequential conflict resolution. ACC Zhi-Hong Mao, Eric Feron
2000	J	`jnl`	A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees. IEEE Trans. Autom. Control. Marc W. McConley, Brent D. Appleby, Munther A. Dahleh, Eric Feron
2000	—	`conf`	Robust hybrid control for autonomous vehicle motion planning. CDC Emilio Frazzoli, Munther A. Dahleh, Eric Feron
2000	C	`conf`	Trajectory tracking control design for autonomous helicopters using a backstepping algorithm. ACC Emilio Frazzoli, Munther A. Dahleh, Eric Feron
1997	J	`jnl`	A more reliable robust stability indicator for linear systems subject to parametric uncertainties. IEEE Trans. Autom. Control. Eric Feron
1996	J	`jnl`	Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions. IEEE Trans. Autom. Control. Eric Feron, Pierre Apkarian, Pascal Gahinet