2008 |
23 | EE | Mardavij Roozbehani,
Alexandre Megretski,
Emilio Frazzoli,
Eric Feron:
Distributed Lyapunov Functions in Analysis of Graph Models of Software.
HSCC 2008: 443-456 |
22 | EE | Eric Feron,
Eric N. Johnson:
Aerial Robotics.
Springer Handbook of Robotics 2008: 1009-1029 |
21 | EE | Maxime Gariel,
Eric Feron:
Graceful Degradation of Air Traffic Operations
CoRR abs/0801.4750: (2008) |
20 | EE | Pierrick Burgain,
Eric Feron,
John-Paul Clarke:
Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis
CoRR abs/0807.0661: (2008) |
19 | EE | Eric Feron,
Fernando Alegre:
Control software analysis, Part I Open-loop properties
CoRR abs/0809.4812: (2008) |
18 | EE | Jerome Le Ny,
Eric Feron,
Munther A. Dahleh:
Scheduling Kalman Filters in Continuous Time
CoRR abs/0810.5148: (2008) |
17 | EE | Eric Feron,
Fernando Alegre:
Control software analysis, part II: Closed-loop analysis
CoRR abs/0812.1986: (2008) |
2007 |
16 | EE | S. Bayraktar,
Eric Feron:
Experiments with small helicopter automated landings at unusual attitudes
CoRR abs/0709.1744: (2007) |
15 | EE | Eric Feron,
Mardavij Roozbehani:
Certifying controls and systems software
CoRR abs/cs/0701132: (2007) |
14 | EE | Maxime Gariel,
John-Paul Clarke,
Eric Feron:
A Dynamic I/O Model for TRACON Traffic Management
CoRR abs/cs/0702019: (2007) |
13 | EE | Zhi-Hong Mao,
David Dugail,
Eric Feron:
Space Partition for Conflict Resolution of Intersecting Flows of Mobile Agents.
IEEE Transactions on Intelligent Transportation Systems 8(3): 512-527 (2007) |
2006 |
12 | EE | 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) |
2005 |
11 | EE | Mardavij Roozbehani,
Eric Feron,
Alexandre Megretski:
Modeling, Optimization and Computation for Software Verification.
HSCC 2005: 606-622 |
10 | EE | Zhi-Hong Mao,
David Dugail,
Eric Feron,
Karl Bilimoria:
Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance.
IEEE Transactions on Intelligent Transportation Systems 6(4): 357-369 (2005) |
2004 |
9 | EE | Lee C. Yang,
Ji Hyun Yang,
Eric Feron:
Multiple model estimation for improving conflict detection algorithms.
SMC (1) 2004: 242-249 |
8 | EE | Sommer Gentry,
Eric Feron:
Musicality experiments in lead and follow dance.
SMC (1) 2004: 984-988 |
7 | EE | Mariya Ishutkina,
Eric Feron,
Marco Casini,
Antonio Vicino:
An Internet based laboratory for control of a safety critical system.
SMC (3) 2004: 2707-2712 |
6 | EE | Sommer Elizabeth Gentry,
Eric Feron:
Modeling musically meaningful choreography.
SMC (4) 2004: 3880-3885 |
5 | EE | Animesh Chakravarthy,
KyungYeol Song,
Eric Feron:
A slowdown warning system for automobiles.
SMC (4) 2004: 3962-3969 |
2003 |
4 | EE | 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 |
3 | EE | Vladislav Gavrilets,
Ioannis Martinos,
Bernard Mettler,
Eric Feron:
Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter.
ISER 2002: 456-465 |
2001 |
2 | EE | Vladislav Gavrilets,
Emilio Frazzoli,
Bernard Mettler,
M. Piedmonte,
Eric Feron:
Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach.
I. J. Robotic Res. 20(10): 795-807 (2001) |
1 | EE | Zhi-Hong Mao,
Eric Feron,
Karl Bilimoria:
Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules.
IEEE Transactions on Intelligent Transportation Systems 2(2): 101-109 (2001) |