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

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

Article révisé par les pairs

Optimizing Multiprocessor Allocation: A Monotonicity-Based Approach for EDF(K)
par Guilbaud, Nicolas , Goossens, Joël
Publication 2026-05-11
Preempt Less, Schedule Better: Revisiting PCG for Real-Time Uniform Processors
par Hamdani, Yahya , Richard, Pascal , Bertout, Antoine , Goossens, Joël , Grolleau, Emmanuel
Publication 2026-05-11
Inverse Identification of In-Plane and Out-Of- Plane Behavior of High-Performance Unidirectional Thermoplastic Composites in the Molten State
par Wintiba, Badadjida , Chevalier, Jérémy , Lani, Frédéric , Massart, Thierry Jacques , Berke, Peter
Publication 2026-01-23
Unveil the Secret Hidden in the Haberdasher’s Puzzle: —Survey on Reversibility—
par Akiyama, Jin , Langerman, Stefan , Matsunaga, Kiyoko
Publication 2026-03-01
Modelling of 3D woven textile reinforced cement composites behaviour accounting for through-thickness reinforcement
par Toderascu, Christian , Wintiba, Badadjida , Ehab Moustafa Kamel, Karim , Massart, Thierry Jacques , Tysmans, Tine
Publication 2026-01-07

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.