Projecten
DESCARTES - infectieziekten economie en artificiële intelligentie met garanties Vrije Universiteit Brussel
19 pandemie, de eliminatie van mazelen en optimale influenzavaccinatie, mede gemotiveerd door fundamentele vragen rond de priorisering van gezondheidszorg. De beoogde ontwikkelingen op het vlak van epidemiologische modellen, gezondheidseconomie en AI-leeralgoritmen, in combinatie met formeel geverifieerde eigenschappen, zullen de ...
Intelligente Software Agents en Multi-agent Systemen voor de Levenscyclus van Slimme Cyberfysieke Systeemsystemen. Universiteit Antwerpen
Op zoek naar de conceptuele obstakels voor wiskundig redeneren. KU Leuven
Een Architectuur voor de Analyse en het Beheer van Veiligheid in Industriële Controle Systemen. KU Leuven
Cyber-Fysische Systemen (CPS) zijn verantwoordelijk voor het controleren en besturen van een groot aantal processen zoals het verdelen van gas en elektriciteit, het opvolgen van een kernreactor of het regelen van verkeerslichten. De laatste decennia zijn deze systemen geëvolueerd van geïsoleerde, eigendomsmatige systemen tot omgevingen die intensief gebruik maken van commerciële basiscomponenten, geïntegreerd met back-endsystemen die vaak ...
AM3BIT : Een multi-stakeholder multi-modellering multi-representatie benadering voor het ontwikkelen van informatiesystemen KU Leuven
Aantoonbaar veilige systemen met universele contracten en veilige compilatie. KU Leuven
Een van de drijvende ambities van mijn onderzoek is het mogelijk en betaalbaar maken om systemen te ontwikkelen met een rigoureus bewijs van belangrijke beveiligingseigenschappen.
Stel je bijvoorbeeld voor dat je de software voor een slim apparaat bouwt met een computergeverifieerde garantie dat het uitsluitend zal communiceren met servers op example.com, of software voor een industriele controller waarvan bewezen kan worden dat hij ...
Mutaties in software testen: minder, slimmer en sneller (NEXT-O-TEST). Universiteit Antwerpen
Sabbatperiode Ralf Klein: Digitalisering van de bouwsector: innovatieve technologieën, implementatie in de industrie en via probleemgestuurd onderwijs KU Leuven
Voortbouwend op de resultaten van het doctoraat van Andy Andriamamonjy en het lopende doctoraatsonderzoek van Mathias Bonduel, zal ik concepten ontwikkelen om semantische webtechnologie (Linked Data) te combineren met Building Energy
Prestatiesimulatie (met Modelica) en modulaire concepten voor Building Automation and Control Systems (BACS).
Terwijl we in het doctoraat van Ando Andriamamonjy openBIM (IFC en MVD's) gebruikten, zal de ...
Modelvoorspellende regeling en innovatieve systeemintegratie van GEOTABS in hybride laagwaardige thermische energiesystemen - Hybrid MPC GEOTABS Universiteit Gent
Het MPC-:GT-project bracht een transdisciplinair team samen van MKB, grote industrie en onderzoeksinstituten, ervaren in onderzoek en toepassing van ontwerp- en regelsystemen in de gecombineerde bouw- en energiewereld. Op basis van eerder onderzoek, ondersteund door (gezamenlijke) EU en nationale projecten, en praktijkervaring zijn de knelpunten geïdentificeerd die op dit moment een echte doorbraak van geothermische warmtepompen (GEO-HP) in ...