Antoine Girard
Présentation
Publications
Publications
|
|
Safe navigation using NMPC based on a K-invariant set and its exploration featuresIEEE Conference on Decision and Control, Dec 2025, Rio de Janeiro, Brazil., Brazil |
|
|
Enhanced convex lifting for environment with complex shaped obstaclesICSTCC 2025 - 29th International Conference on System Theory, Control and Computing, Oct 2025, Cluj-Napoca, Romania |
|
|
Continuous-Time Nonlinear Optimal Control Problem Under Signal Temporal Logic ConstraintsIEEE Conference on Decision and Control, 2025, Rio de Janeiro, Brazil |
|
|
Estimating the Impacts of Topological Changes in Sub-Transmission Areas Using Hybrid ObserversIFAC Workshop on Smart Energy Systems for Efficient and Sustainable Smart Grids and Smart Cities, Jun 2025, Bari, Italy |
|
|
Memoryless concretization relationInternational Conference on Hybrid Systems: Computation and Control, May 2024, Hong Kong, China. ⟨10.1145/3641513.3650132⟩ |
|
|
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. pp.147-152, ⟨10.1016/j.ifacol.2024.07.439⟩ |
|
|
Symbolically Synthesized Motion Primitives for Autonomous Navigation63rd IEEE Conference on Decision and Control (CDC 2024), Dec 2024, Milan, Italy. ⟨10.1109/cdc56724.2024.10886590⟩ |
|
|
Identification of the Bandwidth of a Magneto-Inertial Navigation FilterMICNON 2024 - 4th IFAC Conference on Modelling, Identification and Control of Nonlinear Systems, IFAC, Sep 2024, Lyon, France. ⟨10.1016/j.ifacol.2024.10.148⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Invariant Sets for Assume-Guarantee Contracts61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. ⟨10.1109/cdc51059.2022.9993344⟩ |
|
|
On the Joint Spectral Radius of Shuffled Switched Linear SystemsInternational Symposium on Mathematical Theory of Networks and Systems, 2022, Bayreuth, Germany |
|
|
Data-Driven Abstraction of Monotone SystemsLearning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Abstraction of Monotone Systems Based on Feedback ControllersIFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2342⟩ |
|
|
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⟩ |
|
|
Formal Synthesis from Control ProgramsIEEE Conference on Decision and Control, 2020, Jeju Island, South Korea. ⟨10.1109/CDC42340.2020.9304330⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Symbolic models for incrementally stable singularly perturbed hybrid affine systemsAmerican Control Conference, 2019, Philadelphia, United States. ⟨10.23919/ACC.2019.8815249⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Compositional Synthesis for Symbolic Control21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.136-136, ⟨10.1145/3178126.3196957⟩ |
|
|
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⟩ |
|
|
From dissipativity theory to compositional synthesis of symbolic modelsIndian Control Conference, Jan 2018, Kanpur, India. ⟨10.1109/indiancc.2018.8307949⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Fluid-flow modeling and stability analysis of communication networksIFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
Approximation of singularly perturbed linear hyperbolic systemsMTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 4 p |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
Control of polynomial dynamical systems on rectanglesECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.658-663, ⟨10.23919/ECC.2013.6669360⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
Multi-Agent Flocking with Random Communication RadiusACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. pp.3871-3876, ⟨10.1109/ACC.2012.6315594⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
Consensus, flocking and opinion dynamicsInternational Summer School of Automatic Control, Sep 2010, Grenoble, France |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
Symbolic models of control systemsHeterogeneity in control systems, May 2009, Nancy, France |
|
Vérification des systèmes hybridesÉcole des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France |
|
Systèmes à commutation, stabilité, représentation symbolique et commandeGroupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France |
|
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 |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
Presentation of the VAL-AMS projectGrand Colloque STIC, Nov 2007, Paris, France |
|
Méthodes algorithmiques pour l'analyse des systèmes hybridesJournées Nationales du GDR MACS, Jul 2007, Reims, France |
|
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⟩ |
|
Zonotope techniques for reachability analysisWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
Approximate bisimulation for a class of stochastic hybrid systemsAmerican Control Conference, Jun 2006, Portland, United States. pp.4724-4729, ⟨10.1109/ACC.2006.1657467⟩ |
|
Temporal logic verification using simulationFormal Modelling and Analysis of Timed Systems, FORMATS 2006, Sep 2006, Paris, France. pp.171-186, ⟨10.1007/11867340_1⟩ |
|
Verification using simulationHybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.272-286, ⟨10.1007/11730637_22⟩ |
|
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⟩ |
|
Approximation metrics for discrete and continuous systemsWorkshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States |
|
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 |
|
Time-triggered implementations of dynamic controllersConference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, ⟨10.1145/1176887.1176890⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
Approximate solutions of ODEs using piecewise linear vector fields5th International Workshop on Computer Algebra in Scientific Computing, Sep 2002, Yalta, Ukraine. pp.107-120 |
|
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 |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
Symbolic synthesis for cyber-physical systemsRaj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering |
|
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 |
|
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 |
|
|
Risk-Averse Control for Continuous-Time Stochastic System Under Signal Temporal Logic Constraints2025 |
|
|
Optimal Control Problem Under Signal Temporal Logic Constraints: A Robust Reformulation using Augmented Dynamics2025 |
|
|
Controllable Sequences of Minimal Length for Discrete-Time Switched Linear Control Systems2025 |
|
|
Feedback stabilization of switched systems under arbitrary switching: A convex characterization2025 |
|
|
Classification of simulation relations for symbolic control2024 |
|
|
Singular perturbation approximation of linear hyperbolic systems of balance laws (full version)[Research Report] Gipsa-Lab. 2015 |
|
|
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions[Research Report] RR-8108, INRIA. 2012 |
|
|
Analyse Algorithmique des Systèmes HybridesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩ |
|
|
Computational Approaches to Analysis and Control of Hybrid SystemsOptimization and Control [math.OC]. Université de Grenoble, 2013 |
Symbolic Control of Nonlinear Systems: Safety, Optimization and LearningDoctoral. 44th International Summer School of Automatic Control, Grenoble, France. 2023 |
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018 |
|
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 |
Special Issue on Advances in Analysis and Design of Hybrid SystemsNonlinear Analysis: Hybrid Systems, 2022 |
|
|
|
Special issue on Hybrid Systems: Computation and ControlNonlinear Analysis: Hybrid Systems, 27, pp.174 - 176, 2018, ⟨10.1016/j.nahs.2017.07.001⟩ |