Bejelentkezés
 Fórum
 
 
Témakiírás
 
Vajda Róbert
Symbolic and Numeric Computation for Reachability Sets, Stability Regions, and Optimization

TÉMAKIÍRÁS

Intézmény: Szegedi Tudományegyetem
matematika- és számítástudományok
Matematika Doktori Iskola

témavezető: Vajda Róbert
helyszín (magyar oldal): University of Szeged, Faculty of Science and Informatics, Bolyai Institute
helyszín rövidítés: MatDI


A kutatási téma leírása:

Overview of the existing theories and tools for computing symbolically with semialgebraic sets. Suitable problem
formulations to answer simple questions related to dynamical systems. As case studies, we will use these tools to characterize the stability regions of
simple difference equations (predator-prey and economy models) and the reachable sets of differential equations (how a mobile vehicle may be
controlled to avoid unsafe regions). As an extension we may investigate how numeric techniques and approximations help, when symbolic tools cannot be applied directly. Comparison of strict results with the approximate results of machine learning techniques.

előírt nyelvtudás: angol
további elvárások: 
Stipendium Hungaricum

felvehető hallgatók száma: 1

Jelentkezési határidő: 2020-04-30


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )