Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Discrete event dynamic systems, 22, 2, page (121-161)
Publication Publié, 2012

Article révisé par les pairs

Fichier(s) déposé(s) par l'encodeur

Parametric solutions of coupled Thermo-Hydro-Mechanical problems in real time with Proper Generalized Decomposition
par Moaven, Arash , Massart, Thierry Jacques , Zlotnik, Sergio
Publication 2025-04-08
An unfair optimal scheduling algorithm for uniform multiprocessors
par Gaspard, Thomas , Bertout, Antoine , Richard, Pascal , Grolleau, Emmanuel , Goossens, Joël
Publication 2025-06-17
Monitoring and real time risk analysis of earth dams
par Zlotnik, Sergio , Garcia Gonzalez, Alberto , Díez, Pedro , Massart, Thierry Jacques
Publication 2025-03-15
Image-based structural kinematic limit analysis for historical masonry structures
par Hermans, Yahroun Fei , Ehab Moustafa Kamel, Karim , Debeir, Olivier , Milani, Gabriele , Massart, Thierry Jacques
Publication 2025-04-30
Towards automated image-based cohesive zone modeling of cracking in irregular masonry
par Kamel, Karim Ehab Moustafa , Massart, Thierry Jacques
Publication 2025-01-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.