Filter your results
- 38
- 17
- 27
- 17
- 7
- 4
- 55
- 29
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 7
- 1
- 1
- 2
- 2
- 1
- 4
- 3
- 8
- 3
- 2
- 3
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 52
- 3
- 29
- 25
- 11
- 9
- 8
- 6
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 13
- 11
- 9
- 9
- 7
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Motion Autonomy Through SensorGuided ManoeuvreIEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
Conference papers
inria-00000017v1
|
|||
|
Scheduling of Embedded Controllers Under Timing Contracts20th 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
|
||
|
Self-Triggered Control for Sampled-data Systems using Reachability AnalysisIFAC 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 SystemsCAV 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 hybridesOlivier 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-negativityACM 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 functionsNonlinear 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 VehicleA. Zelinsky Editor. Field and Service Robotics, Springer, 1998
Book sections
inria-00000020v1
|
|||
|
Variational data assimilation for 2D fluvial hydraulics simulationsCMWR 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 NudgingColloque 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 algorithmSIAM 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 surrogateComputational Geosciences, 2017, 21 (4), pp.683-699. ⟨10.1007/s10596-017-9646-z⟩
Journal articles
hal-02327673v1
|
|||
|
Hierarchical control using approximate simulation relations45th IEEE Conference on Decision and Control, Dec 2006, San Diego, United States. pp.264-269, ⟨10.1109/CDC.2006.377051⟩
Conference papers
hal-00307028v1
|
||
|
From Reeds and Shepp's to continuous-curvature pathsIEEE 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 PathsInt. 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 transferEuropean Community on Computational Methods in Applied Sciences, ECCOMAS'98, 1998, Athens, Greece. pp.245-261
Conference papers
inria-00259896v1
|
|||
|
Improving Strategies via SMT SolvingEuropean 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 RelaxationsATVA 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
|
||
|
Data assimilation methods for an oceanographic problemSpringer-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 SystemsDiscrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
Journal articles
hal-01828443v1
|
||
|
Back and forth nudging algorithm for data assimilation problemsComptes 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 RobotsIEEE-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 VehiclesIEEE-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éorologiquesInterstices, 2006
Journal articles
inria-00001153v1
|
|||
Timing contracts for multi-core embedded control systemsSophie 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 optimizationJournal 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 inputsHybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.257-271, ⟨10.1007/11730637_2⟩
Conference papers
hal-00171555v1
|
||
|
Shape sensitivities in a Navier-Stokes flow with convective and gray bodies radiative thermal transferOptimal Control Applications and Methods, 2003, 24 (5), pp.237-256. ⟨10.1002/oca.728⟩
Journal articles
istex
inria-00256564v1
|
||
|
Shape optimal design problem with convective and radiative thermal transfer: Analysis and implementationJournal of Optimization Theory and Applications, 2001, 110 (1), pp.75-117. ⟨10.1023/A:1017543529204⟩
Journal articles
istex
inria-00256545v1
|
||
|
A reduced-order strategy for 4D-Var data assimilationJournal of Marine Systems, 2005, 57 (1-2), pp.70-82. ⟨10.1016/j.jmarsys.2005.04.003⟩
Journal articles
hal-00172943v1
|
- 1
- 2