
Antoine Girard
217
Documents
Présentation
Publications
16
16
8
7
6
5
5
4
4
4
4
4
4
3
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
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
25
17
15
13
10
10
9
9
8
8
7
7
7
7
7
6
6
6
5
5
5
5
5
4
4
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
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Publications
|
Symbolic Control: Unveiling Free Robustness Margins23rd European Control Conference (ECC25), Jun 2025, Thessalonique, Greece
Communication dans un congrès
hal-05051416
v1
|
|
Memoryless concretization relationInternational Conference on Hybrid Systems: Computation and Control, 2024, Hong Kong, China
Communication dans un congrès
hal-04527089
v1
|
|
Online Learning for Safe Model Predictive Control with the Compatible Models Approach ⋆8th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2024, Boulder (CO), United States
Communication dans un congrès
hal-04577237
v1
|
|
Symbolically Synthesized Motion Primitives for Autonomous Navigation63rd IEEE Conference on Decision and Control (CDC 2024), Dec 2024, Milan, Italy. ⟨10.1109/cdc56724.2024.10886590⟩
Communication dans un congrès
hal-04678873
v1
|
|
Identification of the Bandwidth of a Magneto-Inertial Navigation Filter4th IFAC MICNON2024, Conference of Modelling, Identification and Control of Nonlinear Systems, IFAC, Sep 2024, Lyon, France. ⟨10.1016/j.ifacol.2024.10.148⟩
Communication dans un congrès
hal-04642739
v1
|
|
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-04072014
v1
|
|
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-04173992
v1
|
|
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-03708834
v1
|
|
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-03649665
v1
|
|
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-03767014
v1
|
|
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-03727152
v1
|
|
Data-Driven Abstraction of Monotone SystemsLearning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland
Communication dans un congrès
hal-03216643
v1
|
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-04491984
v1
|
|
|
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-03190435
v1
|
|
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-03349984
v1
|
|
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-03216649
v1
|
|
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-02900533
v1
|
|
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-02554329
v1
|
|
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-02935753
v1
|
|
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-02054930
v1
|
|
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-02043303
v1
|
|
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-02208665
v1
|
|
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-02148745
v1
|
|
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-02281945
v2
|
|
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-02286407
v1
|
|
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-02070070
v1
|
|
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-02284785
v1
|
|
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⟩
Communication dans un congrès
hal-01899003
v1
|
|
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-01712710
v1
|
|
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-01620525
v1
|
|
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-01761180
v1
|
|
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-02268566
v1
|
|
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-02287002
v1
|
|
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-01760789
v1
|
|
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-02053194
v1
|
|
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-01620520
v1
|
|
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-01818644
v1
|
|
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-02053179
v1
|
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-04492493
v1
|
|
|
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-01857389
v1
|
|
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-01540854
v1
|
|
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-01540841
v1
|
|
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-01540847
v1
|
|
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-01576879
v1
|
|
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-01538604
v1
|
|
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⟩
Communication dans un congrès
hal-01386851
v1
|
|
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⟩
Communication dans un congrès
hal-01294210
v1
|
|
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-01309675
v1
|
|
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-01276251
v1
|
|
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-01379136
v1
|
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-01203715
v1
|
|
|
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-01276239
v1
|
|
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-01076175
v1
|
|
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-01492955
v1
|
|
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-01214441
v1
|
|
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, GA, United States. pp.317-322, ⟨10.1016/j.ifacol.2015.11.194⟩
Communication dans un congrès
hal-01180975
v1
|
|
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability AnalysisAnalysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, GA, United States. pp.358-363, ⟨10.1016/j.ifacol.2015.11.200⟩
Communication dans un congrès
hal-01276237
v1
|
|
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-01204815
v1
|
|
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-01133216
v1
|
|
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-00988959
v2
|
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-01133212
v1
|
|
|
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-00997291
v1
|
|
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⟩
Communication dans un congrès
hal-01084388
v1
|
|
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-01144135
v1
|
|
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-01133219
v1
|
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-00924815
v1
|
|
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-00839619
v1
|
|
|
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-01492943
v1
|
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-00839615
v1
|
|
|
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-00839621
v1
|
|
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-00858715
v1
|
|
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-00926211
v1
|
|
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-00926379
v1
|
|
CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions16th international conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩
Communication dans un congrès
hal-04482406
v1
|
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-00769672
v1
|
|
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-00769675
v1
|
|
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-00769673
v1
|
|
|
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-00734469
v1
|
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, HI, United States. pp.4175-4180, ⟨10.1109/CDC.2012.6426793⟩
Communication dans un congrès
hal-00769676
v1
|
|
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-00665219
v1
|
|
|
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-00769608
v1
|
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-00665226
v1
|
|
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-00769600
v1
|
|
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-00769579
v1
|
|
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-00769582
v1
|
|
Consensus, flocking and opinion dynamicsInternational Summer School of Automatic Control, Sep 2010, Grenoble, France
Communication dans un congrès
hal-00770292
v1
|
|
|
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-00769568
v1
|
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-00769592
v1
|
|
Consensus with constrained convergence rate: Agreement in communitiesCDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.6311-6316, ⟨10.1109/CDC.2010.5717635⟩
Communication dans un congrès
hal-00769604
v1
|
|
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
istex
hal-00379746
v1
|
|
|
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-00769527
v1
|
Vérification des systèmes hybridesÉcole des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France
Communication dans un congrès
hal-00770289
v1
|
|
Symbolic models of control systemsHeterogeneity in control systems, May 2009, Nancy, France
Communication dans un congrès
hal-00770290
v1
|
|
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-00770284
v1
|
|
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-00307089
v1
|
|
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
istex
hal-00306993
v1
|
|
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
istex
hal-00306990
v1
|
|
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-00379740
v1
|
|
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-00307009
v1
|
|
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
istex
hal-00306999
v1
|
|
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-00307012
v1
|
|
|
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-00307020
v1
|
Presentation of the VAL-AMS projectGrand Colloque STIC, Nov 2007, Paris, France
Communication dans un congrès
hal-00307092
v1
|
|
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-00307096
v1
|
|
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
istex
hal-00306996
v1
|
|
Zonotope techniques for reachability analysisWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Communication dans un congrès
hal-00171716
v1
|
|
|
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-00307028
v1
|
|
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-00171559
v1
|
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-00171539
v1
|
|
|
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-00171555
v1
|
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
istex
hal-00171560
v1
|
|
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-00171556
v1
|
|
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
istex
hal-00171538
v1
|
|
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-00307031
v1
|
|
Approximation metrics for discrete and continuous systemsWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Communication dans un congrès
hal-00171714
v1
|
|
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-00171715
v1
|
|
|
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-00307035
v1
|
|
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-00171553
v1
|
|
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-00307047
v1
|
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
istex
hal-00307003
v1
|
|
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-00307049
v1
|
|
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-00307053
v1
|
|
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
istex
hal-00307007
v1
|
|
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-00307056
v1
|
|
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-00307055
v1
|
|
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-01818954
v1
|
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, 978-3-031-49555-7. ⟨10.1007/978-3-031-49555-7_11⟩
Chapitre d'ouvrage
hal-04527093
v1
|
|
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-04527099
v1
|
|
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-02372335
v1
|
|
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-01862551
v1
|
|
|
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-01856317
v1
|
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-01912683
v1
|
|
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-01620555
v1
|
|
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-00765812
v1
|
|
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-00765809
v1
|
|
Classification of simulation relations for symbolic control2024
Pré-publication, Document de travail
hal-04737441
v1
|
|
Singular perturbation approximation of linear hyperbolic systems of balance laws (full version)[Research Report] Gipsa-Lab. 2015
Rapport
(rapport de recherche)
hal-01175825
v2
|
|
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions[Research Report] RR-8108, INRIA. 2012
Rapport
(rapport de recherche)
hal-00743982
v1
|
|
Analyse Algorithmique des Systèmes HybridesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Thèse
tel-00007064
v1
|
|
Computational Approaches to Analysis and Control of Hybrid SystemsOptimization and Control [math.OC]. Université de Grenoble, 2013
HDR
tel-00908913
v1
|
Symbolic Control of Nonlinear Systems: Safety, Optimization and LearningDoctoral. 44th International Summer School of Automatic Control, Grenoble, France. 2023
Cours
hal-04410084
v1
|
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-01912654
v1
|
|
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-01170573
v1
|
Special Issue on Advances in Analysis and Design of Hybrid SystemsNonlinear Analysis: Hybrid Systems, 2022
N°spécial de revue/special issue
hal-04347655
v1
|
|
|
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-01620539
v1
|
Chargement...
Chargement...