![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Eric Feron
Person information
- affiliation: King Abdullah University of Science and Technology (KAUST), Saudi Arabia
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j45]Geoffrey Scozzaro
, Catherine Mancel, Daniel Delahaye, Eric Feron
:
An ILP approach for tactical flight rescheduling during airport access mode disruptions. Int. Trans. Oper. Res. 31(3): 1426-1457 (2024) - [j44]Matthew Abate
, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips
, Kendra Lang, Panagiotis Tsiotras
, Eric Feron
, Samuel Coogan
:
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. IEEE Trans. Control. Syst. Technol. 32(3): 862-873 (2024) - [c92]Renzo Caballero, Piotr Piekos, Eric Feron, Jürgen Schmidhuber:
Utilizing a Malfunctioning 3D Printer by Modeling Its Dynamics with Machine Learning. ICRA 2024: 15562-15569 - [i63]Hassan Abdelraouf, Eric Feron, Jeff S. Shamma:
Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems. CoRR abs/2401.13128 (2024) - [i62]Mohannad Alhakami, Dylan R. Ashley, Joel Dunham, Francesco Faccio, Eric Feron, Jürgen Schmidhuber:
Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms. CoRR abs/2404.08093 (2024) - 2023
- [j43]Renzo Caballero
, Eric Feron
:
Study of Fixed-Points in the Self-Repair Process of a 3-D Printer. IEEE Control. Syst. Lett. 7: 1057-1062 (2023) - [j42]Andréas Guitart
, Daniel Delahaye, Félix Mora-Camino, Eric Feron
:
Collaborative Generation of Local Conflict Free Trajectories With Weather Hazards Avoidance. IEEE Trans. Intell. Transp. Syst. 24(11): 12831-12842 (2023) - [j41]Hanqing Zhu
, Sean Wilson
, Eric Feron
:
The Design, Education and Evolution of a Robotic Baby. IEEE Trans. Robotics 39(3): 2488-2507 (2023) - [c91]Renzo Caballero, Angelica Coronado, Eric Feron
:
Role of Feedback in the Asymptotic Self-Repair Behavior of a 3D Printer. ACC 2023: 2925-2932 - [c90]Renzo Caballero, Angelica Coronado, Eric Feron
:
Computational Modeling in System with Non-Circular Timing Pulleys. ICRA 2023: 9714-9720 - [c89]Obadah Wali
, Mohamad T. Shahab, Eric Feron
:
A Non-planar Assembly of Modular Tetrahedral-shaped Aerial Robots. ICRA 2023: 11901-11907 - [c88]Jean-Claude Lebègue, Andréas Guitart
, Céline Demouge, Daniel Delahaye, Jacco M. Hoekstra, Eric Feron
:
Aircraft Cruise Alternative Trajectories Generation: A Mixed RRG-Clustering Approach. INTSYS 2023: 34-50 - [i61]Hassan Abdelraouf, Eric Feron, Jeff S. Shamma:
Algebraic Lyapunov Functions for Homogeneous Dynamic Systems. CoRR abs/2303.02185 (2023) - 2022
- [j40]Karnika Biswas, Indrani Kar, Eric Feron
:
A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space. Int. J. Syst. Sci. 53(1): 138-153 (2022) - [j39]Karnika Biswas
, Indrani Kar, Eric Feron
:
Intent-Aware Optimal Collision Avoidance and Trajectory Planning for a Pursuit Vehicle. Robotica 40(8): 2505-2526 (2022) - [j38]Thanakorn Khamvilai
, John B. Mains, Louis Sutter, Aqib A. Syed, Philippe Baufreton, François Neumann, Eric Feron
:
Design of Avionics Network Architecture Under a Reliability Constraint. IEEE Trans. Aerosp. Electron. Syst. 58(3): 2327-2338 (2022) - [c87]Mohamad T. Shahab, Kévin Garanger, Eric Feron
:
Control of an Assembly of Aerial Vehicles Under Uncertainty. ACC 2022: 514-519 - [c86]Renzo Caballero, Eric Feron
:
Experiments in Robotic Self-Repair: A 3D Printer Repairs Its Own Timing Pulley. ACC 2022: 3702-3709 - [c85]Yasmine Marani, Kuat Telegenov
, Eric Feron
, Taous-Meriem Laleg-Kirati:
Drone reference tracking in a non-inertial frame using sliding mode control based Kalman filter with unknown input. CCTA 2022: 9-16 - [c84]Hassan Abdelraouf, Fahad Albalawi, Eric Feron
:
On Linear Time Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach. CCTA 2022: 989-994 - [c83]Abdulaziz Yaslam
, Eric Feron
:
Exploration of Mandibular Inputs for Human-Machine Interfaces. SMC 2022: 46-51 - [i60]Hassan Abdelraouf, Gidado-Yisa Immanuel, Eric Feron:
Computing Bounds on L∞-induced Norm for Linear Time-Invariant Systems Using Homogeneous Lyapunov Functions. CoRR abs/2203.00716 (2022) - [i59]Eder Baron-Prada, Renzo Caballero, Eric Feron:
From Observability to Observer Realization: A path via elementary block-diagram manipulations. CoRR abs/2208.12691 (2022) - 2021
- [j37]Joel Dunham
, Eric Johnson, Eric Feron
, Brian J. German:
Application of Dempster-Shafer Networks to a Real-Time Unmanned Systems Risk Analysis Framework. J. Aerosp. Inf. Syst. 18(9): 616-631 (2021) - [j36]Thanakorn Khamvilai
, Louis Sutter, Philippe Baufreton, François Neumann, Eric Feron
:
Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application. J. Optim. Theory Appl. 191(2): 874-898 (2021) - [c82]Corbin Klett, Matthew Abate
, Samuel Coogan
, Eric Feron
:
A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC 2021: 864-869 - [c81]Gidado-Yisa Immanuel, Matthew Abate
, Eric Feron
:
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems. ACC 2021: 2309-2314 - [c80]Matthew Abate
, Corbin Klett, Samuel Coogan
, Eric Feron
:
Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. ACC 2021: 3550-3555 - [c79]Clara Buire, Geoffrey Scozzaro, Aude Marzuoli, Eric Feron
, Daniel Delahaye:
A Year Into the Pandemic: a Passenger Perspective on its Impact at Paris-Charles de Gaulle Airport. IEEE BigData 2021: 2925-2935 - [c78]Matthew Abate, Mark Mote, Eric Feron
, Samuel Coogan
:
Verification and runtime assurance for dynamical systems with uncertainty. HSCC 2021: 11:1-11:10 - [i58]Philippe Monmousseau, Aude Marzuoli, Eric Feron, Daniel Delahaye:
Analyzing and comparing door-to-door travel times for air transportation using aggregated Uber data. CoRR abs/2101.08852 (2021) - [i57]Hassan Abdelraouf, Fahad Albalawi, Eric Feron
:
On Linear Time-Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach. CoRR abs/2109.10198 (2021) - [i56]Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
:
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR abs/2110.03506 (2021) - 2020
- [j35]Thomas Gurriet
, Mark Mote, Andrew Singletary
, Petter Nilsson
, Eric Feron
, Aaron D. Ames
:
A Scalable Safety Critical Control Framework for Nonlinear Systems. IEEE Access 8: 187249-187275 (2020) - [j34]Raphael Cohen, Eric Feron, Pierre-Loïc Garoche:
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. J. Aerosp. Inf. Syst. 17(5): 257-270 (2020) - [j33]Joel Dunham
, Eric Johnson, Eric Feron
, Brian J. German:
Automatic Updates of Transition Potential Matrices in Dempster-Shafer Networks Based on Evidence Inputs. Sensors 20(13): 3727 (2020) - [j32]Kévin Garanger
, Thanakorn Khamvilai, Eric Feron
:
Validating Feedback Control to Meet Stiffness Requirements in Additive Manufacturing. IEEE Trans. Control. Syst. Technol. 28(5): 2053-2060 (2020) - [c77]Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan
, Eric Feron:
Bounding the State Covariance Matrix for Switched Linear Systems with Noise. ACC 2020: 2876-2881 - [c76]Matthew Abate, Corbin Klett, Samuel Coogan
, Eric Feron:
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. ACC 2020: 5322-5327 - [i55]Kévin Garanger, Jeremy Epps, Eric Feron
:
Modeling and Experimental Validation of a Fractal Tetrahedron UAS Assembly. CoRR abs/2003.07007 (2020) - [i54]Philippe Monmousseau, Aude Marzuoli, Eric Feron, Daniel Delahaye:
Putting the Air Transportation System to sleep: a passenger perspective measured by passenger-generated data. CoRR abs/2004.14372 (2020) - [i53]Raphaël Cohen, Eric Feron, Pierre-Loïc Garoche:
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. CoRR abs/2005.12588 (2020) - [i52]Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron:
Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. CoRR abs/2009.00727 (2020) - [i51]Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
:
A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR abs/2012.02874 (2020)
2010 – 2019
- 2019
- [j31]Aude Marzuoli, Emmanuel Boidot, Eric Feron, Ashok N. Srivastava:
Implementing and Validating Air Passenger-Centric Metrics Using Mobile Phone Data. J. Aerosp. Inf. Syst. 16(4): 132-147 (2019) - [c75]Matthew Abate, Eric Feron, Samuel Coogan
:
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CDC 2019: 1997-2002 - [c74]Thomas Gurriet, Mark Mote, Andrew Singletary, Eric Feron, Aaron D. Ames
:
A Scalable Controlled Set Invariance Framework with Practical Safety Guarantees. CDC 2019: 2046-2053 - [i50]Yongeun Yoon, Corbin Klett, Eric Feron:
Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise. CoRR abs/1905.09427 (2019) - [i49]Kévin Garanger, Thanakorn Khamvilai, Eric Feron:
Additive manufacturing for high precision structural properties via feedback control. CoRR abs/1905.10411 (2019) - [i48]Matthew Abate, Samuel Coogan, Eric Feron:
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. CoRR abs/1906.04810 (2019) - [i47]Matthew Abate, Eric Feron, Samuel Coogan:
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CoRR abs/1908.03284 (2019) - [i46]Jeremy Epps, Eric Feron, Mark Mote:
Modeling and Experimental Validation of the Mechanics of a Wheeled Non-Holonomic Robot Capable of Enabling Homeostasis. CoRR abs/1909.11653 (2019) - [i45]Thanakorn Khamvilai, Louis Sutter, Eric Feron, Philippe Baufreton, François Neumann:
Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications. CoRR abs/1910.06313 (2019) - [i44]Juan-Pablo Afman, Eric Feron, Mitchell Walker:
A full scale atmospheric flight experimental research environment for the Mars helicopter. CoRR abs/1910.09290 (2019) - 2018
- [c73]Juan-Pablo Afman, Eric Feron, John Hauser:
Triple-Integral Control for Reduced-G Atmospheric Flight. ACC 2018: 392-397 - [c72]Kévin Garanger, Thanakorn Khamvilai, Eric Feron:
3D Printing of a Leaf Spring: A Demonstration of Closed-Loop Control in Additive Manufacturing. CCTA 2018: 465-470 - [c71]Juan-Pablo Afman, Eric Feron, John Hauser:
Nonlinear Maneuver Regulation for Reduced-G Atmospheric Flight. CDC 2018: 731-736 - [c70]Raphael Cohen, Eric Feron, Pierre-Loïc Garoche:
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs. CDC 2018: 3585-3591 - [c69]Thomas Gurriet, Mark Mote, Aaron D. Ames
, Eric Feron:
An Online Approach to Active Set Invariance. CDC 2018: 3592-3599 - [c68]Kwassi Holali Degue, Denis V. Efimov, Jerome Le Ny, Eric Feron:
Interval Observers for Secure Estimation in Cyber-Physical Systems. CDC 2018: 4559-4564 - [c67]Thomas Gurriet, Andrew Singletary, Jacob Reher, Laurent Ciarletta, Eric Feron, Aaron D. Ames
:
Towards a framework for realizable safety critical control through active set invariance. ICCPS 2018: 98-106 - [c66]Aude Marzuoli, Philippe Monmousseau, Eric Feron:
Passenger-Centric Metrics for Air Transportation Leveraging Mobile Phone and Twitter Data. ICDM Workshops 2018: 588-595 - [c65]Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
:
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. LPAR 2018: 290-306 - [i43]Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion:
Formal verification of an interior point algorithm instanciation. CoRR abs/1801.03833 (2018) - [i42]Juan-Pablo Afman, Laurent Ciarletta, Eric Feron, John Franklin, Thomas Gurriet, Eric N. Johnson:
Towards a New Paradigm of UAV Safety. CoRR abs/1803.09026 (2018) - [i41]Kévin Garanger, Thanakorn Khamvilai, Eric Feron:
3D printing of a leaf spring: A demonstration of closed-loop control in additive manufacturing. CoRR abs/1805.02765 (2018) - 2017
- [c64]Lichun Li
, John-Paul Clarke, Eric Feron, Jeff S. Shamma
:
Robust Trajectory Option Set planning in CTOP based on Bayesian game model. ACC 2017: 4601-4606 - [c63]Mark Mote, Juan-Pablo Afman, Eric Feron:
Robotic trajectory planning through collisional interaction. CDC 2017: 1144-1149 - [c62]Daniel Pickem, Paul Glotfelter, Li Wang, Mark Mote, Aaron D. Ames
, Eric Feron, Magnus Egerstedt:
The Robotarium: A remotely accessible swarm robotics research testbed. ICRA 2017: 1699-1706 - [i40]Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs:
Foundations of Intelligent Additive Manufacturing. CoRR abs/1705.00960 (2017) - [i39]Juan-Pablo Afman, Mark Mote, Eric Feron:
Motion Rectification for an Homeostasis-Enabling Wheel. CoRR abs/1705.04399 (2017) - [i38]Juan-Pablo Afman, Eric Feron, John Hauser:
Maneuver Regulation for Accelerating Bodies in Atmospheric Environments. CoRR abs/1708.01838 (2017) - 2016
- [j30]Aude Marzuoli, Emmanuel Boidot, Eric Feron, Paul B. C. van Erp, Alexis Ucko, Alexandre M. Bayen, Mark Hansen:
Multimodal Impact Analysis of an Airside Catastrophic Event: A Case Study of the Asiana Crash. IEEE Trans. Intell. Transp. Syst. 17(2): 587-604 (2016) - [j29]Aude Marzuoli, Emmanuel Boidot, Pablo Colomar, Mathieu Guerpillon, Eric Feron, Alexandre M. Bayen, Mark Hansen:
Improving Disruption Management With Multimodal Collaborative Decision-Making: A Case Study of the Asiana Crash and Lessons Learned. IEEE Trans. Intell. Transp. Syst. 17(10): 2699-2717 (2016) - [c61]Tansel Yucelen, Wassim M. Haddad, Eric M. Feron:
Adaptive control architectures for mitigating sensor attacks in cyber-physical systems. ACC 2016: 1165-1170 - [c60]Lichun Li
, Eric Feron, Jeff S. Shamma
:
Finite stage asymmetric repeated games: Both players' viewpoints. CDC 2016: 5310-5315 - [c59]Thomas Gurriet, Mark L. Mote, Aaron D. Ames
, Eric Feron:
Establishing trust in remotely reprogrammable systems. HCI-Aero 2016: 19:1-19:4 - [c58]Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron:
Formal Analysis of Robustness at Model and Code Level. HSCC 2016: 125-134 - [c57]Emmanuel Boidot, Aude Marzuoli, Eric Feron:
Optimal navigation policy for an autonomous agent operating in adversarial environments. ICRA 2016: 3154-3160 - [i37]Daniel Pickem, Li Wang, Paul Glotfelter, Yancy Diaz-Mercado, Mark Mote, Aaron D. Ames, Eric Feron, Magnus Egerstedt:
Safe, Remote-Access Swarm Robotics Research on the Robotarium. CoRR abs/1604.00640 (2016) - [i36]Daniel Pickem, Paul Glotfelter, Li Wang, Mark Mote, Aaron D. Ames, Eric Feron, Magnus Egerstedt:
The Robotarium: A remotely accessible swarm robotics research testbed. CoRR abs/1609.04730 (2016) - [i35]Mark L. Mote, Juan-Pablo Afman, Eric Feron:
A Framework for Collision-Tolerant Optimal Trajectory Planning of Autonomous Vehicles. CoRR abs/1611.07608 (2016) - [i34]Juan-Pablo Afman, John Franklin, Mark L. Mote, Thomas Gurriet, Eric Feron:
On the Design and Optimization of an Autonomous Microgravity Enabling Aerial Robot. CoRR abs/1611.07650 (2016) - [i33]Emmanuel Boidot, Aude Marzuoli, Eric Feron:
Discrete and Continuous ambush games: optimal policies and approximate solutions. CoRR abs/1612.02135 (2016) - 2015
- [c56]Emmanuel Boidot, Aude Marzuoli, Eric Feron:
Optimal Planning Strategy for Ambush Avoidance. AAAI Workshop: AI for Transportation 2015 - [c55]Marilyn Wolf, Eric Feron:
What don't we know about CPS architectures? DAC 2015: 80:1-80:4 - [i32]Harold Nikoue, Aude Marzuoli, John-Paul Clarke, Eric Feron, Jim Peters:
Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach. CoRR abs/1508.04839 (2015) - 2014
- [j28]Sang Hyun Kim
, Eric Feron:
Impact of Gate Assignment on Departure Metering. IEEE Trans. Intell. Transp. Syst. 15(2): 699-709 (2014) - [j27]Pierrick Burgain, Sang Hyun Kim
, Eric Feron:
Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations. IEEE Trans. Intell. Transp. Syst. 15(2): 710-722 (2014) - [j26]Shimeng Huang, Eric Feron, Gregory Reed, Zhi-Hong Mao:
Compact Configuration of Aircraft Flows at Intersections. IEEE Trans. Intell. Transp. Syst. 15(2): 771-783 (2014) - [c54]Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux, Eric M. Feron:
Credible autocoding of fault detection observers. ACC 2014: 672-677 - [i31]Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion:
Credible Autocoding of Convex Optimization Algorithms. CoRR abs/1403.1861 (2014) - [i30]Emmanuel Boidot, Aude Marzuoli, Eric Feron:
A Complete framework for ambush avoidance in realistic environments. CoRR abs/1408.6127 (2014) - [i29]Aude Marzuoli, Emmanuel Boidot, Eric Feron, Paul B. C. van Erp, Alexis Ucko, Alexandre M. Bayen, Mark Hansen:
Anatomy of a Crash. CoRR abs/1410.4256 (2014) - 2013
- [j25]Mardavij Roozbehani, Alexandre Megretski, Eric Feron:
Optimization of Lyapunov Invariants in Verification of Software Systems. IEEE Trans. Autom. Control. 58(3): 696-711 (2013) - [j24]Vlad Popescu, William P. Cleveland, Emmanuel Boidot, Amy R. Pritchett, Eric Feron, Jonathan J. Zoetrum:
Reliably Creating Collision Avoidance Advisories in Piloted Simulations. IEEE Trans. Hum. Mach. Syst. 43(4): 416-420 (2013) - [i28]Sang Hyun Kim, Eric Feron, John-Paul Clarke, Aude Marzuoli, Daniel Delahaye:
Airport Gate Scheduling for Passengers, Aircraft, and Operation. CoRR abs/1301.3535 (2013) - [i27]Pierrick Burgain, Sang Hyun Kim, Eric Feron:
Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations. CoRR abs/1306.3426 (2013) - [i26]Sang Hyun Kim, Eric Feron:
Impact of Gate Assignment on Gate-Holding Departure Control Strategies. CoRR abs/1306.3429 (2013) - [i25]Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel:
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR abs/1307.2641 (2013) - [i24]Timothy Wang, Eric Feron:
Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller. CoRR abs/1308.5964 (2013) - [i23]Sang Hyun Kim, Eric Feron:
Numerical Analysis of Gate Conflict Duration and Passenger Transit Time in Airport. CoRR abs/1308.6217 (2013) - [i22]Alireza Esna Ashari, Eric Feron:
Formally expressing the semantics of observer-based fault detection software. CoRR abs/1309.1485 (2013) - [i21]Raphael Cohen, David Miculescu, Kevin Reilley, Mehrdad Pakmehr, Eric Feron:
Online Performance Optimization of a DC Motor Driving a Variable Pitch Propeller. CoRR abs/1310.0133 (2013) - [i20]Derya Aksaray, Ahmet Yasin Yazicioglu, Eric Feron, Dimitri N. Mavris:
A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal. CoRR abs/1311.0244 (2013) - [i19]Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux, Martin Vivies, Eric Feron:
Verifiable Control System Development for Gas Turbine Engines. CoRR abs/1311.1885 (2013) - [i18]Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux, Eric M. Feron:
Credible Autocoding of Fault Detection Observers. CoRR abs/1311.2064 (2013) - 2012
- [j23]Jerome Le Ny, Eric Feron, Emilio Frazzoli:
On the Dubins Traveling Salesman Problem. IEEE Trans. Autom. Control. 57(1): 265-270 (2012) - [j22]Mazen Farhood, Eric Feron:
Obstacle-Sensitive Trajectory Regulation via Gain Scheduling and Semidefinite Programming. IEEE Trans. Control. Syst. Technol. 20(4): 1107-1115 (2012) - [j21]Pierrick Burgain, Olivia J. Pinon, Eric Feron, John-Paul Clarke, Dimitri N. Mavris
:
Optimizing Pushback Decisions to Valuate Airport Surface Surveillance Information. IEEE Trans. Intell. Transp. Syst. 13(1): 180-192 (2012) - [c53]Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron:
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC 2012: 1816-1821 - [c52]Aude Marzuoli, Christophe Hurter
, Eric Feron:
Data visualization techniques for airspace flow modeling. CIDU 2012: 79-86 - [c51]Eric Feron:
Formal methods for aerospace applications. FMCAD 2012: 3 - [c50]Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron:
A generic ellipsoid abstract domain for linear time invariant systems. HSCC 2012: 105-114 - [c49]Shimeng Huang, Eric Feron, Zhi-Hong Mao:
Optimal configuration for intersecting flows of aircraft. ITSC 2012: 1447-1452 - [c48]Eric Feron:
Model-Based Auto Coding of Embedded Control Software with Full Semantics. MEDI 2012: 2 - [c47]Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz:
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods 2012: 147-161 - [c46]Emmanuel Boidot, Eric Feron:
Planning random path distributions for ambush games in unstructured environments. SSRR 2012: 1-6 - [i17]Emmanuel Boidot, Eric Feron:
Planning Random path distributions for ambush games in unstructured environments. CoRR abs/1208.5537 (2012) - 2011
- [j20]Jerome Le Ny, Eric Feron, Munther A. Dahleh:
Scheduling Continuous-Time Kalman Filters. IEEE Trans. Autom. Control. 56(6): 1381-1394 (2011) - [j19]Mircea Lupu, Eric Feron, Zhi-Hong Mao:
Influence of Aircraft Maneuver Preference Variability on Airspace Usage. IEEE Trans. Intell. Transp. Syst. 12(4): 1446-1461 (2011) - [j18]Maxime Gariel, Ashok N. Srivastava, Eric Feron:
Trajectory Clustering and an Application to Airspace Monitoring. IEEE Trans. Intell. Transp. Syst. 12(4): 1511-1524 (2011) - [c45]Troy Hand, Zhi-Hong Mao, Eric Feron:
Stability of spatially distributed, intersecting aircraft flows under sequential conflict resolution schemes. ACC 2011: 2168-2173 - [c44]Adan Vela, Erwan Salaün, Eric Feron, William Singhose, John-Paul Clarke:
Bounds on Controller Taskload Rates at an Intersection for Dense Traffic. ACC 2011: 2745-2751 - [c43]Jerome Le Ny, Eric Feron, George J. Pappas
:
Resource constrained LQR control under fast sampling. HSCC 2011: 271-280 - [i16]Erwan Salaün, Maxime Gariel, Adan Vela, Eric Feron:
Aircraft Proximity Maps Based on Data-Driven Flow Modeling. CoRR abs/1101.4957 (2011) - [i15]Vlad Popescu, John-Paul Clarke, Karen M. Feigh, Eric Feron:
ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors. CoRR abs/1102.1660 (2011) - [i14]Pierrick Burgain, Eric Feron:
Environmental benefits of enhanced surveillance technology on airport departure operations. CoRR abs/1102.2673 (2011) - [i13]Mardavij Roozbehani, Alexandre Megretski, Eric Feron:
Optimization of Lyapunov Invariants in Verification of Software Systems. CoRR abs/1108.0170 (2011) - [i12]Timothy Wang, Romain Jobredeaux, Eric Feron:
A graphical environment to express the semantics of control systems. CoRR abs/1108.4048 (2011) - [i11]Mardavij Roozbehani, Alexandre Megretski, Eric Feron:
Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version). CoRR abs/1108.5622 (2011) - 2010
- [j17]Ahmed Abdallah, Eric M. Feron, Graham R. Hellestrand, Philip J. Koopman Jr., Marilyn Wolf:
Hardware/Software Codesign of Aerospace and Automotive Systems. Proc. IEEE 98(4): 584-602 (2010) - [c42]Adan Vela, Erwan Salaün, Maxime Gariel, Eric Feron, John-Paul Clarke, William Singhose:
Determining bounds on controller workload rates at an intersection. ACC 2010: 3063-3068 - [c41]Mircea Lupu, Eric Feron, Zhi-Hong Mao:
Traffic complexity of intersecting flows of aircraft under variations of pilot preferences in maneuver choice. CDC 2010: 1189-1194 - [c40]Adan Vela, Erwan Salaün, Eric Feron, John-Paul Clarke, William E. Singhose:
Maximizing throughput at an intersection under constrained maneuvers. CDC 2010: 1207-1214 - [i10]Maxime Gariel, Ashok N. Srivastava, Eric Feron:
Trajectory Clustering and an Application to Airspace Monitoring. CoRR abs/1001.5007 (2010)
2000 – 2009
- 2009
- [j16]Animesh Chakravarthy, KyungYeol Song, Eric Feron:
Preventing Automotive Pileup Crashes in Mixed-Communication Environments. IEEE Trans. Intell. Transp. Syst. 10(2): 211-225 (2009) - [j15]Ji Hyun Yang, Zhi-Hong Mao, Louis Tijerina, Tom Pilutti, Joseph F. Coughlin, Eric Feron:
Detection of Driver Fatigue Caused by Sleep Deprivation. IEEE Trans. Syst. Man Cybern. Part A 39(4): 694-705 (2009) - [c39]Mazen Farhood, Eric Feron:
A parameter-dependent Lyapunov approach for the control of nonstationary and hybrid LPV systems. ACC 2009: 3742-3747 - [c38]Jerome Le Ny, Eric Feron, Munther A. Dahleh:
Scheduling Kalman filters in continuous time. ACC 2009: 3799-3805 - [i9]Fernando Alegre, Eric Feron, Santosh Pande:
Using Ellipsoidal Domains to Analyze Control Systems Software. CoRR abs/0909.1977 (2009) - 2008
- [j14]Maxime Gariel, Eric Feron:
Graceful Degradation of Air Traffic Operations: Airspace Sensitivity to Degraded Surveillance Systems. Proc. IEEE 96(12): 2028-2039 (2008) - [c37]Jerome Le Ny, Munther A. Dahleh, Eric Feron:
Multi-UAV dynamic routing with partial observations using restless bandit allocation indices. ACC 2008: 4220-4225 - [c36]Jerome Le Ny, Munther A. Dahleh, Eric Feron, Emilio Frazzoli:
Continuous path planning for a data harvesting mobile server. CDC 2008: 1489-1494 - [c35]Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron:
Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC 2008: 443-456 - [p1]Eric Feron, Eric N. Johnson:
Aerial Robotics. Springer Handbook of Robotics 2008: 1009-1029 - [i8]Maxime Gariel, Eric Feron:
Graceful Degradation of Air Traffic Operations. CoRR abs/0801.4750 (2008) - [i7]Pierrick Burgain, Eric Feron, John-Paul Clarke:
Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis. CoRR abs/0807.0661 (2008) - [i6]Eric Feron, Fernando Alegre:
Control software analysis, Part I Open-loop properties. CoRR abs/0809.4812 (2008) - [i5]Jerome Le Ny, Eric Feron, Munther A. Dahleh:
Scheduling Kalman Filters in Continuous Time. CoRR abs/0810.5148 (2008) - [i4]Eric Feron, Fernando Alegre:
Control software analysis, part II: Closed-loop analysis. CoRR abs/0812.1986 (2008) - 2007
- [j13]Zhi-Hong Mao, David Dugail, Eric Feron:
Space Partition for Conflict Resolution of Intersecting Flows of Mobile Agents. IEEE Trans. Intell. Transp. Syst. 8(3): 512-527 (2007) - [c34]Keumjin Lee, Eric Feron, Amy R. Pritchett:
Air Traffic Complexity: An Input-Output Approach. ACC 2007: 474-479 - [c33]Mardavij Roozbehani, Alexandre Megretski, Eric Feron:
Optimal Fixed-Point Implementation of Digital Filters. ACC 2007: 3565-3569 - [c32]Jerome Le Ny, Eric Feron:
Performance evaluation of a multi-agent risk-sensitive tracking system. CDC 2007: 2464-2469 - [c31]Jerome Le Ny, Emilio Frazzoli, Eric Feron:
The curvature-constrained traveling salesman problem for high point densities. CDC 2007: 5985-5990 - [i3]S. Bayraktar, Eric Feron:
Experiments with small helicopter automated landings at unusual attitudes. CoRR abs/0709.1744 (2007) - [i2]Eric Feron, Mardavij Roozbehani:
Certifying controls and systems software. CoRR abs/cs/0701132 (2007) - [i1]Maxime Gariel, John-Paul Clarke, Eric Feron:
A Dynamic I/O Model for TRACON Traffic Management. CoRR abs/cs/0702019 (2007) - 2006
- [j12]Tom Schouwenaars, Andrew Stubbs, James Paduano, Eric Feron:
Multivehicle path planning for nonline-of-sight communication. J. Field Robotics 23(3-4): 269-290 (2006) - [c30]Jerome Le Ny, Eric Feron:
Restless bandits with switching costs: linear programming relaxations, performance bounds and limited lookahead policies. ACC 2006: 1-6 - [c29]Tom Schouwenaars, Eric Feron, Jonathan P. How:
Multi-vehicle path planning for non-line of sight communication. ACC 2006: 1-6 - [c28]Jerome Le Ny, Munther A. Dahleh, Eric Feron:
Multi-Agent Task Assignment in the Bandit Framework. CDC 2006: 5281-5286 - [c27]Mardavij Roozbehani, Alexandre Megretski, Eric Feron:
Safety Verification of Iterative Algorithms over Polynomial Vector Fields. CDC 2006: 6061-6067 - 2005
- [j11]Francis R. Carr, Georg Theis, John-Paul Clarke, Eric Feron:
Evaluation of Improved Pushback Forecasts Derived from Airline Ground Operations Data. J. Aerosp. Comput. Inf. Commun. 2(1): 25-43 (2005) - [j10]Zhi-Hong Mao, David Dugail, Eric Feron, Karl Bilimoria:
Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance. IEEE Trans. Intell. Transp. Syst. 6(4): 357-369 (2005) - [j9]Emilio Frazzoli, Munther A. Dahleh, Eric Feron:
Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Trans. Robotics 21(6): 1077-1091 (2005) - [c26]Mardavij Roozbehani, Alexandre Megretski, Eric Feron:
Convex optimization proves software correctness. ACC 2005: 1395-1400 - [c25]Philip Root, Jan De Mot, Eric Feron:
Randomized path planning with deceptive strategies. ACC 2005: 1551-1556 - [c24]Jan De Mot, Eric Feron:
Spatial distribution statistics for two-agent optimal navigation with cone-shaped local observation. ACC 2005: 1877-1882 - [c23]Animesh Chakravarthy, KyungYeol Song, Eric Feron:
Influence of a slowdown warning system on a multi-vehicle stream. ACC 2005: 2134-2140 - [c22]Mardavij Roozbehani, Eric Feron, Alexandre Megretski:
Modeling, Optimization and Computation for Software Verification. HSCC 2005: 606-622 - [c21]Sommer Gentry, Eric Feron, Roderick Murray-Smith
:
Human-human haptic collaboration in cyclical Fitts' tasks. IROS 2005: 3402-3407 - 2004
- [j8]Tom Schouwenaars, Bernard Mettler, Eric Feron, Jonathan P. How:
Hybrid Model for Trajectory Planning of Agile Autonomous Vehicles. J. Aerosp. Comput. Inf. Commun. 1(12): 629-651 (2004) - [c20]Tom Schouwenaars, Jonathan P. How, Eric Feron:
Receding horizon path planning with implicit safety guarantees. ACC 2004: 5576-5581 - [c19]Eric Feron, James Paduano:
A passive sensor for position and attitude estimation using an interferometric target. CDC 2004: 1663-1669 - [c18]Lee C. Yang, Ji Hyun Yang, Eric Feron:
Multiple model estimation for improving conflict detection algorithms. SMC (1) 2004: 242-249 - [c17]Sommer Gentry, Eric Feron:
Musicality experiments in lead and follow dance. SMC (1) 2004: 984-988 - [c16]Mariya Ishutkina, Eric Feron, Marco Casini, Antonio Vicino:
An Internet based laboratory for control of a safety critical system. SMC (3) 2004: 2707-2712 - [c15]Sommer Elizabeth Gentry, Eric Feron:
Modeling musically meaningful choreography. SMC (4) 2004: 3880-3885 - [c14]Animesh Chakravarthy, KyungYeol Song, Eric Feron:
A slowdown warning system for automobiles. SMC (4) 2004: 3962-3969 - 2003
- [j7]Kari Andersson, William Hall, Stephen Atkins, Eric Feron:
Optimization - Based Analysis of Collaborative Airport Arrival Planning. Transp. Sci. 37(4): 422-433 (2003) - [c13]Tom Schouwenaars, Bernard Mettler, Eric Feron, Jonathan P. How:
Robust motion planning using a maneuver automation with built-in uncertainties. ACC 2003: 2211-2216 - [c12]Jan De Mot, Eric Feron:
Spatial distribution of two-agent clusters for efficient navigation. CDC 2003: 1029-1034 - [c11]Sayan Mitra
, Yong Wang, Nancy A. Lynch, Eric Feron:
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC 2003: 343-358 - 2002
- [j6]Lucia Pallottino
, Eric M. Feron, Antonio Bicchi:
Conflict resolution problems for air traffic management systems solved with mixed integer programming. IEEE Trans. Intell. Transp. Syst. 3(1): 3-11 (2002) - [c10]David Dugail, Eric Feron, Karl Bilimoria:
Stability of intersecting aircraft flows using heading change maneuvers for conflict avoidance. ACC 2002: 760-766 - [c9]Francis R. Carr, Antony Evans, John-Paul Clarke, Eric Feron:
Modeling and control of airport queueing dynamics under severe flow restrictions. ACC 2002: 1314-1319 - [c8]Jan De Mot, Vishwesh Kulkarni, Sommer Gentry, Eric Feron:
Spatial distribution results for efficient multi-agent navigation. CDC 2002: 3776-3781 - [c7]Vladislav Gavrilets, Ioannis Martinos, Bernard Mettler, Eric Feron:
Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter. ISER 2002: 456-465 - 2001
- [j5]Vladislav Gavrilets, Emilio Frazzoli, Bernard Mettler, M. Piedmonte, Eric Feron:
Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach. Int. J. Robotics Res. 20(10): 795-807 (2001) - [j4]Zhi-Hong Mao, Eric Feron, Karl Bilimoria:
Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules. IEEE Trans. Intell. Transp. Syst. 2(2): 101-109 (2001) - [c6]Emilio Frazzoli, Munther A. Dahleh, Eric Feron:
Real-time motion planning for agile autonomous vehicles. ACC 2001: 43-49 - [c5]Zhi-Hong Mao, Eric Feron:
Stability and performance of intersecting aircraft flows under sequential conflict resolution. ACC 2001: 722-729 - [c4]Sommer Gentry, Venkatesh Saligrama
, Eric Feron:
Dynamic inverse optimization. ACC 2001: 4722-4727 - [c3]Tom Schouwenaars, Bart De Moor, Eric Feron, Jonathan P. How:
Mixed integer programming for multi-vehicle path planning. ECC 2001: 2603-2608 - 2000
- [j3]Marc W. McConley, Brent D. Appleby, Munther A. Dahleh, Eric Feron:
A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees. IEEE Trans. Autom. Control. 45(1): 33-49 (2000) - [c2]Emilio Frazzoli, Munther A. Dahleh, Eric Feron:
Trajectory tracking control design for autonomous helicopters using a backstepping algorithm. ACC 2000: 4102-4107 - [c1]Emilio Frazzoli, Munther A. Dahleh, Eric Feron:
Robust hybrid control for autonomous vehicle motion planning. CDC 2000: 821-826
1990 – 1999
- 1997
- [j2]Eric Feron:
A more reliable robust stability indicator for linear systems subject to parametric uncertainties. IEEE Trans. Autom. Control. 42(9): 1326-1330 (1997) - 1996
- [j1]Eric Feron, Pierre Apkarian, Pascal Gahinet:
Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions. IEEE Trans. Autom. Control. 41(7): 1041-1046 (1996) - 1994
- [b1]Stephen P. Boyd, Laurent El Ghaoui
, Eric M. Feron, Venkataramanan Balakrishnan:
Linear Matrix Inequalities in System and Control Theory. Studies in Applied Mathematics 15, SIAM 1994, ISBN 978-0-89871-485-2
Coauthor Index
aka: Mark L. Mote
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 19:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint