Recherche - Laboratoire Jean Kuntzmann Accéder directement au contenu

Filtrer vos résultats

87 résultats
Page :
triés par

Symbolic models for stochastic switched systems: a discretization and a discretization-free approach

 Majid Zamani , Alessandro Abate , Antoine Girard
Automatica, 2015, 55, pp.183-196. ⟨10.1016/j.automatica.2015.03.004⟩
Article dans une revue hal-01170568v1
Image document

Opinion dynamics with decaying confidence: application to community detection in graphs

 Irinel-Constantin Morarescu , Antoine Girard
IEEE Transactions on Automatic Control, 2011, 56 (8), pp.1862-1873. ⟨10.1109/TAC.2010.2095315⟩
Article dans une revue hal-00622835v1

Multi-Agent Flocking with Random Communication Radius

 Samuel Martin , Arastoo Fazeli , Ali Jadbabaie , Antoine Girard
ACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. pp.3871-3876
Communication dans un congrès hal-00769675v1
Image document

Computational Approaches to Analysis and Control of Hybrid Systems

 Antoine Girard
Optimization and Control [math.OC]. Université de Grenoble, 2013
HDR tel-00908913v1

Controller synthesis for safety and reachability via approximate bisimulation

 Antoine Girard
Automatica, 2012, 48 (5), pp.947-953. ⟨10.1016/j.automatica.2012.02.037⟩
Article dans une revue hal-00765682v1

Time-Triggered Implementations of Dynamic Controllers

 Truong Nghiem , George J. Pappas , Rajeev Alur , Antoine Girard
ACM Transactions on Embedded Computing Systems (TECS), 2012, 11 (S2), pp.article 58. ⟨10.1145/2331147.2331168⟩
Article dans une revue hal-00765687v1

Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications

 Antoine Girard
HSCC '10 - 13th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2010, Stockholm, Sweden. pp.111-120, ⟨10.1145/1755952.1755969⟩
Communication dans un congrès hal-00769582v1

Efficient reachability analysis for linear systems using support functions

 Antoine Girard , Colas Le Guernic
IFAC World Congress, Jul 2008, Séoul, South Korea. pp.8966-8971, ⟨10.3182/20080706-5-KR-1001.0569⟩
Communication dans un congrès hal-00307009v1

Motion planning for nonlinear systems using hybridizations and robust controllers on simplices

 Antoine Girard , Samuel Martin
CDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. pp.239-244, ⟨10.1109/CDC.2008.4738758⟩
Communication dans un congrès hal-00379740v1

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

 Antoine Girard , Sriram Sankaranarayanan
18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015
Proceedings/Recueil des communications hal-01170573v1
Image document

Triggering mechanism using freely selected sensors for linear time-invariant systems

 Romain Postoyan , Antoine Girard
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. pp.4812-4817, ⟨10.1109/CDC.2015.7402970⟩
Communication dans un congrès hal-01204815v1

Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights

 Samuel Martin , Antoine Girard
SIAM Journal on Control and Optimization, 2013, 51 (3), pp.2568-2584. ⟨10.1137/11083438X⟩
Article dans une revue hal-00839608v1
Image document

Coordination in networks of linear impulsive agents

 Irinel-Constantin Morarescu , Samuel Martin , Antoine Girard , Aurélie Muller-Gueudin
IEEE Transactions on Automatic Control, 2016, 61 (9), pp.2402-2415. ⟨10.1109/TAC.2015.2492058⟩
Article dans une revue hal-01096071v2

Clustering-Based H2-State Aggregation of Positive Networks and Its Application to Reduction of Chemical Master Equations

 Takayuki Ishizaki , Kenji Kashima , Antoine Girard , Jun-Ichi Imura , Luonan Chen , et al.
CDC 2012 - 51st IEEE Conference on Decision and Control, Dec 2012, Maui, Hawaii, United States. pp.4175-4180, ⟨10.1109/CDC.2012.6426793⟩
Communication dans un congrès hal-00769676v1

