The SCEAS System
Navigation Menu

Search the dblp DataBase


Antoine Girard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
    Time-triggered implementations of dynamic controllers. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:2-11 [Conf]
  2. Georgios E. Fainekos, Antoine Girard, George J. Pappas
    Temporal Logic Verification Using Simulation. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:171-186 [Conf]
  3. Eugene Asarin, Thao Dang, Antoine Girard
    Reachability Analysis of Nonlinear Systems Using Conservative Approximation . [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:20-35 [Conf]
  4. Antoine Girard
    Reachability of Uncertain Linear Systems Using Zonotopes. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:291-305 [Conf]
  5. Antoine Girard, Colas Le Guernic, Oded Maler
    Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:257-271 [Conf]
  6. Antoine Girard, George J. Pappas
    Verification Using Simulation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:272-286 [Conf]
  7. Georgios E. Fainekos, Antoine Girard, George J. Pappas
    Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:203-216 [Conf]
  8. Antoine Girard
    Approximately Bisimilar Finite Abstractions of Stable Linear Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:231-244 [Conf]
  9. Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
    Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:111-120 [Conf]
  10. Eugene Asarin, Thao Dang, Antoine Girard
    Hybridization methods for the analysis of nonlinear systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2007, v:43, n:7, pp:451-476 [Journal]

  11. Reachability Analysis of Hybrid Systems Using Support Functions. [Citation Graph (, )][DBLP]

  12. Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. [Citation Graph (, )][DBLP]

  13. Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. [Citation Graph (, )][DBLP]

  14. Bounded and Unbounded Safety Verification Using Bisimulation Metrics. [Citation Graph (, )][DBLP]

  15. Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. [Citation Graph (, )][DBLP]

  16. Motion planning for nonlinear systems using hybridizations and robust controllers on simplices. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002