Antoine Girard
发表
Antoine Girard,
Adnane Saoud,
Laurent Fribourg,
2018,
HSCC.
Antoine Girard,
Irinel-Constantin Morarescu,
Samuel Martin,
2014,
53rd IEEE Conference on Decision and Control.
Antoine Girard,
George J. Pappas,
Rajeev Alur,
2006,
EMSOFT '06.
Antoine Girard,
George J. Pappas,
A. Girard,
2005
.
Antoine Girard,
George J. Pappas,
A. Girard,
2006,
IEEE Transactions on Automatic Control.
Antoine Girard,
Christophe Prieur,
Emmanuel Witrant,
2014,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Antoine Girard,
Giordano Pola,
2007,
2007 46th IEEE Conference on Decision and Control.
Antoine Girard,
Jamal Daafouz,
Jihene Ben Rejeb,
2017,
Autom..
Paulo Tabuada,
Antoine Girard,
Giordano Pola,
2008,
HSCC.
Antoine Girard,
Mohamed Amin Ben Sassi,
A. Girard,
2010,
Autom..
Antoine Girard,
Irinel-Constantin Morarescu,
2010,
49th IEEE Conference on Decision and Control (CDC).
Antoine Girard,
Christophe Prieur,
Ying Tang,
2014,
53rd IEEE Conference on Decision and Control.
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2013,
52nd IEEE Conference on Decision and Control.
Antoine Girard,
Oded Maler,
Colas Le Guernic,
2006,
HSCC.
Antoine Girard,
Majid Zamani,
A. Girard,
2015,
2015 American Control Conference (ACC).
Vladimir Sinyakov,
Antoine Girard,
A. Girard,
2020,
IFAC-PapersOnLine.
Antoine Girard,
George J. Pappas,
A. Girard,
2007,
Autom..
Antoine Girard,
Jamal Daafouz,
Irinel-Constantin Morarescu,
2017,
2017 American Control Conference (ACC).
Antoine Girard,
Alessandro Colombo,
A. Girard,
2013,
2013 European Control Conference (ECC).
Antoine Girard,
Christophe Prieur,
Pierre-Olivier Lamare,
2013,
52nd IEEE Conference on Decision and Control.
Antoine Girard,
Christophe Prieur,
Pierre-Olivier Lamare,
2015,
SIAM J. Control. Optim..
Antoine Girard,
George J. Pappas,
A. Agung Julius,
2006,
ADHS.
Antoine Girard,
Irinel-Constantin Morărescu,
A. Girard,
2010
.
Antoine Girard,
George J. Pappas,
Georgios Fainekos,
2006
.
Antoine Girard,
A. Girard,
2002
.
Antoine Girard,
Marc Jungers,
Mirko Fiacchini,
2016,
2016 European Control Conference (ECC).
Antoine Girard,
Alina Eqtami,
2018,
ADHS.
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2016,
Autom..
Antoine Girard,
Adnane Saoud,
Laurent Fribourg,
2019
.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2016,
HSCC.
Antoine Girard,
2014,
53rd IEEE Conference on Decision and Control.
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2013,
BuildSys@SenSys.
Antoine Girard,
George J. Pappas,
A. Agung Julius,
2006
.
Antoine Girard,
Adnane Saoud,
Majid Zamani,
2018,
ADHS.
Antoine Girard,
George J. Pappas,
Georgios E. Fainekos,
2006,
FORMATS.
Antoine Girard,
Sophie Tarbouriech,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Antoine Girard,
Giordano Pola,
2008,
IEEE Transactions on Automatic Control.
Antoine Girard,
2012,
ArXiv.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017,
HSCC.
Antoine Girard,
Colas Le Guernic,
A. Girard,
2008,
HSCC.
Antoine Girard,
George J. Pappas,
Georgios E. Fainekos,
2007,
HSCC.
Antoine Girard,
Marc Jungers,
Mirko Fiacchini,
2018,
ADHS.
Antoine Girard,
A. Girard,
2010,
HSCC '10.
Antoine Girard,
Paolo Mason,
2019,
IEEE Control Systems Letters.
Antoine Girard,
Matthias Althoff,
Goran Frehse,
2021,
Annu. Rev. Control. Robotics Auton. Syst..
Antoine Girard,
Gregor Gößler,
Sebti Mouelhi,
2016,
IEEE Transactions on Automatic Control.
Antoine Girard,
Samuel Martin,
Ali Jadbabaie,
2014,
IEEE Transactions on Control of Network Systems.
Antoine Girard,
Javier Cámara,
Gregor Gößler,
2011,
HSCC '11.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2015,
ADHS.
Antoine Girard,
Colas Le Guernic,
A. Girard,
2009,
CAV.
Antoine Girard,
2013,
ArXiv.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2007,
Acta Informatica.
Antoine Girard,
Jamal Daafouz,
Irinel-Constantin Morarescu,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Antoine Girard,
Takayuki Ishizaki,
Jun-ichi Imura,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2017,
IEEE Transactions on Automatic Control.
Antoine Girard,
Adnane Saoud,
Zohra Kader,
2018,
ADHS.
Antoine Girard,
Adnane Saoud,
Laurent Fribourg,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Antoine Girard,
Javier Cámara,
Gregor Gößler,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2003,
HSCC.
Antoine Girard,
Luca Greco,
Lucien Etienne,
2019,
Autom..
Antoine Girard,
Vladimir Sinyakov,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Antoine Girard,
George J. Pappas,
Rajeev Alur,
2005,
26th IEEE International Real-Time Systems Symposium (RTSS'05).
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2015,
ADHS.
Singular perturbation approximation by means of a H2 Lyapunov function for linear hyperbolic systems
Antoine Girard,
Christophe Prieur,
Ying Tang,
2016,
Syst. Control. Lett..
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2014,
2014 European Control Conference (ECC).
Nicolas Marchand,
Antoine Girard,
Christophe Prieur,
2016
.
Antoine Girard,
A. Girard,
2003,
ADHS.
Antoine Girard,
2017
.
Antoine Girard,
Samuel Martin,
2012,
IEEE Transactions on Automatic Control.
Antoine Girard,
Samuel Martin,
2013,
SIAM J. Control. Optim..
Antoine Girard,
A. Girard,
2005,
HSCC.
Antoine Girard,
2018,
HSCC.
Antoine Girard,
George J. Pappas,
A. Girard,
2007,
2007 46th IEEE Conference on Decision and Control.
Antoine Girard,
Romain Postoyan,
A. Girard,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Antoine Girard,
A. Girard,
2004
.
Antoine Girard,
Christophe Prieur,
Ying Tang,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Antoine Girard,
Thao Dang,
Mohamed Amin Ben Sassi,
2012,
ATVA.
Antoine Girard,
Adnane Saoud,
A. Girard,
2018,
Autom..
Antoine Girard,
Gang Zheng,
2012,
TECS.
Antoine Girard,
2005,
Autom..
Antoine Girard,
A. Girard,
2010,
Autom..
Antoine Girard,
A. Girard,
2012,
ADHS.
Antoine Girard,
A. Girard,
2012,
ArXiv.
Antoine Girard,
Christophe Prieur,
Emmanuel Witrant,
2012,
ADHS.
Antoine Girard,
Takayuki Ishizaki,
Jun-ichi Imura,
2015,
Autom..
Antoine Girard,
Radu Grosu,
Scott A. Smolka,
2014,
HSCC.
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
pdf
Antoine Girard,
Mohamed Amin Ben Sassi,
2010,
ArXiv.
Nicolas Marchand,
Antoine Girard,
Christophe Prieur,
2016,
Autom..
Antoine Girard,
Marc Jungers,
Mirko Fiacchini,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Antoine Girard,
A. Girard,
2013
.
Antoine Girard,
Irinel-Constantin Morarescu,
Samuel Martin,
2016,
IEEE Transactions on Automatic Control.
Antoine Girard,
Gregor Gößler,
Sebti Mouelhi,
2013,
HSCC '13.
Antoine Girard,
Christophe Prieur,
Ying Tang,
2013,
52nd IEEE Conference on Decision and Control.
Antoine Girard,
Gang Zheng,
2009,
HSCC.
Antoine Girard,
Mohamed Amin Ben Sassi,
2012,
Syst. Control. Lett..
Nicolas Marchand,
Antoine Girard,
Christophe Prieur,
2018,
IEEE Transactions on Automatic Control.
Antoine Girard,
Marc Jungers,
Mirko Fiacchini,
2014,
53rd IEEE Conference on Decision and Control.
Antoine Girard,
George J. Pappas,
A. Girard,
2006,
HSCC.
Antoine Girard,
Marc Jungers,
Mirko Fiacchini,
2018,
Autom..
Antoine Girard,
Christophe Prieur,
Ying Tang,
2016,
IEEE Transactions on Automatic Control.
Antoine Girard,
Adnane Saoud,
Laurent Fribourg,
2018,
2018 European Control Conference (ECC).
Antoine Girard,
Euriell Le Corronc,
Gregor Gößler,
2013,
52nd IEEE Conference on Decision and Control.
Antoine Girard,
Goran Frehse,
Oded Maler,
2011,
CAV.
Antoine Girard,
Mohamed Amin Ben Sassi,
2013,
2013 European Control Conference (ECC).
Antoine Girard,
Sriram Sankaranarayanan,
Mohamed Amin Ben Sassi,
2014,
53rd IEEE Conference on Decision and Control.
Antoine Girard,
George J. Pappas,
A. Girard,
2011,
Eur. J. Control.
Antoine Girard,
George J. Pappas,
A. Agung Julius,
2008,
Discret. Event Dyn. Syst..
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Antoine Girard,
Alessandro Abate,
Majid Zamani,
2014,
Autom..
Antoine Girard,
A. Girard,
2013,
IEEE Transactions on Automatic Control.
Nicolas Marchand,
Antoine Girard,
Christophe Prieur,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Antoine Girard,
Samuel Martin,
2010,
49th IEEE Conference on Decision and Control (CDC).
Antoine Girard,
Marc Jungers,
Mirko Fiacchini,
2016,
IEEE Transactions on Automatic Control.
Antoine Girard,
Samuel Martin,
A. Girard,
2008,
2008 47th IEEE Conference on Decision and Control.
Antoine Girard,
Majid Zamani,
Abdalla Swikir,
2018,
HSCC.
Antoine Girard,
2010,
49th IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Antoine Girard,
Giordano Pola,
2007,
Autom..
Antoine Girard,
Irinel-Constantin Morarescu,
A. Girard,
2009,
IEEE Transactions on Automatic Control.
Antoine Girard,
Gregor Gössler,
2019,
Acta Informatica.
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2015,
HSCC.
Antoine Girard,
2006,
IEEE Transactions on Automatic Control.
Antoine Girard,
Majid Zamani,
Abdalla Swikir,
2017,
2018 Indian Control Conference (ICC).
Antoine Girard,
Christophe Prieur,
Ying Tang,
2015,
Autom..
Antoine Girard,
Sriram Sankaranarayanan,
2015,
HSCC.
Antoine Girard,
Samuel Martin,
Ali Jadbabaie,
2012,
2012 American Control Conference (ACC).
Antoine Girard,
2007,
HSCC.
Antoine Girard,
Laurent Fribourg,
Anas Makdesi,
2021,
L4DC.
Antoine Girard,
Elena Ivanova,
A. Girard,
2021,
ADHS.
Antoine Girard,
Ali Zolghadri,
W. Alejandro Apaza-Perez,
2021,
2021 American Control Conference (ACC).
Antoine Girard,
Laurent Fribourg,
Anas Makdesi,
2021,
ADHS.
Antoine Girard,
Adnane Saoud,
Laurent Fribourg,
2021,
Autom..
Antoine Girard,
Adnane Saoud,
2017
.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017
.
Antoine Girard,
Christophe Prieur,
Ying Tang,
2013
.
Antoine Girard,
Christophe Prieur,
Pierre-Olivier Lamare,
2016
.
Nicolas Marchand,
Antoine Girard,
Christophe Prieur,
2018,
IEEE Transactions on Automatic Control.
Antoine Girard,
Silviu-Iulian Niculescu,
Irinel-Constantin Morârescu,
2010
.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017
.
Antoine Girard,
Emmanuel Witrant,
Pierre-Jean Meyer,
2013,
BuildSys@SenSys.