The following pages link to Antoine Girard (Q246546):
Displaying 50 items.
- Robust controlled invariance for monotone systems: application to ventilation regulation in buildings (Q290816) (← links)
- Event-based control of linear hyperbolic systems of conservation laws (Q290890) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Controller synthesis for robust invariance of polynomial dynamical systems using linear programming (Q450640) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Clustered model reduction of positive directed networks (Q894366) (← links)
- Tikhonov theorem for linear hyperbolic systems (Q895105) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
- Stability analysis of a general class of singularly perturbed linear hybrid systems (Q1640720) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems (Q1737668) (← links)
- Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems (Q1796985) (← links)
- Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
- Data-driven modeling of the temporal evolution of breakers' states in the French electrical transmission grid (Q2085135) (← links)
- Stability of shuffled switched linear systems: A joint spectral radius approach (Q2158990) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis (Q2406963) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems (Q2835358) (← links)
- Continuous-time consensus under persistent connectivity and slow divergence of reciprocal interaction weights (Q2848598) (← links)
- Consensus with Constrained Convergence Rate and Time-Delays (Q2926550) (← links)
- Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws (Q2980345) (← links)
- Coordination in Networks of Linear Impulsive Agents (Q2980387) (← links)
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models (Q2980524) (← links)
- On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons (Q2980552) (← links)
- Dynamic Triggering Mechanisms for Event-Triggered Control (Q2982690) (← links)
- Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques (Q2983081) (← links)
- Synthesis using approximately bisimilar abstractions (Q2985872) (← links)
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions (Q2986729) (← links)
- Compositionality results for cardiac cell dynamics (Q2986971) (← links)
- Verification and Synthesis of Timing Contracts for Embedded Controllers (Q2988969) (← links)
- Singular Perturbation Approach for Linear Coupled ODE-PDE Systems (Q3297382) (← links)
- Temporal Logic Verification Using Simulation (Q3511234) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q3523108) (← links)
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis (Q3523109) (← links)
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (Q3612972) (← links)
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems (Q3612974) (← links)
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics (Q3624590) (← links)
- Reachability Analysis of Hybrid Systems Using Support Functions (Q3636880) (← links)
- (Q4417974) (← links)
