Eric Feron

According to our database1, Eric Feron authored at least 116 papers between 1994 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

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

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

Monitor-Based Runtime Assurance for Temporal Logic Specifications.
CoRR, 2019

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Foundations of Intelligent Additive Manufacturing.
CoRR, 2017

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

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

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

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

2016
Multimodal Impact Analysis of an Airside Catastrophic Event: A Case Study of the Asiana Crash.
IEEE Trans. Intelligent Transportation Systems, 2016

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

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

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

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

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

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

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

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

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

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

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

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

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

2014
Impact of Gate Assignment on Departure Metering.
IEEE Trans. Intelligent Transportation Systems, 2014

Compact Configuration of Aircraft Flows at Intersections.
IEEE Trans. Intelligent Transportation Systems, 2014

Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations.
IEEE Trans. Intelligent Transportation Systems, 2014

Credible Autocoding of Convex Optimization Algorithms.
CoRR, 2014

Anatomy of a Crash.
CoRR, 2014

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

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

2013
Reliably Creating Collision Avoidance Advisories in Piloted Simulations.
IEEE Trans. Human-Machine Systems, 2013

Optimization of Lyapunov Invariants in Verification of Software Systems.
IEEE Trans. Automat. Contr., 2013

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

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

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

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

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

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

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

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

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

2012
Optimizing Pushback Decisions to Valuate Airport Surface Surveillance Information.
IEEE Trans. Intelligent Transportation Systems, 2012

On the Dubins Traveling Salesman Problem.
IEEE Trans. Automat. Contr., 2012

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

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

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

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

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

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

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

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

2011
Influence of Aircraft Maneuver Preference Variability on Airspace Usage.
IEEE Trans. Intelligent Transportation Systems, 2011

Trajectory Clustering and an Application to Airspace Monitoring.
IEEE Trans. Intelligent Transportation Systems, 2011

Scheduling Continuous-Time Kalman Filters.
IEEE Trans. Automat. Contr., 2011

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

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

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

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

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

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

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

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

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

2009
Detection of Driver Fatigue Caused by Sleep Deprivation.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Preventing Automotive Pileup Crashes in Mixed-Communication Environments.
IEEE Trans. Intelligent Transportation Systems, 2009

Using Ellipsoidal Domains to Analyze Control Systems Software
CoRR, 2009

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

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

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

Scheduling Kalman Filters in Continuous Time
CoRR, 2008

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

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

Graceful Degradation of Air Traffic Operations
CoRR, 2008

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

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

2007
Space Partition for Conflict Resolution of Intersecting Flows of Mobile Agents.
IEEE Trans. Intelligent Transportation Systems, 2007

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

Certifying controls and systems software
CoRR, 2007

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

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

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

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

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

Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance.
IEEE Trans. Intelligent Transportation Systems, 2005

Evaluation of Improved Pushback Forecasts Derived from Airline Ground Operations Data.
JACIC, 2005

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

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

2004
Hybrid Model for Trajectory Planning of Agile Autonomous Vehicles.
JACIC, 2004

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

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

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

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

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

2003
Optimization - Based Analysis of Collaborative Airport Arrival Planning.
Transportation Science, 2003

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

2002
Conflict resolution problems for air traffic management systems solved with mixed integer programming.
IEEE Trans. Intelligent Transportation Systems, 2002

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

2001
Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules.
IEEE Trans. Intelligent Transportation Systems, 2001

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

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

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


  Loading...