ODT - THESIS TOPIC: Máté Hegyháti: Linearly Priced Timed Automaton ...


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Thesis topic proposal

Linearly Priced Timed Automaton Engine

THESIS TOPIC PROPOSAL

Institute: University of Sopron
material sciences
Jozsef Cziraki Doctoral School of Wood Sciences and Technologies

Thesis supervisor: Máté Hegyháti
Location of studies (in Hungarian): University of Sopron
Abbreviation of location of studies: SOE

Description of the research topic:

Timed Automaton is a widely known tool to model dynamic discrete event systems. The extension with linear pricing extends the scope of this tool from simulation and verification to optimization.

The task of the applicant is to develop an optimization tailored opensource engine for distributed computations on linearly prized timed automata.

Prerequisites:
• Advanced skills in low-level and resource efficient programming.
• Fluent English

Advantages:
• Experience in parallelization / distributed computing
• Assembly
• Former experience in optimization
• Background in formal language theory, systems modelling or verification.

Required language skills: English B2
Number of students who can be accepted: 1

Deadline for application: 2023-01-10