Searching for authors named "Antoine Girard" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
