Filtrer vos résultats
- 10
- 5
- 11
- 3
- 1
- 8
- 7
- 1
- 2
- 3
- 3
- 5
- 1
- 15
- 10
- 4
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 10
- 10
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 résultats
|
|
|
triés par
|
Control-based observer for unknown input disturbance estimation in magnetic levitation processICSTCC 2017 - 21st International Conference on System Theory, Control and Computing, Oct 2017, Sinaia, Romania
Communication dans un congrès
hal-01646062v1
|
|||
Control-observer technique for surface imaging with an experimental platform of Scanning-Tunneling-Microscope typeACC 2018 - American Control Conference, Jun 2018, Milwaukee, United States. ⟨10.23919/ACC.2018.8430882⟩
Communication dans un congrès
hal-01833278v1
|
|||
|
|
Friends with Benefits: Implementing Corecursion in Foundational Proof AssistantsProgramming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Apr 2017, Uppsala, Sweden
Communication dans un congrès
hal-01599167v1
|
||
3D Hinf controller design for an experimental scanning tunneling microscope deviceCDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France
Communication dans un congrès
hal-02304427v1
|
|||
Observer-Based 3-D Control Enhancement for Topographic Imaging--Validation With an STM PrototypeIEEE Transactions on Control Systems Technology, 2021, 29 (3), pp.1075 - 1086. ⟨10.1109/TCST.2020.2991871⟩
Article dans une revue
hal-02861483v1
|
|||
|
|
Bindings as Bounded Natural FunctorsProceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩
Article dans une revue
hal-01989726v1
|
||
Control-based Observer design for surface reconstruction using a Scanning-Tunneling-Microscopy deviceIFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France
Communication dans un congrès
hal-01583428v1
|
|||
|
|
Frontiers of Combining Systems - Proceedings of 12th International Symposium FroCoS 2019, London, UKLecture Notes in Artificial Intelligence, 11715, pp.XX, 365, 2019, Frontiers of Combining Systems, ⟨10.1007/978-3-030-29007-8⟩
N°spécial de revue/special issue
hal-03012579v1
|
||
Observer-based closed-loop estimation of tunneling current parameters with experimental applicationMED 2020 - 28th Mediterranean Conference on Control and Automation, Sep 2020, Saint-Raphaël, France. pp.156-161, ⟨10.1109/MED48518.2020.9183210⟩
Communication dans un congrès
hal-03359525v1
|
|||
Experimental Nanosurface Imaging with a Scanning-Tunneling-Like Device under 3D ControlICSTCC 2016 - 20th International Conference on System Theory, Control and Computing, Oct 2016, Sinaia, Romania. Paper ThC4.4
Communication dans un congrès
hal-01404125v1
|
|||
|
|
Soundness and Completeness Proofs by Coinductive MethodsJournal of Automated Reasoning, 2017, 58 (1), pp.149 - 179. ⟨10.1007/s10817-016-9391-3⟩
Article dans une revue
hal-01643157v1
|
||
|
|
Foundational (Co)datatypes and (Co)recursion for Higher-Order LogicFrontiers of Combining Systems, 11th International Symposium, Sep 2017, Brasilia, Brazil. pp.3-21, ⟨10.1007/978-3-319-66167-4_1⟩
Communication dans un congrès
hal-01592196v1
|
||
|
|
Towards Observer-Based Tunneling Current Calibration in an Experimental STM DeviceIFAC WC 2020 - 21st IFAC World Congress, Jul 2020, Berlin (virtual), Germany. ⟨10.1016/j.ifacol.2020.12.559⟩
Communication dans un congrès
hal-02868701v1
|
||
Comparison between different control strategies for estimation purposes using Control-based Observer paradigmICSTCC 2018 - 22nd International Conference on System Theory, Control and Computing, Oct 2018, Sinaia, Romania
Communication dans un congrès
hal-01895631v1
|
|||
A new robust observer approach for unknown input and state estimationECC 2018 - 16th European Control Conference, Jun 2018, Limassol, Cyprus
Communication dans un congrès
hal-01895627v1
|