Antoine Girard
209
Documents
Présentation
Antoine Girard is a Senior Researcher (Directeur de Recherche) at CNRS and a member of the Laboratory of Signals and Systems.
He received the diplôme d'ingénieur from the Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG) and the Master degree in Applied Mathematics from the Université Joseph Fourier, both in 2001. He received the Ph.D. in Applied Mathematics from the Institut National Polytechnique de Grenoble in September 2004 and the "Habilitation à Diriger des Recherches" from the University of Grenoble in November 2013.
From October 2004 to December 2005, he was a postdoctoral researcher at the Department of Electrical and Systems Engineering of University of Pennsylvania and from January 2006 to August 2006, he was a postdoctoral researcher at the Verimag Laboratory. From September 2006 to October 2015, he was an Associate Professor at the Université Joseph Fourier and a member of the Jean Kuntzmann Laboratory. In November 2015, he joined the CNRS as a Senior Researcher.
His research interests deal with analysis and control of hybrid systems with an emphasis on computational approaches, approximation, abstraction and applications to cyber-physical systems. He is also interested in multi-agent and distributed parameter systems.
Antoine Girard received the George S. Axelby Outstanding Paper Award from the IEEE Control Systems Society in 2009. In 2014, he was awarded the CNRS Bronze Medal. In 2015, he was appointed as a junior member of the Institut Universitaire de France (IUF). He is on the editorial board of the IEEE Transactions on Automatic Control. In 2015, he co-chaired the International Conference on Hybrid Systems: Computation and Control (HSCC’15).
Publications
- 15
- 15
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 15
- 15
- 13
- 10
- 10
- 9
- 9
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Memoryless concretization relationInternational Conference on Hybrid Systems: Computation and Control, 2024, Hong Kong, China
Communication dans un congrès
hal-04527089v1
|
|
|
|
Nonlinear Model Predictive Control based on K-step Control Invariant SetsEuropean control conference, Jun 2024, Stockholm, Sweden
Communication dans un congrès
hal-04514594v1
|
|
|
Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer ArraysECC 2023 - 21st European Control Conference, Jun 2023, Bucarest, Romania. ⟨10.23919/ECC57647.2023.10178334⟩
Communication dans un congrès
hal-04072014v1
|
|
|
Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor EnvironmentIPIN 2023 - 13th International Conference on Indoor Positioning and Indoor Navigation, Sep 2023, Nuremberg, Germany. ⟨10.1109/ipin57070.2023.10332534⟩
Communication dans un congrès
hal-04173992v1
|
|
|
Stability of discrete-time switched linear systems with ω-regular switching sequencesHSCC 2022 - 25th ACM International Conference on Hybrid Systems : Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519543⟩
Communication dans un congrès
hal-03649665v1
|
|
|
Predictive and Symbolic Control: Performance and Safety for Non-linear SystemsCAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, Jul 2022, Gif-sur-Yvette, France. pp.290-295, ⟨10.1016/j.ifacol.2022.09.039⟩
Communication dans un congrès
hal-03708834v1
|
|
|
Invariant Sets for Assume-Guarantee Contracts61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. ⟨10.1109/cdc51059.2022.9993344⟩
Communication dans un congrès
hal-03767014v1
|
|
|
On the Joint Spectral Radius of Shuffled Switched Linear SystemsInternational Symposium on Mathematical Theory of Networks and Systems, 2022, Bayreuth, Germany
Communication dans un congrès
hal-03727152v1
|
|
|
Data-Driven Abstraction of Monotone SystemsLearning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland
Communication dans un congrès
hal-03216643v1
|
|
|
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances7th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.473⟩
Communication dans un congrès
hal-03216649v1
|
|
|
Compositional Synthesis of Symbolic Controllers for Attractivity SpecificationsIEEE 60th Conference on Decision and Control (CDC 2021), Dec 2021, Austin, United States. ⟨10.1109/CDC45484.2021.9682817⟩
Communication dans un congrès
hal-03349984v1
|
|
|
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration7th IFAC Conference on Analysis and Design of Hybrid Systems, Apr 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.483⟩
Communication dans un congrès
hal-03190435v1
|
Symbolic observer-based controller for uncertain nonlinear systems2021 American Control Conference (ACC), May 2021, New Orleans, United States. pp.3410-3415, ⟨10.23919/ACC50511.2021.9482677⟩
Communication dans un congrès
hal-04491984v1
|
|
|
|
Abstraction of Monotone Systems Based on Feedback ControllersIFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2342⟩
Communication dans un congrès
hal-02900533v1
|
|
|
Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear SystemsIFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2348⟩
Communication dans un congrès
hal-02554329v1
|
|
|
Formal Synthesis from Control ProgramsIEEE Conference on Decision and Control, 2020, Jeju Island, South Korea. ⟨10.1109/CDC42340.2020.9304330⟩
Communication dans un congrès
hal-02935753v1
|
|
|
Symbolic models for incrementally stable singularly perturbed hybrid affine systemsAmerican Control Conference, 2019, Philadelphia, United States. ⟨10.23919/ACC.2019.8815249⟩
Communication dans un congrès
hal-02043303v1
|
|
|
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩
Communication dans un congrès
hal-02281945v2
|
|
|
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loadsNecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2019, Chicago, United States. ⟨10.1016/j.ifacol.2019.12.148⟩
Communication dans un congrès
hal-02208665v1
|
|
|
A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected SystemsECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796276⟩
Communication dans un congrès
hal-02148745v1
|
|
|
Reference Tracking for Linear Time Invariant Systems with a Relay Control58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9030267⟩
Communication dans un congrès
hal-02284785v1
|
|
|
Safety controller design for incrementally stable switched systems using event-based symbolic modelsECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩
Communication dans un congrès
hal-02054930v1
|
|
|
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029740⟩
Communication dans un congrès
hal-02286407v1
|
|
|
A symbolic approach to voltage stability and power sharing in time-varying DC microgridsECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩
Communication dans un congrès
hal-02070070v1
|
|
|
From dissipativity theory to compositional synthesis of symbolic modelsIndian Control Conference, Jan 2018, Kanpur, India. ⟨10.1109/indiancc.2018.8307949⟩
Communication dans un congrès
hal-01620525v1
|
|
|
LMI-based design of dynamic event-triggering mechanism for linear systems57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, United States. pp.121-126, ⟨10.1109/CDC.2018.8619103⟩
Communication dans un congrès
hal-02268566v1
|
|
|
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.003⟩
Communication dans un congrès
hal-01761180v1
|
Compositional Synthesis for Symbolic Control21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.136-136, ⟨10.1145/3178126.3196957⟩
Communication dans un congrès
hal-02053194v1
|
|
|
|
Safety control, a quantitative approach6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.032⟩
Communication dans un congrès
hal-01818644v1
|
|
|
Contract based Design of Symbolic Controllers for Vehicle Platooning21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Apr 2018, Porto, Portugal. pp.277-278, ⟨10.1145/3178126.3187001⟩
Communication dans un congrès
hal-02287002v1
|
|
|
Symbolic models for incrementally stable switched systems with aperiodic time sampling6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩
Communication dans un congrès
hal-01760789v1
|
|
|
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩
Communication dans un congrès
hal-01857389v1
|
|
|
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for InvarianceEuropean Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩
Communication dans un congrès
hal-01712710v1
|
|
|
Language constrained stabilization of discrete-time switched linear systems: an LMI approach6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.005⟩
Communication dans un congrès
hal-01899003v1
|
|
|
Formal Controller Synthesis from Hybrid Programs21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.271-272, ⟨10.1145/3178126.3186998⟩
Communication dans un congrès
hal-02053179v1
|
Compositional Synthesis of Finite Abstractions for Networks of SystemsHSCC '18: 21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.275-276, ⟨10.1145/3178126.3187000⟩
Communication dans un congrès
hal-04492493v1
|
|
|
|
Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modelingCDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.1260-1265, ⟨10.1109/cdc.2017.8263829⟩
Communication dans un congrès
hal-01620520v1
|
|
|
Fluid-flow modeling and stability analysis of communication networksIFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France
Communication dans un congrès
hal-01576879v1
|
|
|
Multirate Symbolic Models for Incrementally Stable Switched SystemsIFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩
Communication dans un congrès
hal-01540854v1
|
|
|
Scheduling of Embedded Controllers Under Timing Contracts20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. pp.131 - 140, ⟨10.1145/3049797.3049816⟩
Communication dans un congrès
hal-01540841v1
|
|
|
Self-Triggered Control for Sampled-data Systems using Reachability AnalysisIFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Communication dans un congrès
hal-01540847v1
|
|
|
Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systemsACC 2017 - American Control Conference, May 2017, Seattle, WA, United States. ⟨10.23919/acc.2017.7963115⟩
Communication dans un congrès
hal-01538604v1
|
|
|
Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach15th European Control Conference, ECC 2016, Jun 2016, Aalborg, Denmark. pp.2035-2040, ⟨10.1109/ecc.2016.7810591⟩
Communication dans un congrès
hal-01294210v1
|
|
|
Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799120⟩
Communication dans un congrès
hal-01386851v1
|
|
|
Event-based stabilization of linear systems of conservation laws using a dynamic triggering conditionNOLCOS 2016 - 10th IFAC Symposium on Nonlinear Control Systems, Aug 2016, Monterey, CA, United States
Communication dans un congrès
hal-01309675v1
|
|
|
Verification and Synthesis of Timing Contracts for Embedded ControllersHSCC'16: Proceedings of the 19th international conference on hybrid systems: computation and control, Apr 2016, Vienna, Austria. pp.115-124, ⟨10.1145/2883817.2883827⟩
Communication dans un congrès
hal-01276251v1
|
|
|
Stability analysis of singularly perturbed switched and impulsive linear systems55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799117⟩
Communication dans un congrès
hal-01379136v1
|
|
|
Stability analysis of a singularly perturbed coupled ODE-PDE systemCDC 2015 - 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. ⟨10.1109/CDC.2015.7402936⟩
Communication dans un congrès
hal-01276239v1
|
|
|
Triggering mechanism using freely selected sensors for linear time-invariant systems54th 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
|
|
|
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability AnalysisAnalysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, United States. pp.358-363, ⟨10.1016/j.ifacol.2015.11.200⟩
Communication dans un congrès
hal-01276237v1
|
|
|
Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in BuildingsHSCC 2015 - 18th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. pp.1817 - 1819, ⟨10.1145/2728606.2728637⟩
Communication dans un congrès
hal-01492955v1
|
Bisimilar symbolic models for stochastic switched systems: A discretization-free approachACC 2015 - American Control Conference, Jul 2015, Chicago, United States. pp.1923-1928, ⟨10.1109/ACC.2015.7171014⟩
Communication dans un congrès
hal-01203715v1
|
|
|
|
Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic EmbeddingsLPVS 2015 - 1st IFAC Workshop on Linear Parameter Varying Systems, Oct 2015, Grenoble, France
Communication dans un congrès
hal-01214441v1
|
|
|
Safety control with performance guarantees of cooperative systems using compositional abstractionsADHS 2015 - 5th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, Georgie, United States. pp.317-322, ⟨10.1016/j.ifacol.2015.11.194⟩
Communication dans un congrès
hal-01180975v1
|
Iterative computation of polyhedral invariants sets for polynomial dynamical systemsCDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.6348-6353, ⟨10.1109/CDC.2014.7040384⟩
Communication dans un congrès
hal-01133216v1
|
|
|
|
Coordination in networks of linear impulsive agents53rd 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
|
|
|
Experimental Implementation of UFAD Regulation based on Robust Controlled InvarianceECC 2014 - 13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩
Communication dans un congrès
hal-00988959v2
|
|
|
Approximation of singularly perturbed linear hyperbolic systemsMTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 4 p
Communication dans un congrès
hal-00997291v1
|
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systemsCDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.824-829, ⟨10.1109/CDC.2014.7039483⟩
Communication dans un congrès
hal-01133212v1
|
|
|
|
Boundary control synthesis for hyperbolic systems: A singular perturbation approachCDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.2840-2845, ⟨10.1109/CDC.2014.7039825⟩
Communication dans un congrès
hal-01144135v1
|
Compositionality results for cardiac cell dynamicsHSCC '14 - 17th International Conference on Hybrid systems: computation and control, Apr 2014, Berlin, Germany. pp.243-252, ⟨10.1145/2562059.2562138⟩
Communication dans un congrès
hal-01133219v1
|
|
|
|
On stabilizability conditions for discrete-time switched linear systems53rd IEEE Conference on Decision and Control, CDC 2014, Dec 2014, Los Angeles, United States. pp.5469-5474, ⟨10.1109/CDC.2014.7040244⟩
Communication dans un congrès
hal-01084388v1
|
|
|
Lyapunov techniques for stabilization of switched linear systems of conservation lawsCDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.448-453, ⟨10.1109/CDC.2013.6759922⟩
Communication dans un congrès
hal-00926379v1
|
CoSyMA: a tool for controller synthesis using multi-scale abstractionsHSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩
Communication dans un congrès
hal-00839613v1
|
|
Control of polynomial dynamical systems on rectanglesECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.658-663, ⟨10.23919/ECC.2013.6669360⟩
Communication dans un congrès
hal-00839615v1
|
|
|
|
Poster Abstract: Robust Controlled Invariance for UFAD RegulationBuildSys 2013 - 5th ACM Workshop on Embedded Systems For Energy Efficient Buildings, Nov 2013, Rome, Italy. pp.1 - 2, ⟨10.1145/2528282.2528316⟩
Communication dans un congrès
hal-01492943v1
|
|
|
Lyapunov stability of a singularly perturbed system of two conservation lawsCPDE 2013 - 1st IFAC Workshop on Control of Systems Modeled by Partial Differential Equations, Sep 2013, Paris, France. pp.227-232, ⟨10.3182/20130925-3-FR-4043.00050⟩
Communication dans un congrès
hal-00839621v1
|
Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched SystemsCDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩
Communication dans un congrès
hal-00924815v1
|
|
An approximate abstraction approach to safety control of differentially flat systemsECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.4226-4231, ⟨10.23919/ECC.2013.6669178⟩
Communication dans un congrès
hal-00839619v1
|
|
|
|
Controllability and invariance of monotone systems for robust ventilation automation in buildingsCDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.1289-1294, ⟨10.1109/CDC.2013.6760060⟩
Communication dans un congrès
hal-00858715v1
|
|
|
A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation lawsCDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3026-3031, ⟨10.1109/CDC.2013.6760343⟩
Communication dans un congrès
hal-00926211v1
|
Reachability Analysis of Polynomial Systems Using Linear Programming RelaxationsATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.137-151, ⟨10.1007/978-3-642-33386-6_12⟩
Communication dans un congrès
hal-00769672v1
|
|
Multi-Agent Flocking with Random Communication RadiusACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. pp.3871-3876
Communication dans un congrès
hal-00769675v1
|
|
Clustering-Based H2-State Aggregation of Positive Networks and Its Application to Reduction of Chemical Master EquationsCDC 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
|
|
Lyapunov functions for switched linear hyperbolic systemsADHS 2012 - 4th IFAC conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.382-387, ⟨10.3182/20120606-3-NL-3011.00061⟩
Communication dans un congrès
hal-00734469v1
|
|
Low-complexity switching controllers for safety using symbolic models4th IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.82-87, ⟨10.3182/20120606-3-NL-3011.00014⟩
Communication dans un congrès
hal-00769673v1
|
|
Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic ModelsCDC-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
|
|
Synthesis of switching controllers using approximately bisimilar multiscale abstractionsHSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩
Communication dans un congrès
hal-00665219v1
|
|
SpaceEx: Scalable Verification of Hybrid SystemsCAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
Communication dans un congrès
hal-00769608v1
|
|
Sufficient conditions for flocking via graph robustness analysisCDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.6293-6298, ⟨10.1109/CDC.2010.5717084⟩
Communication dans un congrès
hal-00769600v1
|
|
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specificationsHSCC '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
|
|
Consensus with constrained convergence rate and time-delaysIFAC 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
|
|
Consensus with constrained convergence rate: Agreement in communitiesCDC 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
|
|
Synthesis using approximately bisimilar abstractions: time-optimal control problemsCDC 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
|
|
Consensus, flocking and opinion dynamicsInternational Summer School of Automatic Control, Sep 2010, Grenoble, France
Communication dans un congrès
hal-00770292v1
|
|
A model of opinion dynamics for community detection in graphsNecSys'10 - 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2010, Annecy, France. pp.251-256, ⟨10.3182/20100913-2-FR-4014.00001⟩
Communication dans un congrès
hal-00769568v1
|
|
Reachability Analysis of Hybrid Systems Using Support FunctionsCAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. pp.540-554, ⟨10.1007/978-3-642-02658-4_40⟩
Communication dans un congrès
hal-00769527v1
|
|
Bounded and unbounded safety verification using bisimulation metricsHSCC 2009 - 12th International Conference Hybrid Systems: Computation and Control, Apr 2009, San Francisco, CA, United States. pp.426-440, ⟨10.1007/978-3-642-00602-9_30⟩
Communication dans un congrès
hal-00379746v1
|
|
Symbolic models of control systemsHeterogeneity in control systems, May 2009, Nancy, France
Communication dans un congrès
hal-00770290v1
|
|
Vérification des systèmes hybridesÉcole des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France
Communication dans un congrès
hal-00770289v1
|
|
Systèmes à commutation, stabilité, représentation symbolique et commandeGroupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France
Communication dans un congrès
hal-00770284v1
|
|
Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrsColloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France
Communication dans un congrès
hal-00307089v1
|
|
Motion planning for nonlinear systems using hybridizations and robust controllers on simplicesCDC 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
|
|
Efficient reachability analysis for linear systems using support functionsIFAC 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
|
|
Approximately bisimilar symbolic models for incrementally stable switched systemsHSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, Saint Louis, MO, United States. pp.201-214, ⟨10.1007/978-3-540-78929-1_15⟩
Communication dans un congrès
hal-00306990v1
|
|
Zonotope/hyperplane intersection for hybrid systems reachability analysisHSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, St. Louis, MO, United States. pp.215-228, ⟨10.1007/978-3-540-78929-1_16⟩
Communication dans un congrès
hal-00306993v1
|
|
Symbolic models for nonlinear control systems using approximate bisimulationCDC - 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 systemsCDC - 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
|
|
Méthodes algorithmiques pour l'analyse des systèmes hybridesJournées Nationales du GDR MACS, Jul 2007, Reims, France
Communication dans un congrès
hal-00307096v1
|
|
Hierarchical synthesis of hybrid controllers from temporal logics specificationsHSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.203-216, ⟨10.1007/978-3-540-71493-4_18⟩
Communication dans un congrès
hal-00306996v1
|
|
Approximately bisimilar finite abstractions of stable linear systemsHSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.231-244, ⟨10.1007/978-3-540-71493-4_20⟩
Communication dans un congrès
hal-00306999v1
|
|
Presentation of the VAL-AMS projectGrand Colloque STIC, Nov 2007, Paris, France
Communication dans un congrès
hal-00307092v1
|
|
Hierarchical control using approximate simulation relations45th IEEE Conference on Decision and Control, Dec 2006, San Diego, United States. pp.264-269, ⟨10.1109/CDC.2006.377051⟩
Communication dans un congrès
hal-00307028v1
|
|
Efficient computation of reachable sets of linear time-invariant systems with inputsHybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.257-271, ⟨10.1007/11730637_2⟩
Communication dans un congrès
hal-00171555v1
|
|
Time-triggered implementations of dynamic controllersConference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, ⟨10.1145/1176887.1176890⟩
Communication dans un congrès
hal-00171553v1
|
|
Approximate simulation relations for hybrid systems2nd IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2006, Alghero, Italy. pp.106-111, ⟨10.3182/20060607-3-IT-3902.00022⟩
Communication dans un congrès
hal-00307035v1
|
|
Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybridesGroupe de travail "Systèmes Dynamiques Hybrides", Feb 2006, Paris, France
Communication dans un congrès
hal-00171715v1
|
|
Temporal logic verification using simulationFormal Modelling and Analysis of Timed Systems, FORMATS 2006, Sep 2006, Paris, France. pp.171-186, ⟨10.1007/11867340_1⟩
Communication dans un congrès
hal-00171560v1
|
|
Approximate bisimulation for a class of stochastic hybrid systemsAmerican Control Conference, Jun 2006, Portland, United States. pp.4724-4729, ⟨10.1109/ACC.2006.1657467⟩
Communication dans un congrès
hal-00171556v1
|
|
Zonotope techniques for reachability analysisWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Communication dans un congrès
hal-00171716v1
|
|
Recent progress in continuous and hybrid reachability analysisIEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩
Communication dans un congrès
hal-00307031v1
|
|
Approximation metrics for discrete and continuous systemsWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Communication dans un congrès
hal-00171714v1
|
|
Verification using simulationHybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.272-286, ⟨10.1007/11730637_22⟩
Communication dans un congrès
hal-00171538v1
|
|
Approximate bisimulations for constrained linear systemsConference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. pp.4700-4705, ⟨10.1109/CDC.2005.1582904⟩
Communication dans un congrès
hal-00171539v1
|
|
Approximate bisimulations for nonlinear dynamical systemsConference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. pp.684-689, ⟨10.1109/CDC.2005.1582235⟩
Communication dans un congrès
hal-00171559v1
|
|
Reachability of uncertain linear systems using zonotopesHybrid Systems: Computation and Control, Mar 2005, Zurich, Switzerland. pp.291-305, ⟨10.1007/978-3-540-31954-2_19⟩
Communication dans un congrès
hal-00307003v1
|
|
Quantifying the gap between embedded control models and time-triggered implementations26th IEEE Real-Time Systems Symposium, Dec 2005, Miami Beach, United States. pp.111-120, ⟨10.1109/RTSS.2005.35⟩
Communication dans un congrès
hal-00307047v1
|
|
Optimal control of linear systems: a multiresolution approach43rd IEEE Conference on Decision and Control, Dec 2004, Nassau, Bahamas. pp.1806-1811, ⟨10.1109/CDC.2004.1430311⟩
Communication dans un congrès
hal-00307049v1
|
|
Computation and stability analysis of limit cycles in piecewise linear hybrid systems1st IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2003, St Malo, France. pp.181-186, ⟨10.1016/S1474-6670(17)36428-5⟩
Communication dans un congrès
hal-00307053v1
|
|
Reachability analysis of non-linear systems using conservative approximationsHybrid Systems: Computation and Control, Apr 2003, Prague, Czech Republic. pp.20-35, ⟨10.1007/3-540-36580-X_5⟩
Communication dans un congrès
hal-00307007v1
|
|
Detection of event occurrence in piecewise linear hybrid systems4th International Conference on Recent Advances in Soft Computing, RASC 2002, Dec 2002, Nottingham, United Kingdom. pp.19-25
Communication dans un congrès
hal-00307055v1
|
|
Approximate solutions of ODEs using piecewise linear vector fields5th International Workshop on Computer Algebra in Scientific Computing, Sep 2002, Yalta, Ukraine. pp.107-120
Communication dans un congrès
hal-00307056v1
|
Control Subject to Computational and Communication ConstraintsSpringer, 475, 376p., 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6⟩
Ouvrages
hal-01818954v1
|
Layers Update of Neural Network Control via Event-Triggering MechanismHybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.253-272, 2024, Lecture Notes in Control and Information Sciences, ⟨10.1007/978-3-031-49555-7_11⟩
Chapitre d'ouvrage
hal-04527093v1
|
|
A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear SystemsHybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.161-178, 2024, Lecture Notes in Control and Information Sciences, ⟨10.1007/978-3-031-49555-7_7⟩
Chapitre d'ouvrage
hal-04527099v1
|
|
Singular perturbation approach for linear coupled ODE-PDE systemsGiorgio Valmorbida and Alexandre Seuret and Islam Boussaada and Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, 10, Springer, pp.3-17, 2019, Advances in Delays and Dynamics book series, ⟨10.1007/978-3-030-11554-8_1⟩
Chapitre d'ouvrage
hal-02372335v1
|
|
Stability analysis of singularly perturbed switched linear systemsTarbouriech, Sophie and Girard, Antoine and Hetel, Laurentiu. Control Subject to Computational and Communication Constraints, 475, Springer, pp.47-61, 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6_3⟩
Chapitre d'ouvrage
hal-01862551v1
|
|
Timing contracts for multi-core embedded control systemsSophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control subject to Computational and Communication Constraints, 475, Springer, pp.97-118, 2018, Lecture Notes in Control and Information Sciences, ⟨10.1007/978-3-319-78449-6_6⟩
Chapitre d'ouvrage
hal-01912683v1
|
|
|
|
Stabilizability and control co-design for discrete-time switched linear systemsTarbouriech, Sophie and Girard, Antoine and Hetel, Laurentiu. Control Subject to Computational and Communication Constraints, 475, Springer, pp.25-46, 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6_2⟩
Chapitre d'ouvrage
hal-01856317v1
|
Symbolic synthesis for cyber-physical systemsRaj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering
Chapitre d'ouvrage
hal-01620555v1
|
|
Tools for the Analysis of Hybrid ModelsClaude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
Chapitre d'ouvrage
hal-00765812v1
|
|
Outils pour l'analyse des modèles hybridesOlivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
Chapitre d'ouvrage
hal-00765809v1
|
|
|
An Automata Theoretic Approach to Observer Design for Switched Linear Systems2024
Pré-publication, Document de travail
hal-04503485v1
|
|
|
Singular perturbation approximation of linear hyperbolic systems of balance laws (full version)[Research Report] Gipsa-Lab. 2015
Rapport
hal-01175825v2
|
|
|
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions[Research Report] RR-8108, INRIA. 2012
Rapport
hal-00743982v1
|
|
|
Analyse Algorithmique des Systèmes HybridesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Thèse
tel-00007064v1
|
|
|
Computational Approaches to Analysis and Control of Hybrid SystemsOptimization and Control [math.OC]. Université de Grenoble, 2013
HDR
tel-00908913v1
|
Symbolic Control of Nonlinear Systems: Safety, Optimization and LearningDoctoral. 44th International Summer School of Automatic Control, Grenoble, France. 2023
Cours
hal-04410084v1
|
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Proceedings/Recueil des communications
hal-01912654v1
|
|
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015
Proceedings/Recueil des communications
hal-01170573v1
|
Special Issue on Advances in Analysis and Design of Hybrid SystemsNonlinear Analysis: Hybrid Systems, 2022
N°spécial de revue/special issue
hal-04347655v1
|
|
|
|
Special issue on Hybrid Systems: Computation and ControlNonlinear Analysis: Hybrid Systems, 27, pp.174 - 176, 2018, ⟨10.1016/j.nahs.2017.07.001⟩
N°spécial de revue/special issue
hal-01620539v1
|