Antoine Girard
Computational Theory and Mathematics · 2005–2021
A researcher in the Science corpus: 9 papers; trusts 24 researchers and is trusted by 43 researchers here, as inferred from the citation graph.
Subfields
- Computational Theory and Mathematics — 39 citations into it; #1,355 of 12,182 by trust here, #2,351 by citations
- Control and Systems Engineering — 22 citations into it; #494 of 8,257 by trust here, #2,692 by citations
- Artificial Intelligence — 12 citations into it; #22,732 of 35,345 by trust here, #32,362 by citations
- Software — 9 citations into it; #335 of 1,227 by trust here, #489 by citations
- Computer Vision and Pattern Recognition — 7 citations into it
- Hardware and Architecture — 7 citations into it; #1,030 of 1,551 by trust here, #954 by citations
Whom Antoine Girard trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Paulo Tabuada
- W. M. Heemels
- Alongkrit Chutinan
- Adolfo Anta Martinez
- Manuel Mazo Jr.
- Xiaofeng Wang
- Pravin Pratap Varaiya
- Bruce H. Krogh
- George Pappas
- Rajeev Alur
Who trusts Antoine Girard overall
- Matthias Althoff
- Rajeev Alur
- Victor S. Dolk
- Khalil Ghorbal
- Xinlei Yi
- Giordano Pola
- Cameron Nowzari
- George Pappas
- Georgios Fainekos
- Songlin Hu
Papers from Antoine Girard's perspective
Ordered by how strongly the researchers Antoine Girard trusts endorse each paper. Same corpus, a different order for every researcher.
- Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks (IEEE Transactions on Automatic Control)
- Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability (IEEE Transactions on Automatic Control)
- Switching in Systems and Control (Systems & Control: Foundations & Applications)
- Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
- Analysis of event-driven controllers for linear systems (International Journal of Control)
- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)
- Approximation Metrics for Discrete and Continuous Systems (IEEE Transactions on Automatic Control)
- Comparison of Riemann and Lebesgue sampling for first order stochastic systems (Proceedings of the 41st IEEE Conference on Decision and Control, 2002.)
- I and i
- To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems (IEEE Transactions on Automatic Control)
Their papers
- Approximation Metrics for Discrete and Continuous Systems (2006) — 505 citations
- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (2006) — 301 citations
- Reachability of Uncertain Linear Systems Using Zonotopes (2005) — 691 citations
- Temporal logic motion planning for dynamic robots (2009) — 493 citations
- SpaceEx: Scalable Verification of Hybrid Systems (2011) — 987 citations
- Approximately bisimilar symbolic models for nonlinear control systems (2007) — 314 citations
- Set Propagation Techniques for Reachability Analysis (2021) — 297 citations
- Dynamic Triggering Mechanisms for Event-Triggered Control (2013) — 1,802 citations
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (2008) — 380 citations