Login
 Forum


 Doctoral program 

 Theses defended 

 Naturalized degrees 

 Habilitation presentations 

 Documents (all in Hung.) 

 Contacts 
 
 
Thesis topic proposal
 
Róbert Vajda
Symbolic and Numeric Computation for Reachability Sets, Stability Regions, and Optimization

THESIS TOPIC PROPOSAL

Institute: University of Szeged
mathematics and computing
Mathematics Doctoral School

Thesis supervisor: Róbert Vajda
Location of studies (in Hungarian): University of Szeged, Faculty of Science and Informatics, Bolyai Institute
Abbreviation of location of studies: MatDI


Description of the research topic:

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.

Required language skills: English
Further requirements: 
Stipendium Hungaricum

Number of students who can be accepted: 1

Deadline for application: 2020-10-30

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )