Antoine Girard
196
Documents
Presentation
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
- 14
- 7
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 24
- 15
- 15
- 13
- 10
- 10
- 9
- 9
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 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
|
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⟩
Conference papers
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
Conference papers
hal-04173992v1
|
|
Stability of discrete-time switched linear systems with ω-regular switching sequences25th ACM International Conference on Hybrid Systems: Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519543⟩
Conference papers
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⟩
Conference papers
hal-03708834v1
|
|
Invariant Sets for Assume-Guarantee Contracts61st IEEE Conference on Decision and Control 2022, Dec 2022, Cancun, Mexico
Conference papers
hal-03767014v1
|
|
On the Joint Spectral Radius of Shuffled Switched Linear SystemsInternational Symposium on Mathematical Theory of Networks and Systems, 2022, Bayreuth, Germany
Conference papers
hal-03727152v1
|
|
Data-Driven Abstraction of Monotone SystemsLearning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland
Conference papers
hal-03216643v1
|
|
Compositional Synthesis of Symbolic Controllers for Attractivity Specifications60th IEEE conference on Decision and Control, Dec 2021, Austin, United States. ⟨10.1109/CDC45484.2021.9682817⟩
Conference papers
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
Conference papers
hal-03190435v1
|
|
Efficient Data-Driven Abstraction of Monotone Systems with DisturbancesIFAC Conference on Analysis and Design of Hybrid Systems, Jul 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.473⟩
Conference papers
hal-03216649v1
|
|
Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems21st IFAC World Congress, 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2348⟩
Conference papers
hal-02554329v1
|
|
Abstraction of Monotone Systems Based on Feedback Controllers21st IFAC World Congress, 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2342⟩
Conference papers
hal-02900533v1
|
|
Formal Synthesis from Control ProgramsIEEE Conference on Decision and Control, 2020, Jeju Island, South Korea. ⟨10.1109/CDC42340.2020.9304330⟩
Conference papers
hal-02935753v1
|
|
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⟩
Conference papers
hal-02148745v1
|
|
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⟩
Conference papers
hal-02208665v1
|
|
Symbolic models for incrementally stable singularly perturbed hybrid affine systemsAmerican Control Conference, 2019, Philadelphia, United States. ⟨10.23919/ACC.2019.8815249⟩
Conference papers
hal-02043303v1
|
|
Efficient Synthesis for Monotone Transition Systems and Directed Safety SpecificationsIEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩
Conference papers
hal-02281945v2
|
|
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using MonotonicityIEEE Conference on Decision and Control, 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029740⟩
Conference papers
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⟩
Conference papers
hal-02070070v1
|
|
Reference Tracking for Linear Time Invariant Systems with a Relay ControlIEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9030267⟩
Conference papers
hal-02284785v1
|
|
Safety controller design for incrementally stable switched systems using event-based symbolic modelsEuropean Control Conference, 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩
Conference papers
hal-02054930v1
|
|
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⟩
Conference papers
hal-01760789v1
|
|
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⟩
Conference papers
hal-02287002v1
|
|
From dissipativity theory to compositional synthesis of symbolic modelsIndian Control Conference, Jan 2018, Kanpur, India. ⟨10.1109/indiancc.2018.8307949⟩
Conference papers
hal-01620525v1
|
|
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⟩
Conference papers
hal-01761180v1
|
|
LMI-based design of dynamic event-triggering mechanism for linear systemsIEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, United States. pp.121-126, ⟨10.1109/CDC.2018.8619103⟩
Conference papers
hal-02268566v1
|
Compositional Synthesis for Symbolic Control21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.136-136, ⟨10.1145/3178126.3196957⟩
Conference papers
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⟩
Conference papers
hal-01818644v1
|
|
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⟩
Conference papers
hal-02053179v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-01712710v1
|
|
Language constrained stabilization of discrete-time switched linear systems: an LMI approachADHS 2018 - 6th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.005⟩
Conference papers
hal-01899003v1
|
|
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⟩
Conference papers
hal-01620520v1
|
|
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⟩
Conference papers
hal-01538604v1
|
|
Fluid-flow modeling and stability analysis of communication networksIFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France
Conference papers
hal-01576879v1
|
|
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⟩
Conference papers
hal-01540841v1
|
|
Self-Triggered Control for Sampled-data Systems using Reachability AnalysisIFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Conference papers
hal-01540847v1
|
|
Multirate Symbolic Models for Incrementally Stable Switched SystemsIFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩
Conference papers
hal-01540854v1
|
|
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
Conference papers
hal-01309675v1
|
|
Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approachCDC 2016 - 55th IEEE Conference on Decision and Control, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799120⟩
Conference papers
hal-01386851v1
|
|
Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approachECC 2016 - 15th European Control Conference, Jun 2016, Aalborg, Denmark. pp.2035-2040, ⟨10.1109/ecc.2016.7810591⟩
Conference papers
hal-01294210v1
|
|
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⟩
Conference papers
hal-01379136v1
|
|
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⟩
Conference papers
hal-01276251v1
|
|
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⟩
Conference papers
hal-01276239v1
|
|
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
Conference papers
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⟩
Conference papers
hal-01180975v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-01203715v1
|
|
|
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⟩
Conference papers
hal-01204815v1
|
|
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⟩
Conference papers
hal-00988959v2
|
|
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⟩
Conference papers
hal-01076175v1
|
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⟩
Conference papers
hal-01133216v1
|
|
|
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⟩
Conference papers
hal-01144135v1
|
|
On stabilizability conditions for discrete-time switched linear systemsCDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.5469-5474, ⟨10.1109/CDC.2014.7040244⟩
Conference papers
hal-01084388v1
|
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⟩
Conference papers
hal-01133219v1
|
|
|
Approximation of singularly perturbed linear hyperbolic systemsMTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 4 p
Conference papers
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⟩
Conference papers
hal-01133212v1
|
|
|
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⟩
Conference papers
hal-00926211v1
|
|
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⟩
Conference papers
hal-00858715v1
|
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⟩
Conference papers
hal-00839613v1
|
|
|
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⟩
Conference papers
hal-00926379v1
|
|
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⟩
Conference papers
hal-00839621v1
|
Control of polynomial dynamical systems on rectanglesECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.658-663, ⟨10.23919/ECC.2013.6669360⟩
Conference papers
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⟩
Conference papers
hal-01492943v1
|
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⟩
Conference papers
hal-00839619v1
|
|
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⟩
Conference papers
hal-00924815v1
|
|
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⟩
Conference papers
hal-00769672v1
|
|
Multi-Agent Flocking with Random Communication RadiusACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. pp.3871-3876
Conference papers
hal-00769675v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00769673v1
|
|
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⟩
Conference papers
hal-00769676v1
|
|
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⟩
Conference papers
hal-00665226v1
|
|
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⟩
Conference papers
hal-00769608v1
|
|
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⟩
Conference papers
hal-00665219v1
|
|
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⟩
Conference papers
hal-00769579v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00769582v1
|
|
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⟩
Conference papers
hal-00769568v1
|
|
Consensus, flocking and opinion dynamicsInternational Summer School of Automatic Control, Sep 2010, Grenoble, France
Conference papers
hal-00770292v1
|
|
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⟩
Conference papers
hal-00769592v1
|
|
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⟩
Conference papers
hal-00769604v1
|
|
Vérification des systèmes hybridesÉcole des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France
Conference papers
hal-00770289v1
|
|
Symbolic models of control systemsHeterogeneity in control systems, May 2009, Nancy, France
Conference papers
hal-00770290v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00379746v1
|
|
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
Conference papers
hal-00307089v1
|
|
Systèmes à commutation, stabilité, représentation symbolique et commandeGroupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France
Conference papers
hal-00770284v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00306993v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00307009v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00307020v1
|
|
Presentation of the VAL-AMS projectGrand Colloque STIC, Nov 2007, Paris, France
Conference papers
hal-00307092v1
|
|
Méthodes algorithmiques pour l'analyse des systèmes hybridesJournées Nationales du GDR MACS, Jul 2007, Reims, France
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-00306999v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00171555v1
|
|
Verification using simulationHybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.272-286, ⟨10.1007/11730637_22⟩
Conference papers
hal-00171538v1
|
|
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⟩
Conference papers
hal-00307031v1
|
|
Approximation metrics for discrete and continuous systemsWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Conference papers
hal-00171714v1
|
|
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-00171556v1
|
|
Zonotope techniques for reachability analysisWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Conference papers
hal-00171716v1
|
|
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⟩
Conference papers
hal-00307035v1
|
|
Time-triggered implementations of dynamic controllersConference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, ⟨10.1145/1176887.1176890⟩
Conference papers
hal-00171553v1
|
|
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⟩
Conference papers
hal-00171559v1
|
|
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⟩
Conference papers
hal-00171539v1
|
|
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⟩
Conference papers
hal-00307047v1
|
|
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⟩
Conference papers
hal-00307003v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
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
Conference papers
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⟩
Books
hal-01818954v1
|
|
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems2018
Books
hal-01912654v1
|
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⟩
Book sections
hal-02372335v1
|
|
|
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⟩
Book sections
hal-01856317v1
|
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⟩
Book sections
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
Book sections
hal-01912683v1
|
|
Symbolic synthesis for cyber-physical systemsRaj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering
Book sections
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
Book sections
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
Book sections
hal-00765809v1
|
|
Synthesis of Input-to-State Safety and Attractivity Controllers using Nested Sequences of Abstractions2022
Preprints, Working Papers, ...
hal-03658262v1
|
|
Data-Driven Models of Monotone Systems2022
Preprints, Working Papers, ...
hal-03709123v1
|
|
Singular perturbation approximation of linear hyperbolic systems of balance laws (full version)[Research Report] Gipsa-Lab. 2015
Reports
hal-01175825v2
|
|
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions[Research Report] RR-8108, INRIA. 2012
Reports
hal-00743982v1
|
|
Analyse Algorithmique des Systèmes HybridesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Theses
tel-00007064v1
|
|
Computational Approaches to Analysis and Control of Hybrid SystemsOptimization and Control [math.OC]. Université de Grenoble, 2013
Habilitation à diriger des recherches
tel-00908913v1
|
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
hal-01170573v1
|