Filtrer vos résultats
- 28
- 21
- 23
- 15
- 7
- 2
- 1
- 1
- 43
- 7
- 2
- 2
- 4
- 7
- 5
- 4
- 1
- 5
- 3
- 4
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 46
- 3
- 33
- 13
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 39
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
49 résultats
|
|
|
triés par
|
|
|
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled SystemsLecture Notes in Computer Science, 2022, Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I, pp.511 - 523. ⟨10.1007/978-3-031-13185-1_25⟩
Article dans une revue
hal-03805908v1
|
||
|
|
Inner approximated reachability analysisHSCC '14, Apr 2014, Berlin, Germany. pp.163-172, ⟨10.1145/2562059.2562113⟩
Communication dans un congrès
hal-01073731v1
|
||
Discrete Choice in the Presence of Numerical UncertaintiesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2381-2392. ⟨10.1109/TCAD.2018.2857320⟩
Article dans une revue
hal-02632884v1
|
|||
|
|
Calcul des capacités parasites dans les interconnexions des circuits intégrés par une méthode de domaines fictifsModélisation et simulation. Université Joseph-Fourier - Grenoble I, 2001. Français. ⟨NNT : ⟩
Thèse
tel-00004700v1
|
||
|
|
Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux PolynomialsAmerican Control Conference (ACC), Jun 2014, Portland, United States
Communication dans un congrès
hal-01633155v1
|
||
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical ProgramsACM Transactions on Embedded Computing Systems (TECS), 2017, Special Issue ESWEEK 2017, CASES 2017, CODES + ISSS 2017 and EMSOFT 2017, 16 (5s), pp.1-19. ⟨10.1145/3126502⟩
Article dans une revue
hal-01674495v1
|
|||
|
|
General Inner Approximation of Vector-valued FunctionsReliable Computing, 2013, 18, pp.117-143
Article dans une revue
hal-00935773v1
|
||
|
|
Guaranteed approximations of arbitrarily quantified reachability problems2023
Pré-publication, Document de travail
hal-04336386v1
|
||
|
|
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through ReachabilityIEEE Transactions on Automatic Control, 2023, 68, pp.4857 - 4872. ⟨10.1109/tac.2022.3217260⟩
Article dans une revue
hal-04336315v1
|
||
|
|
Tractable higher-order under-approximating AE extensions for non-linear systemsIFAC-PapersOnLine, 2021, 54 (5), pp.235 - 240. ⟨10.1016/j.ifacol.2021.08.504⟩
Article dans une revue
hal-03800457v1
|
||
Design of Fixed-Point Embedded Systems (defis) French ANR ProjectDASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. , pp.365-366, 2012
Poster de conférence
hal-00822487v1
|
|||
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalitiesTools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, Apr 2016, Eindhoven, Netherlands. pp.225-243, ⟨10.1007/978-3-662-49674-9_13⟩
Communication dans un congrès
cea-01834974v1
|
|||
Eigenvectors of Non-Linear Maps on the Cone of Positive Semidefinite Matrices Application to Stability AnalysisSIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Communication dans un congrès
hal-01263384v1
|
|||
|
|
A Real-Time NMPC Controller for Autonomous Vehicle Racing2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩
Communication dans un congrès
hal-04009646v1
|
||
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems ModelingLearning for Dynamics and Control Conference,, 168, 2022, Proceedings of Machine Learning Research
Chapitre d'ouvrage
hal-03805880v1
|
|||
|
|
Reachability Analysis of Generalized Input-Affine Systems with Bounded Measurable Time-varying UncertaintiesIEEE Control Systems Letters, 2022, 6, pp.638-643. ⟨10.1109/LCSYS.2021.3084530⟩
Article dans une revue
hal-03805968v1
|
||
Inner and outer reachability for the verification of control systemsProceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control, ACM, pp.11-22, 2019, ⟨10.1145/3302504.3311794⟩
Chapitre d'ouvrage
hal-02632550v1
|
|||
|
|
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon BenchmarkFVPS, Aug 2018, Hagenberg, Austria
Communication dans un congrès
hal-04470439v1
|
||
Robust under-approximations and application to reachability of non-linear control systems with disturbancesIEEE Control Systems Letters, In press, pp.1-1. ⟨10.1109/LCSYS.2020.2997261⟩
Article dans une revue
hal-02632338v1
|
|||
|
|
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms2020 Conference on Neural Information Processing Systems (NeurIPS 2020), Dec 2020, Online, France
Communication dans un congrès
hal-03237392v1
|
||
|
|
A few lessons learned in reinforcement learning for quadcopter attitude controlHSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, May 2021, Nashville, United States. pp.1-11, ⟨10.1145/3447928.3456707⟩
Communication dans un congrès
hal-03800411v1
|
||
A scalable algebraic method to infer quadratic invariants of switched systemsInternational Conference on Embedded Software (EMSOFT'2015), Alain Girault, INRIA, Grenoble, France and Nan Guan, Northeastern University, China, Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318262⟩
Communication dans un congrès
hal-01249320v1
|
|||
A new algorithm for interconnected capacitance extraction based on a fictitious domain methodInternational conference on simulation of semi conductor processes and devices, SISPAD 99, Sep 1999, Kyoto, Japan. pp.79-82, ⟨10.1109/SISPAD.1999.799264⟩
Communication dans un congrès
hal-00388411v1
|
|||
|
|
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩
Communication dans un congrès
hal-03113053v1
|
||
|
|
Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic ProgrammingOpportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Communication dans un congrès
hal-03749355v1
|
||
|
|
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEsThirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}, Jul 2022, Vienna, France. pp.2923-2929, ⟨10.24963/ijcai.2022/405⟩
Communication dans un congrès
hal-03805892v1
|
||
|
|
On-The-Fly Control of Unknown Smooth Systems from Limited Data2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3656-3663, ⟨10.23919/ACC50511.2021.9483367⟩
Communication dans un congrès
hal-03800674v1
|
||
|
|
A Logical Product Approach to Zonotope IntersectionComputer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, 2010, Edinburgh, United Kingdom. pp.212--226, ⟨10.1007/978-3-642-14295-6_22⟩
Communication dans un congrès
hal-01660910v1
|
||
|
|
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contextsEngineering Applications of Artificial Intelligence, 2023, 127, ⟨10.1016/j.engappai.2023.107090⟩
Article dans une revue
hal-04336289v1
|
||
A topological method for finding invariant sets of continuous systemsInformation and Computation, 2020, pp.104581. ⟨10.1016/j.ic.2020.104581⟩
Article dans une revue
hal-02632632v1
|
- 1
- 2