Eric Feron

	2012
47		Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron: A generic ellipsoid abstract domain for linear time invariant systems. HSCC 2012: 105-114
46		Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Perez, Pablo Ascariz: PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods 2012: 147-161
45		Jerome Le Ny, Eric Feron, Emilio Frazzoli: On the Dubins Traveling Salesman Problem. IEEE Trans. Automat. Contr. 57(1): 265-270 (2012)
44		Pierrick Burgain, Olivia J. Pinon, Eric Feron, John-Paul Clarke, Dimitri N. Mavris: Optimizing Pushback Decisions to Valuate Airport Surface Surveillance Information. IEEE Transactions on Intelligent Transportation Systems 13(1): 180-192 (2012)
	2011
43		Jerome Le Ny, Eric Feron, George J. Pappas: Resource constrained LQR control under fast sampling. HSCC 2011: 271-280
42		Erwan Salaün, Maxime Gariel, Adan Vela, Eric Feron: Aircraft Proximity Maps Based on Data-Driven Flow Modeling CoRR abs/1101.4957: (2011)
41		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)
40		Pierrick Burgain, Eric Feron: Environmental benefits of enhanced surveillance technology on airport departure operations CoRR abs/1102.2673: (2011)
39		Mardavij Roozbehani, Alexandre Megretski, Eric Feron: Optimization of Lyapunov Invariants in Verification of Software Systems CoRR abs/1108.0170: (2011)
38		Timothy Wang, Romain Jobredeaux, Eric Feron: A graphical environment to express the semantics of control systems CoRR abs/1108.4048: (2011)
37		Mardavij Roozbehani, Alexandre Megretski, Eric Feron: Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version) CoRR abs/1108.5622: (2011)
36		Jerome Le Ny, Eric Feron, Munther A. Dahleh: Scheduling Continuous-Time Kalman Filters. IEEE Trans. Automat. Contr. 56(6): 1381-1394 (2011)
35		Mircea Lupu, Eric Feron, Zhi-Hong Mao: Influence of Aircraft Maneuver Preference Variability on Airspace Usage. IEEE Transactions on Intelligent Transportation Systems 12(4): 1446-1461 (2011)
34		Maxime Gariel, Ashok N. Srivastava, Eric Feron: Trajectory Clustering and an Application to Airspace Monitoring. IEEE Transactions on Intelligent Transportation Systems 12(4): 1511-1524 (2011)
	2010
33		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
32		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
31		Maxime Gariel, Ashok N. Srivastava, Eric Feron: Trajectory Clustering and an Application to Airspace Monitoring CoRR abs/1001.5007: (2010)
	2009
30		Fernando Alegre, Eric Feron, Santosh Pande: Using Ellipsoidal Domains to Analyze Control Systems Software CoRR abs/0909.1977: (2009)
29		Animesh Chakravarthy, KyungYeol Song, Eric Feron: Preventing Automotive Pileup Crashes in Mixed-Communication Environments. IEEE Transactions on Intelligent Transportation Systems 10(2): 211-225 (2009)
28		Ji Hyun Yang, Zhi-Hong Mao, Louis Tijerina, Tom Pilutti, Joseph F. Coughlin, Eric Feron: Detection of Driver Fatigue Caused by Sleep Deprivation. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(4): 694-705 (2009)
	2008
27		Jerome Le Ny, Munther A. Dahleh, Eric Feron, Emilio Frazzoli: Continuous path planning for a data harvesting mobile server. CDC 2008: 1489-1494
26		Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron: Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC 2008: 443-456
25		Eric Feron, Eric N. Johnson: Aerial Robotics. Springer Handbook of Robotics 2008: 1009-1029
24		Maxime Gariel, Eric Feron: Graceful Degradation of Air Traffic Operations CoRR abs/0801.4750: (2008)
23		Pierrick Burgain, Eric Feron, John-Paul Clarke: Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis CoRR abs/0807.0661: (2008)
22		Eric Feron, Fernando Alegre: Control software analysis, Part I Open-loop properties CoRR abs/0809.4812: (2008)
21		Jerome Le Ny, Eric Feron, Munther A. Dahleh: Scheduling Kalman Filters in Continuous Time CoRR abs/0810.5148: (2008)
20		Eric Feron, Fernando Alegre: Control software analysis, part II: Closed-loop analysis CoRR abs/0812.1986: (2008)
	2007
