Antoine Girard

	2009
21		Colas Le Guernic, Antoine Girard: Reachability Analysis of Hybrid Systems Using Support Functions. CAV 2009: 540-554
20		Gang Zheng, Antoine Girard: Bounded and Unbounded Safety Verification Using Bisimulation Metrics. HSCC 2009: 426-440
19		Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
18		Antoine Girard, George J. Pappas: Hierarchical control system design using approximate simulation. Automatica 45(2): 566-571 (2009)
	2008
17		Antoine Girard, Samuel Martin: Motion planning for nonlinear systems using hybridizations and robust controllers on simplices. CDC 2008: 239-244
16		Antoine Girard, Giordano Pola, Paulo Tabuada: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC 2008: 201-214
15		Antoine Girard, Colas Le Guernic: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. HSCC 2008: 215-228
14		Giordano Pola, Antoine Girard, Paulo Tabuada: Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44(10): 2508-2516 (2008)
13		Antoine Girard, A. Agung Julius, George J. Pappas: Approximate Simulation Relations for Hybrid Systems. Discrete Event Dynamic Systems 18(2): 163-179 (2008)
	2007
12		Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
11		Antoine Girard: Approximately Bisimilar Finite Abstractions of Stable Linear Systems. HSCC 2007: 231-244
10		Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
9		Antoine Girard, George J. Pappas: Approximate bisimulation relations for constrained linear systems. Automatica 43(8): 1307-1317 (2007)
	2006
8		Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard: Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11
7		Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
6		Antoine Girard, Colas Le Guernic, Oded Maler: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271
5		Antoine Girard, George J. Pappas: Verification Using Simulation. HSCC 2006: 272-286
	2005
4		Antoine Girard: Reachability of Uncertain Linear Systems Using Zonotopes. HSCC 2005: 291-305
3		Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur: Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS 2005: 111-120
2		Antoine Girard: Linear time-invariant systems: Martin Schetzen (Ed.); The Institute of Electrical and Electronics Engineers, ISBN: 0-471-23145-2. Automatica 41(11): 2014-2015 (2005)
	2003
1		Eugene Asarin, Thao Dang, Antoine Girard: Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35

Coauthor Index

1	Rajeev Alur	[3] [8]
2	Eugene Asarin	[1] [10]
3	Thao Dang	[1] [10]
4	Georgios E. Fainekos	[7] [12] [19]
5	Colas Le Guernic	[6] [15] [21]
6	A. Agung Julius	[13]
7	Hadas Kress-Gazit	[19]
8	Oded Maler	[6]
9	Samuel Martin	[17]
10	Truong Nghiem	[8]
11	George J. Pappas	[3] [5] [7] [8] [9] [12] [13] [18] [19]
12	Giordano Pola	[14] [16]
13	Paulo Tabuada	[14] [16]
14	Hakan Yazarel	[3]
15	Gang Zheng	[20]

Colors in the list of coauthors