Thèses de doctorat
E. Farcot, Etude d'une classe d'équations différentielles affines par morceaux modélisant
des réseaux de régulation biologique ,Thèse de doctorat de l'Institut National Polytechnique de
Grenoble, juillet 2005. (pdf)
A. Girard, Analyse algorithmique des systèmes hybrides ,
Thèse de doctorat de l'Institut National Polytechnique de Grenoble, juillet 2005.
(pdf)
L. Tournier, Etude et modélisation mathématique de réseaux de régulation génétique et
métabolique ,
Thèse de doctorat de l'Institut National Polytechnique de Grenoble, juillet 2005.
(pdf)
Journaux internationaux avec comités de sélection
E. Farcot, Geometric properties of a class of piecewise affine biological network
models,
Journal of Mathematical Biology, 52(3):373-418, 2006.
(pdf)
A. Girard, Towards a multiresolution approach to linear control,
IEEE Transactions on Automatic Control, 51(8):1261-1270, 2006.
(pdf)
A. Girard et G.J. Pappas,
Approximation metrics for discrete and continuous systems,
IEEE Transactions on Automatic Control, 2005, accepté pour publication.
(pdf)
A. Girard et G.J. Pappas,
Approximate bisimulation relations for constrained linear systems,
Automatica, 2005, accepté pour publication.
(pdf)
Chapitres de livre avec comité de sélection
A. Girard et G.J. Pappas,
Verification using simulation,
Hybrid Systems: Computation and Control,
J.P. Hespanha et A. Tiwari (Eds), LNCS 3927, pp 272-286, Springer, 2006.
(pdf)
A. Girard, C. Le Guernic et O. Maler,
Efficient computation of reachable sets of linear time-invariant systems with inputs,
Hybrid Systems: Computation and Control,
J.P. Hespanha et A. Tiwari (Eds), LNCS 3927, pp 257-271, Springer, 2006.
(pdf)
A. Girard,
Reachability of uncertain linear systems using zonotopes,
Hybrid Systems: Computation and Control,
M. Morari et L. Thiele (Eds), LNCS 3414, pp 291-305, Springer, 2005.
(pdf)
Conférences internationales
J. Della Dora, A. Maignan et L. Tournier,
Dynamic systems: an algorithmic point of view,
dans les actes de Transgressive Computing, pp 3-14, Grenade, Espagne, Avril 2006.
(pdf)
E. Farcot,
Symbolic numeric analysis of attractors in randomly generated piecewise affine models of
gene networks,
dans les actes de International Symposium on Symbolic and Algebraic Computation, Genova, Italie,
Juillet 2006.
(pdf)
A. Girard, A.A. Julius et G.J. Pappas,
Approximate simulation relations for hybrid systems,
dans les actes de Analysis and Design of Hybrid Systems, Alghero, Italie, Juin 2006.
(pdf)
A. Girard et G.J. Pappas,
Approximate bisimulations for constrained linear systems,
dans les actes de 44th IEEE Conference on Decision and Control and European Control Conference,
pp 4700-4705, Séville, Espagne, Décembre 2005.
(pdf)
A. Girard et G.J. Pappas,
Approximate bisimulations for nonlinear dynamical systems,
dans les actes de 44th IEEE Conference on Decision and Control and European Control Conference,
pp 684-689, Séville, Espagne, Décembre 2005.
(pdf)
A. Girard,
Optimal control of linear systems: a multiresolution approach,
dans les actes de 43rd IEEE Conference on Decision and Control and European Control Conference,
Nassau, The Bahamas, Décembre 2004.
(pdf)
A.A. Julius, A. Girard et G.J. Pappas,
Approximate bisimulation for a class of stochastic hybrid systems,
dans les actes de American Control Conference, Portland, Oregon, USA, Juin 2006.
(pdf)
L. Tournier,
Approximation of dynamical systems using S-systems theory: application to biological systems,
dans les actes de International Symposium on Symbolic and Algebraic Computation, Pékin,
Chine, Juillet 2005.
(pdf)
H. Yazarel, A. Girard, G.J. Pappas et R. Alur,
Quantifying the gap between embedded control models and time-triggered implementations,
dans les actes de 26th IEEE Real-Time Systems Symposium, pp 111-120, Miami, Floride,
USA, Décembre 2005.
(pdf)
Rapport Technique
A. Maignan,
Systèmes hybrides évolutifs,
rapport technique IMAG, septembre 2006.
(pdf)
Logiciel
MATISSE:
Metrics for Approximate TransItion Systems Simulation and Equivalence.
CASCADE:
Computational Analysis and Simulation using Continuous Approximations for
Differential Equations.
|