Search - IMAG Access content directly

Filter your results

55 Results
Domains : math.math-oc

Motion Autonomy Through Sensor­Guided Manoeuvre

Philippe Garnier , Thierry Fraichard , Christian Laugier , Igor Paromtchik , Alexis Scheuer
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
Conference papers inria-00000017v1
Image document

Scheduling of Embedded Controllers Under Timing Contracts

Mohammad Al Khatib , Antoine Girard , Thao Dang
20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. pp.131 - 140, ⟨10.1145/3049797.3049816⟩
Conference papers hal-01540841v1
Image document

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

Mohammad Al Khatib , Antoine Girard , Thao Dang
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Conference papers hal-01540847v1

SpaceEx: Scalable Verification of Hybrid Systems

Goran Frehse , Colas Le Guernic , Alexandre Donzé , Scott Cotton , Rajarshi Ray , et al.
CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
Conference papers hal-00769608v1

Outils pour l'analyse des modèles hybrides

Thao Dang , Goran Frehse , Antoine Girard , Colas Le Guernic
Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
Book sections hal-00765809v1

RealCertify: a Maple package for certifying non-negativity

Victor Magron , Mohab Safey El Din
ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩
Journal articles hal-01956812v1

Reachability analysis of linear systems using support functions

Colas Le Guernic , Antoine Girard
Nonlinear Analysis: Hybrid Systems, 2010, 4 (2), pp.250-262. ⟨10.1016/j.nahs.2009.03.002⟩
Journal articles istex hal-00765598v1

Motion Planning and Sensor-Guided Manoeuvre Generation for an Autonomous Vehicle

Christian Laugier , Philippe Garnier , Thierry Fraichard , Igor Paromtchik , Alexis Scheuer
A. Zelinsky Editor. Field and Service Robotics, Springer, 1998
Book sections inria-00000020v1
Image document

Variational data assimilation for 2D fluvial hydraulics simulations

Marc Honnorat , Xijun Lai , Jerome Monnier , Francois-Xavier Le Dimet
CMWR XVI-Computational Methods for Water Ressources, Jun 2006, Copenhagen, Denmark
Conference papers hal-00908191v1

Une nouvelle méthode d'assimilation de données: le Back and Forth Nudging

Didier Auroux , Jacques Blum
Colloque National sur l'Assimilation de Données, 2006, Toulouse, France
Conference papers inria-00414401v1

A new data assimilation method for oceanographic and meteorologic problems: the back and forth nudging algorithm

Didier Auroux , Jacques Blum
SIAM Conference on Mathematical and Computational Issues in Geosciences, Jun 2005, Avignon, France
Conference papers inria-00414402v1

Bayesian inference of earthquake parameters from buoy data using a polynomial chaos-based surrogate

Olivier Le Maitre , Loïc Giraldi , Olivier Le Maître , Kyle Mandli , Clint Dawson , et al.
Computational Geosciences, 2017, 21 (4), pp.683-699. ⟨10.1007/s10596-017-9646-z⟩
Journal articles hal-02327673v1

Hierarchical control using approximate simulation relations

Antoine Girard , George J. Pappas
45th IEEE Conference on Decision and Control, Dec 2006, San Diego, United States. pp.264-269, ⟨10.1109/CDC.2006.377051⟩
Conference papers hal-00307028v1
Image document

From Reeds and Shepp's to continuous-curvature paths

Thierry Fraichard , Alexis Scheuer
IEEE Transactions on Robotics, 2004, 20 (6), pp.1025-1035. ⟨10.1109/TRO.2004.833789⟩
Journal articles inria-00000009v1

From Reeds and Shepp's to Continuous-Curvature Paths

Thierry Fraichard , Alexis Scheuer , Richard Desvigne
Int. Conf. on Advanced Robotics, Oct 1999, Tokyo (JP), Japan. pp.585-590
Conference papers inria-00000014v1