19		S. Bayraktar, Eric Feron: Experiments with small helicopter automated landings at unusual attitudes CoRR abs/0709.1744: (2007)
18		Eric Feron, Mardavij Roozbehani: Certifying controls and systems software CoRR abs/cs/0701132: (2007)
17		Maxime Gariel, John-Paul Clarke, Eric Feron: A Dynamic I/O Model for TRACON Traffic Management CoRR abs/cs/0702019: (2007)
16		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
15		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
14		Mardavij Roozbehani, Eric Feron, Alexandre Megretski: Modeling, Optimization and Computation for Software Verification. HSCC 2005: 606-622
13		Sommer Gentry, Eric Feron, Roderick Murray-Smith: Human-human haptic collaboration in cyclical Fitts' tasks. IROS 2005: 3402-3407
12		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)
11		Emilio Frazzoli, Munther A. Dahleh, Eric Feron: Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Transactions on Robotics 21(6): 1077-1091 (2005)
	2004
10		Lee C. Yang, Ji Hyun Yang, Eric Feron: Multiple model estimation for improving conflict detection algorithms. SMC (1) 2004: 242-249
9		Sommer Gentry, Eric Feron: Musicality experiments in lead and follow dance. SMC (1) 2004: 984-988
8		Mariya Ishutkina, Eric Feron, Marco Casini, Antonio Vicino: An Internet based laboratory for control of a safety critical system. SMC (3) 2004: 2707-2712
7		Sommer Elizabeth Gentry, Eric Feron: Modeling musically meaningful choreography. SMC (4) 2004: 3880-3885
6		Animesh Chakravarthy, KyungYeol Song, Eric Feron: A slowdown warning system for automobiles. SMC (4) 2004: 3962-3969
	2003
5		Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron: Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC 2003: 343-358
4		Kari Andersson, William Hall, Stephen Atkins, Eric Feron: Optimization - Based Analysis of Collaborative Airport Arrival Planning. Transportation Science 37(4): 422-433 (2003)
	2002
3		Vladislav Gavrilets, Ioannis Martinos, Bernard Mettler, Eric Feron: Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter. ISER 2002: 456-465
	2001
2		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		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)

Coauthor Index

1	Fernando Alegre	[20] [22] [30]
2	Kari Andersson	[4]
3	Pablo Ascariz	[46]
4	Stephen Atkins	[4]
5	S. Bayraktar	[19]
6	Karl Bilimoria	[1] [12]
7	Pierrick Burgain	[23] [40] [44]
8	Marco Casini	[8]
9	Animesh Chakravarthy	[6] [29]
10	John-Paul Clarke	[17] [23] [32] [41] [44]
11	Joseph F. Coughlin	[28]
12	Munther A. Dahleh	[11] [21] [27] [36]
13	David Dugail	[12] [16]
14	Karen M. Feigh	[41]
15	Emilio Frazzoli	[2] [11] [26] [27] [45]
16	Maxime Gariel	[17] [24] [31] [34] [42]
17	Pierre-Loïc Garoche	[46] [47]
18	Vladislav Gavrilets	[2] [3]
19	Sommer Gentry	[9] [13]
20	Sommer Elizabeth Gentry	[7]
21	William Hall	[4]
22	Heber Herencia-Zapana	[46]
23	Mariya Ishutkina	[8]
24	Romain Jobredeaux	[38] [46] [47]
25	Eric N. Johnson	[25]
26	Mircea Lupu	[33] [35]
27	Nancy A. Lynch	[5]
28	Zhi-Hong Mao	[1] [12] [16] [28] [33] [35]
29	Ioannis Martinos	[3]
30	Dimitri N. Mavris	[44]
31	Alexandre Megretski	[14] [26] [37] [39]
32	Bernard Mettler	[2] [3]
33	Sayan Mitra	[5]
34	Roderick Murray-Smith	[13]
35	Jerome Le Ny	[21] [27] [36] [43] [45]
36	Sam Owre	[46]
37	James Paduano	[15]
38	Santosh Pande	[30]
39	George J. Pappas	[43]
40	Gilberto Perez	[46]
41	M. Piedmonte	[2]
42	Tom Pilutti	[28]
43	Olivia J. Pinon	[44]
44	Vlad Popescu	[41]
45	Mardavij Roozbehani	[14] [18] [26] [37] [39]
46	Pierre Roux	[47]
47	Erwan Salaün	[32] [42]
48	Tom Schouwenaars	[15]
49	William E. Singhose	[32]
50	KyungYeol Song	[6] [29]
51	Ashok N. Srivastava	[31] [34]
52	Andrew Stubbs	[15]
53	Louis Tijerina	[28]
54	Adan Vela	[32] [42]
55	Antonio Vicino	[8]
56	Timothy Wang	[38]
57	Yong Wang	[5]
58	Ji Hyun Yang	[10] [28]
59	Lee C. Yang	[10]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page