The SCEAS System
| |||||||

## Search the dblp DataBase
Antoine Girard:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Georgios E. Fainekos, Antoine Girard, George J. Pappas
**Temporal Logic Verification Using Simulation.**[Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:171-186 [Conf] - 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] - Antoine Girard
**Reachability of Uncertain Linear Systems Using Zonotopes.**[Citation Graph (0, 0)][DBLP] HSCC, 2005, pp:291-305 [Conf] - 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] - Antoine Girard, George J. Pappas
**Verification Using Simulation.**[Citation Graph (0, 0)][DBLP] HSCC, 2006, pp:272-286 [Conf] - 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] - Antoine Girard
**Approximately Bisimilar Finite Abstractions of Stable Linear Systems.**[Citation Graph (0, 0)][DBLP] HSCC, 2007, pp:231-244 [Conf] - 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] - 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] **Reachability Analysis of Hybrid Systems Using Support Functions.**[Citation Graph (, )][DBLP]**Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.**[Citation Graph (, )][DBLP]**Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.**[Citation Graph (, )][DBLP]**Bounded and Unbounded Safety Verification Using Bisimulation Metrics.**[Citation Graph (, )][DBLP]**Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.**[Citation Graph (, )][DBLP]**Motion planning for nonlinear systems using hybridizations and robust controllers on simplices.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |