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

Modelling of 3D Woven Textile Reinforced Cement Composites RVEs
par Toderascu, Christian , Massart, Thierry,Jacques , Tysmans, Tine
Publication 2024-09-18
MODELLING OF 3D WOVEN TEXTILE REINFORCED CEMENTCOMPOSITES RVES
par Toderascu, Christian , Massart, Thierry,Jacques , Tysmans, Tine
Publication 2024-07-26
Efficient image-based homogenized limit analysis for irregular masonry with lumped mortar joints representation
par Hermans, Yahroun Fei , Grillanda, Nicola , Ehab Moustafa Kamel, Karim , Milani, Gabriele , Massart, Thierry,Jacques
Publication 2024-08-06
Model order reduction of nonlinear thermo-hydro-mechanical systems by means of elastic and plastic domain sub-structuring
par Larion, Ygee , Massart, Thierry,Jacques , Díez, Pedro , Chen, Guangjing , Seetharam, Suresh , Zlotnik, Sergio
Publication 2024-07-03
Multi-Entry Generalized Search Trees for Indexing Trajectories
par Schoemans, Maxime , Aref, Walid , Zimanyi, Esteban , Sakr, Mahmoud
Publication 2024-10-29

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.