Antoine Girard

2009
19	EE	Gang Zheng, Antoine Girard: Bounded and Unbounded Safety Verification Using Bisimulation Metrics. HSCC 2009: 426-440
18	EE	Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
17	EE	Antoine Girard, George J. Pappas: Hierarchical control system design using approximate simulation. Automatica 45(2): 566-571 (2009)
2008
16	EE	Antoine Girard, Giordano Pola, Paulo Tabuada: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC 2008: 201-214
15	EE	Antoine Girard, Colas Le Guernic: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. HSCC 2008: 215-228
14	EE	Giordano Pola, Antoine Girard, Paulo Tabuada: Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44(10): 2508-2516 (2008)
13	EE	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	EE	Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
11	EE	Antoine Girard: Approximately Bisimilar Finite Abstractions of Stable Linear Systems. HSCC 2007: 231-244
10	EE	Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
9	EE	Antoine Girard, George J. Pappas: Approximate bisimulation relations for constrained linear systems. Automatica 43(8): 1307-1317 (2007)
2006
8	EE	Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard: Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11
7	EE	Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
6	EE	Antoine Girard, Colas Le Guernic, Oded Maler: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271
5	EE	Antoine Girard, George J. Pappas: Verification Using Simulation. HSCC 2006: 272-286
2005
4	EE	Antoine Girard: Reachability of Uncertain Linear Systems Using Zonotopes. HSCC 2005: 291-305
3	EE	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	EE	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	EE	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] [18]
5	Colas Le Guernic	[6] [15]
6	A. Agung Julius	[13]
7	Hadas Kress-Gazit	[18]
8	Oded Maler	[6]
9	Truong Nghiem	[8]
10	George J. Pappas	[3] [5] [7] [8] [9] [12] [13] [17] [18]
11	Giordano Pola	[14] [16]
12	Paulo Tabuada	[14] [16]
13	Hakan Yazarel	[3]
14	Gang Zheng	[19]

Colors in the list of coauthors