Search - Infinite Dimensional Dynamics Access content directly

Filter your results

4 Results
Deposit type : Notice

Certifying the LTL Formula p Until q in Hybrid Systems

Hyejin Han , Mohamed Maghenem , Ricardo Sanfelice
IEEE Transactions on Automatic Control, 2023, 68 (7), pp.4451-4458. ⟨10.1109/TAC.2022.3207417⟩
Journal articles hal-03853066v1

Boundary output feedback stabilisation of a class of reaction–diffusion PDEs with delayed boundary measurement

Hugo Lhachemi , Christophe Prieur
International Journal of Control, 2023, 96 (9), pp.1-11. ⟨10.1080/00207179.2022.2091476⟩
Journal articles hal-03720485v1

Reconstruction of proper numerical inlet boundary conditions for draft tube flow simulations using machine learning

Pedro Véras , Olivier Métais , Guillaume Balarac , Didier Georges , Antoine Bombenger , et al.
Computers and Fluids, 2023, 254 (March), pp.105792. ⟨10.1016/j.compfluid.2023.105792⟩
Journal articles hal-03939126v1

Local output feedback stabilization of a Reaction-Diffusion equation with saturated actuation

Hugo Lhachemi , Christophe Prieur
IEEE Transactions on Automatic Control, 2023, 68 (1), pp.564 - 571. ⟨10.1109/TAC.2022.3144609⟩
Journal articles hal-03540132v1