Search - Archive ouverte HAL Access content directly

Filter your results

15 Results

Control-observer technique for surface imaging with an experimental platform of Scanning-Tunneling-Microscope type

Andrei Popescu , Gildas Besancon , Alina Voda , Skandar Basrour
ACC 2018 - American Control Conference, Jun 2018, Milwaukee, United States. ⟨10.23919/ACC.2018.8430882⟩
Conference papers hal-01833278v1

Control-based observer for unknown input disturbance estimation in magnetic levitation process

Andrei Popescu , Gildas Besancon , Alina Voda
ICSTCC 2017 - 21st International Conference on System Theory, Control and Computing, Oct 2017, Sinaia, Romania
Conference papers hal-01646062v1

Comparison between different control strategies for estimation purposes using Control-based Observer paradigm

Andrei Popescu , Gildas Besancon , Alina Voda
ICSTCC 2018 - 22nd International Conference on System Theory, Control and Computing, Oct 2018, Sinaia, Romania
Conference papers hal-01895631v1

A new robust observer approach for unknown input and state estimation

Andrei Popescu , Gildas Besancon , Alina Voda
ECC 2018 - 16th European Control Conference, Jun 2018, Limassol, Cyprus
Conference papers hal-01895627v1
Image document

Soundness and Completeness Proofs by Coinductive Methods

Jasmin Christian Blanchette , Andrei Popescu , Dmitriy Traytel
Journal of Automated Reasoning, 2017, 58 (1), pp.149 - 179. ⟨10.1007/s10817-016-9391-3⟩
Journal articles hal-01643157v1
Image document

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

Julian Biendarra , Jasmin Christian Blanchette , Aymeric Bouzy , Martin Desharnais , Mathias Fleury et al.
Frontiers of Combining Systems, 11th International Symposium, Sep 2017, Brasilia, Brazil. pp.3-21, ⟨10.1007/978-3-319-66167-4_1⟩
Conference papers hal-01592196v1

Control-based Observer design for surface reconstruction using a Scanning-Tunneling-Microscopy device

Andrei Popescu , Gildas Besancon , Alina Voda
IFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France
Conference papers hal-01583428v1
Image document

Bindings as Bounded Natural Functors

Jasmin Christian Blanchette , Lorenzo Gheri , Andrei Popescu , Dmitriy Traytel
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩
Journal articles hal-01989726v1

Observer-based closed-loop estimation of tunneling current parameters with experimental application

Gildas Besancon , Alina Voda , Andrei Popescu
MED 2020 - 28th Mediterranean Conference on Control and Automation, Sep 2020, Saint-Raphaël, France. pp.156-161, ⟨10.1109/MED48518.2020.9183210⟩
Conference papers hal-03359525v1

Experimental Nanosurface Imaging with a Scanning-Tunneling-Like Device under 3D Control

Gildas Besancon , Lukasz Ryba , Andrei Popescu , Alina Voda , Dan Stefanoiu et al.
ICSTCC 2016 - 20th International Conference on System Theory, Control and Computing, Oct 2016, Sinaia, Romania. Paper ThC4.4
Conference papers hal-01404125v1

Frontiers of Combining Systems - Proceedings of 12th International Symposium FroCoS 2019, London, UK

Andreas Herzig , Andrei Popescu
Herzig, Andreas; Popescu, Andrei. 12th International Symposium on Frontiers of Combining Systems - FroCoS, Sep 2019, Londres, United Kingdom. Lecture Notes in Artificial Intelligence, 11715, Springer, pp.XX, 365, 2019, Frontiers of Combining Systems, 978-3-030-29006-1. ⟨10.1007/978-3-030-29007-8⟩
Special issue hal-03012579v1
Image document

Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants

Jasmin Christian Blanchette , Aymeric Bouzy , Andreas Lochbihler , Andrei Popescu , Dmitriy Traytel et al.
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Apr 2017, Uppsala, Sweden
Conference papers hal-01599167v1

Towards Observer-Based Tunneling Current Calibration in an Experimental STM Device

Gildas Besancon , Alina Voda , Andrei Popescu
IFAC WC 2020 - 21st IFAC World Congress, Jul 2020, Berlin (virtual), Germany. ⟨10.1016/j.ifacol.2020.12.559⟩
Conference papers hal-02868701v1

Observer-Based 3-D Control Enhancement for Topographic Imaging--Validation With an STM Prototype

Andrei Popescu , Gildas Besancon , Alina Voda , Skandar Basrour
IEEE Transactions on Control Systems Technology, 2021, 29 (3), pp.1075 - 1086. ⟨10.1109/TCST.2020.2991871⟩
Journal articles hal-02861483v1

3D Hinf controller design for an experimental scanning tunneling microscope device

Andrei Popescu , Alina Voda , Gildas Besancon , Yujin Wu
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France
Conference papers hal-02304427v1