12 résultats  enregistrer la recherche


hal-00769579v1  Communication dans un congrès
Irinel-Constantin MorarescuSilviu-Iulian NiculescuAntoine GirardConsensus with constrained convergence rate and time-delays
Tomas Vyhlidal, Pavel Zitek. IFAC-TDS 2010 - 9th IFAC Workshop on Time Delay Systems, Jun 2010, Prague, Czech Republic. IFAC, 9, pp.150-155, 2010, <10.3182/20100607-3-CZ-4010.00028>
hal-00769604v1  Communication dans un congrès
Irinel-Constantin MorarescuAntoine GirardConsensus with constrained convergence rate: Agreement in communities
49th IEEE Conference on Decision and Control, CDC 2010, Dec 2010, Atlanta, GA, Afghanistan. IEEE, pp.6311-6316, 2010, <10.1109/CDC.2010.5717635>
hal-00768438v1  Chapitre d'ouvrage
Irinel-Constantin MorarescuSilviu-Iulian NiculescuAntoine GirardConsensus with constrained convergence rate and time-delays
Rifat Sipahi, Tomáš Vyhlídal, Silviu-Iulian Niculescu, Pepe Pierdomenico. Time Delay Systems: Methods, Applications and New Trends, Springer, pp.417-428, 2012, Lecture Notes in Control and Information Sciences, volume 423, <10.1007/978-3-642-25221-1_32>
hal-00665219v1  Communication dans un congrès
Javier CámaraAntoine GirardGregor GösslerSynthesis of switching controllers using approximately bisimilar multiscale abstractions
HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, 2011, <10.1145/1967701.1967730>
hal-00924815v1  Communication dans un congrès
Euriell Le CorroncAntoine GirardGregor GösslerMode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems
CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, <10.1109/CDC.2013.6760375>
hal-00839613v1  Communication dans un congrès
Sebti MouelhiAntoine GirardGregor GoesslerCoSyMA: a tool for controller synthesis using multi-scale abstractions
HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. ACM, pp.83-88, 2013, <10.1145/2461328.2461343>
hal-00665226v1  Communication dans un congrès
Javier CámaraAntoine GirardGregor GösslerSafety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models
CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. IEEE, pp.520-525, 2011, <10.1109/CDC.2011.6160424>
...
hal-01096071v2  Article dans une revue
Irinel-Constantin MorarescuSamuel MartinAntoine GirardAurélie MullerCoordination in networks of linear impulsive agents
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2402-2415. <10.1109/TAC.2015.2492058>
hal-00765686v1  Article dans une revue
Antoine GirardGang ZhengVerification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11 (S2), pp.article 54. <10.1145/2331147.2331164>
...
hal-01331730v1  Article dans une revue
Pierre-Olivier LamareAntoine GirardChristophe PrieurAn optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2016, 22 (4), pp.1236-1263. <10.1051/cocv/2016038>