The following pages link to Antoine Girard (Q246546):
Displaying 30 items.
- Formal Controller Synthesis from Hybrid Programs (Q4561462) (← links)
- Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations (Q4649293) (← links)
- Event-Based Boundary Control of a Linear <inline-formula> <tex-math notation="LaTeX">$2\times 2$ </tex-math> </inline-formula> Hyperbolic System via Backstepping Approach (Q4682323) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661) (← links)
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems (Q4990152) (← links)
- Switching Rules for Stabilization of Linear Systems of Conservation Laws (Q5258944) (← links)
- Scheduling of Embedded Controllers Under Timing Contracts (Q5275326) (← links)
- Towards a Multiresolution Approach to Linear Control (Q5281899) (← links)
- Approximation Metrics for Discrete and Continuous Systems (Q5282109) (← links)
- Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs (Q5347805) (← links)
- Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices (Q5352791) (← links)
- Multiagent Flocking Under General Communication Rule (Q5358414) (← links)
- (Q5375276) (← links)
- Hybrid Systems: Computation and Control (Q5703929) (← links)
- Hybrid Systems: Computation and Control (Q5898983) (← links)
- Hybrid Systems: Computation and Control (Q5898984) (← links)
- Singular perturbation approximation by means of a \(H^2\) Lyapunov function for linear hyperbolic systems (Q5963124) (← links)
- Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity (Q6046738) (← links)
- Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis (Q6047080) (← links)
- Event-triggered neural network control using quadratic constraints for perturbed systems (Q6073038) (← links)
- Safe learning-based model predictive control using the compatible models approach (Q6092457) (← links)
- Memoryless concretization relation (Q6526135) (← links)
- Nonstandard anti-windup approach for event-triggered control purpose (Q6540810) (← links)
- An automata theoretic approach to observer design for switched linear systems (Q6566772) (← links)
- A joint spectral radius for \(\omega\)-regular language-driven switched linear systems (Q6612769) (← links)
- Layers update of neural network control via event-triggering mechanism (Q6612773) (← links)
- Nonlinear model predictive control based on \(K\)-step control invariant sets (Q6652184) (← links)
- Data-driven models of monotone systems (Q6667840) (← links)
- Synthesis of input-to-state attractivity controllers for transition systems with disturbances (Q6667958) (← links)
- From relaxed constraint satisfaction to p-invariance of sets (Q6668218) (← links)
