Searching for authors named "Antoine Girard" – sorted by Relevance.
-
Approximately bisimilar finite abstractions of stable linear systems
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems ⋆ Antoine Girard Université
- Cited by 1 (1 self) – Add To MetaCart
-
Verification using simulation
- Verification using Simulation ⋆ Antoine Girard and George J. Pappas Department of Electrical
- Cited by 11 (3 self) – Add To MetaCart
-
Approximate bisimulation relations for constrained linear systems
- APPROXIMATE BISIMULATION RELATIONS FOR CONSTRAINED LINEAR SYSTEMS ANTOINE GIRARD AND GEORGE J
- Cited by 1 (0 self) – Add To MetaCart
-
Discrete Event Dyn Syst DOI 10.1007/s10626-007-0029-9 Approximate Simulation Relations for Hybrid Systems
- Systems Antoine Girard · A. Agung Julius · George J. Pappas Received: 27 September 2006 / Accepted: 18
- Add To MetaCart
-
Symbolic models for nonlinear control systems using approximate bisimulation
- , University of California at Los Angeles, Los Angeles, CA 90095-1594, USA pola,tabuada@(email omitted);. A. Girard
- Add To MetaCart
-
Temporal Logic Verification Using Simulation
- Temporal Logic Verification Using Simulation Georgios E. Fainekos 1 , Antoine Girard 2
- Cited by 4 (2 self) – Add To MetaCart
-
Hierarchical Control using Approximate Simulation Relations
- ) Grant 0132716, and the ARO MURI MURI DAAD 19-02-01-0383. Antoine Girard is with VERIMAG, 2 avenue de
- Cited by 5 (2 self) – Add To MetaCart
-
Hybridization methods for the analysis of nonlinear systems
- · Antoine Girard Hybridization Methods for the Analysis of Nonlinear Systems Received: date / Revised: date
- Cited by 4 (0 self) – Add To MetaCart
-
Hierarchical synthesis of hybrid controllers from temporal logic specifications
- . Fainekos 1 , Antoine Girard 2 , and George J. Pappas 3 1 Department of Computer and Information Science
- Cited by 2 (2 self) – Add To MetaCart
-
Approximation metrics for discrete and continuous systems
- for Discrete and Continuous Systems Antoine Girard and George J. Pappas, Senior Member, IEEE Abstract
- Cited by 24 (7 self) – Add To MetaCart

