Search the dblp DataBase

Publications of Author

1. Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron
   Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. [Citation Graph (0, 0)][DBLP]
   HSCC, 2003, pp:343-358 [Conf]
   
2. Mardavij Roozbehani, Eric Feron, Alexandre Megrestki
   Modeling, Optimization and Computation for Software Verification. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:606-622 [Conf]
   
3. Animesh Chakravarthy, KyungYeol Song, Eric Feron
   A slowdown warning system for automobiles. [Citation Graph (0, 0)][DBLP]
   SMC (4), 2004, pp:3962-3969 [Conf]
   
4. Sommer Elizabeth Gentry, Eric Feron
   Modeling musically meaningful choreography. [Citation Graph (0, 0)][DBLP]
   SMC (4), 2004, pp:3880-3885 [Conf]
   
5. Sommer Gentry, Eric Feron
   Musicality experiments in lead and follow dance. [Citation Graph (0, 0)][DBLP]
   SMC (1), 2004, pp:984-988 [Conf]
   
6. Mariya Ishutkina, Eric Feron, Marco Casini, Antonio Vicino
   An Internet based laboratory for control of a safety critical system. [Citation Graph (0, 0)][DBLP]
   SMC (3), 2004, pp:2707-2712 [Conf]
   
7. Lee C. Yang, Ji Hyun Yang, Eric Feron
   Multiple model estimation for improving conflict detection algorithms. [Citation Graph (0, 0)][DBLP]
   SMC (1), 2004, pp:242-249 [Conf]
   
8. V. Gavrilets, E. Frazzoli, B. Mettler, M. Piedmonte, Eric Feron
   Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach. [Citation Graph (0, 0)][DBLP]
   I. J. Robotic Res., 2001, v:20, n:10, pp:795-807 [Journal]
   
9. Eric Feron, Mardavij Roozbehani
   Certifying controls and systems software [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
10. Maxime Gariel, John-Paul Clarke, Eric Feron
    A Dynamic I/O Model for TRACON Traffic Management [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
11. S. Bayraktar, Eric Feron
    Experiments with small helicopter automated landings at unusual attitudes [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
12. 
    Distributed Lyapunov Functions in Analysis of Graph Models of Software. [Citation Graph (, )][DBLP]
    
    
13. 
    Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter. [Citation Graph (, )][DBLP]
    
    
14. 
    Continuous path planning for a data harvesting mobile server. [Citation Graph (, )][DBLP]
    
    
15. 
    Graceful Degradation of Air Traffic Operations [Citation Graph (, )][DBLP]
    
    
16. 
    Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis [Citation Graph (, )][DBLP]
    
    
17. 
    Control software analysis, Part I Open-loop properties [Citation Graph (, )][DBLP]
    
    
18. 
    Scheduling Kalman Filters in Continuous Time [Citation Graph (, )][DBLP]
    
    
19. 
    Control software analysis, part II: Closed-loop analysis [Citation Graph (, )][DBLP]
    
    
20. 
    Using Ellipsoidal Domains to Analyze Control Systems Software [Citation Graph (, )][DBLP]
    
    
21. 
    Trajectory Clustering and an Application to Airspace Monitoring [Citation Graph (, )][DBLP]