Shape optimal design problem in fluid mechanics with thermal transfer

Jerome Monnier
European Community on Computational Methods in Applied Sciences, ECCOMAS'98, 1998, Athens, Greece. pp.245-261
Conference papers inria-00259896v1
Image document

Improving Strategies via SMT Solving

Thomas Martin Gawlitza , David Monniaux
European symposium on programming (ESOP 2011), Mar 2011, Saarbrücken, Germany. pp.236-255, ⟨10.1007/978-3-642-19718-5_13⟩
Conference papers hal-00555795v1

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations

Mohamed Amin Ben Sassi , Romain Testylier , Thao Dang , Antoine Girard
ATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.137-151, ⟨10.1007/978-3-642-33386-6_12⟩
Conference papers hal-00769672v1
Image document

Data assimilation methods for an oceanographic problem

Didier Auroux , Jacques Blum
Springer-Verlag. Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems, Lecture Notes XVI, Springer-Verlag, 2004, Mathematics in Industry
Book sections inria-00189652v1

Semidefinite Approximations of Invariant Measures for Polynomial Systems

Victor Magron , Marcelo Forets , Didier Henrion
Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
Journal articles hal-01828443v1
Image document

Back and forth nudging algorithm for data assimilation problems

Didier Auroux , Jacques Blum
Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2005, 340, pp.873-878. ⟨10.1016/j.crma.2005.05.006⟩
Journal articles inria-00189644v1

Continuous-Curvature Trajectory Planning for Manoeuvrable Non-Holonomic Robots

Alexis Scheuer , Ming Xie
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Korea Advanced Institute of Science and Technology, Oct 1999, Kyongju (KR), South Korea. pp.1675-1680, ⟨10.1109/IROS.1999.811719⟩
Conference papers inria-00000013v1

Continuous-Curvature Path Planning for Car-Like Vehicles

Alexis Scheuer , Thierry Fraichard
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France. pp.997-1003, ⟨10.1109/IROS.1997.655130⟩
Conference papers inria-00000018v1

Mieux prévoir les phénomènes météorologiques

François-Xavier Le Dimet
Interstices, 2006
Journal articles inria-00001153v1

Timing contracts for multi-core embedded control systems

Mohammad Al Khatib , Antoine Girard , Thao Dang
Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control subject to Computational and Communication Constraints, 475, Springer, pp.97-118, 2018, Lecture Notes in Control and Information Sciences
Book sections hal-01912683v1

Abstract interpretation meets convex optimization

Stéphane Gaubert , T.M. Gawlitza , H. Seidl , A. Adjé , E. Goubault
Journal of Symbolic Computation, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. ⟨10.1016/j.jsc.2011.12.048⟩
Journal articles hal-00778070v1

Efficient computation of reachable sets of linear time-invariant systems with inputs

Antoine Girard , Colas Le Guernic , Oded Maler
Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.257-271, ⟨10.1007/11730637_2⟩
Conference papers hal-00171555v1
Image document

Shape sensitivities in a Navier-Stokes flow with convective and gray bodies radiative thermal transfer

Jerome Monnier
Optimal Control Applications and Methods, 2003, 24 (5), pp.237-256. ⟨10.1002/oca.728⟩
Journal articles istex inria-00256564v1
Image document

Shape optimal design problem with convective and radiative thermal transfer: Analysis and implementation

Denise Chenais , Jerome Monnier , Jean-Paul Vila
Journal of Optimization Theory and Applications, 2001, 110 (1), pp.75-117. ⟨10.1023/A:1017543529204⟩
Journal articles istex inria-00256545v1
Image document

A reduced-order strategy for 4D-Var data assimilation

Céline Robert , Sophie Durbiano , Eric Blayo , Jacques Verron , Jacques Blum , et al.
Journal of Marine Systems, 2005, 57 (1-2), pp.70-82. ⟨10.1016/j.jmarsys.2005.04.003⟩
Journal articles hal-00172943v1