Antoine Girard

	2012
36		Antoine Girard: Controller synthesis for safety and reachability via approximate bisimulation. Automatica 48(5): 947-953 (2012)
35		Antoine Girard, Samuel Martin: Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices. IEEE Trans. Automat. Contr. 57(4): 1046-1051 (2012)
34		Mohamed Amin Ben Sassi, Antoine Girard: Controller synthesis for robust invariance of polynomial dynamical systems using linear programming. Systems & Control Letters 61(4): 506-512 (2012)
	2011
33		Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler: SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395
32		Javier Cámara, Antoine Girard, Gregor Gößler: Safety controller synthesis for switched systems using multi-scale symbolic models. CDC-ECE 2011: 520-525
31		Javier Cámara, Antoine Girard, Gregor Gößler: Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200
30		Antoine Girard, Samuel Martin: Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices CoRR abs/1103.2612: (2011)
29		Mohamed Amin Ben Sassi, Antoine Girard: Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming CoRR abs/1107.1580: (2011)
28		Constantin-Irinel Morarescu, Antoine Girard: Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs. IEEE Trans. Automat. Contr. 56(8): 1862-1873 (2011)
	2010
27		Antoine Girard: Synthesis using approximately bisimilar abstractions: time-optimal control problems. CDC 2010: 5893-5898
26		Samuel Martin, Antoine Girard: Sufficient conditions for flocking via graph robustness analysis. CDC 2010: 6293-6298
25		Constantin-Irinel Morarescu, Antoine Girard: Consensus with constrained convergence rate: Agreement in communities. CDC 2010: 6311-6316
24		Antoine Girard: Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. HSCC 2010: 111-120
23		Antoine Girard: Controller Synthesis for Safety and Reachability via Approximate Bisimulation CoRR abs/1010.4672: (2010)
22		Mohamed Amin Ben Sassi, Antoine Girard: Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming CoRR abs/1012.1256: (2010)
	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	Javier Cámara	[31] [32]
4	Scott Cotton	[33]
5	Thao Dang	[1] [10] [33]
6	Alexandre Donzé	[33]
7	Georgios E. Fainekos	[7] [12] [19]
8	Goran Frehse	[33]
9	Gregor Gößler (Gregor Goessler)	[31] [32]
10	Colas Le Guernic	[6] [15] [21] [33]
11	A. Agung Julius	[13]
12	Hadas Kress-Gazit	[19]
13	Olivier Lebeltel	[33]
14	Oded Maler	[6] [33]
15	Samuel Martin	[17] [26] [30] [35]
16	Constantin-Irinel Morarescu	[25] [28]
17	Truong Nghiem	[8]
18	George J. Pappas	[3] [5] [7] [8] [9] [12] [13] [18] [19]
19	Giordano Pola	[14] [16]
20	Rajarshi Ray	[33]
21	Rodolfo Ripado	[33]
22	Mohamed Amin Ben Sassi	[22] [29] [34]
23	Paulo Tabuada	[14] [16]
24	Hakan Yazarel	[3]
25	Gang Zheng	[20]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page