Consensus with constrained convergence rate: Agreement in communities

 Irinel-Constantin Morarescu , Antoine Girard
CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, Georgie, United States. pp.6311-6316, ⟨10.1109/CDC.2010.5717635⟩
Communication dans un congrès hal-00769604v1

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

 Antoine Girard , Giordano Pola , Paulo Tabuada
IEEE Transactions on Automatic Control, 2010, 55 (1), pp.116-126. ⟨10.1109/TAC.2009.2034922⟩
Article dans une revue hal-00765597v1

Synthesis using approximately bisimilar abstractions: time-optimal control problems

 Antoine Girard
CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.5893-5898, ⟨10.1109/CDC.2010.5717756⟩
Communication dans un congrès hal-00769592v1

Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrs

 Antoine Girard
Colloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France
Communication dans un congrès hal-00307089v1

Symbolic models for nonlinear control systems using approximate bisimulation

 Giordano Pola , Antoine Girard , Paulo Tabuada
CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. pp.4656-4661, ⟨10.1109/CDC.2007.4434911⟩
Communication dans un congrès hal-00307012v1

Approximate hierarchies of linear control systems

 Antoine Girard , George J. Pappas
CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. pp.3727-3732, ⟨10.1109/CDC.2007.4434071⟩
Communication dans un congrès hal-00307020v1

Approximate bisimulation relations for constrained linear systems

 Antoine Girard , George J. Pappas
Automatica, 2007, 43 (8), pp.1307-1317. ⟨10.1016/j.automatica.2007.01.019⟩
Article dans une revue hal-00171420v1

Approximation metrics for discrete and continuous systems

 Antoine Girard , George J. Pappas
IEEE Transactions on Automatic Control, 2007, 52 (5), pp.782-798. ⟨10.1109/TAC.2007.895849⟩
Article dans une revue hal-00171421v1

Consensus with constrained convergence rate and time-delays

 Irinel-Constantin Morarescu , Silviu-Iulian Niculescu , Antoine Girard
IFAC TDS 2010 - 9th IFAC Workshop on Time Delay Systems, Jun 2010, Prague, Czech Republic. pp.150-155, ⟨10.3182/20100607-3-CZ-4010.00028⟩
Communication dans un congrès hal-00769579v1
Image document

Coordination in networks of linear impulsive agents

 Irinel-Constantin Morarescu , Samuel Martin , Antoine Girard
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.3713-3718, ⟨10.1109/CDC.2014.7039967⟩
Communication dans un congrès hal-01076175v1
Image document

Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance

 Pierre-Jean Meyer , Hosein Nazarpour , Antoine Girard , Emmanuel Witrant
ECC 2014 - 13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩
Communication dans un congrès hal-00988959v2

Verification of Safety and Liveness Properties of Metric Transition Systems

 Antoine Girard , Gang Zheng
ACM Transactions on Embedded Computing Systems (TECS), 2012, 11 (S2), pp.article 54. ⟨10.1145/2331147.2331164⟩
Article dans une revue hal-00765686v1
Image document

Multi-agent flocking under general communication rule

 Samuel Martin , Antoine Girard , Arastoo Fazeli , Ali Jadbabaie
IEEE Transactions on Control of Network Systems, 2014, 1 (2), pp.155-166. ⟨10.1109/TCNS.2014.2316994⟩
Article dans une revue hal-01133202v1
Image document

CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions

 Sebti Mouelhi , Antoine Girard , Gregor Gössler
[Research Report] RR-8108, INRIA. 2012
Rapport hal-00743982v1

Dynamic triggering mechanisms for event-triggered control

 Antoine Girard
IEEE Transactions on Automatic Control, 2015, 60 (7), pp.1992-1997. ⟨10.1109/TAC.2014.2366855⟩
Article dans une revue hal-01170560v1

Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models

 Javier Cámara , Antoine Girard , Gregor Gössler
CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.520-525, ⟨10.1109/CDC.2011.6160424⟩
Communication dans un congrès hal-00665226v1
Page :