Disputationer

Dynamic Security Region Assessment

12 jun

Disputationer

Elektro- och systemteknik

onsdag 2019-06-12, 10.00

Plats: H1, Teknikringen 33, KTH, Stockholm, Sverige

Respondent: Marina Oluic , Elkraftteknik

2019-06-12T10:00:00.000+02:00 2019-06-12T10:00:00.000+02:00 Dynamic Security Region Assessment (Disputationer) H1, Teknikringen 33, KTH, Stockholm, Sverige (KTH, Stockholm, Sweden)Dynamic Security Region Assessment (Disputationer)

Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

14 jun

Disputationer

Elektro- och systemteknik

fredag 2019-06-14, 10.00

Plats: Q31, Malvinas väg 6B, KTH, 100 44 Stockholm

Licentiand: Sofie Ahlberg , Reglerteknik

2019-06-14T10:00:00.000+02:00 2019-06-14T10:00:00.000+02:00 Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications (Disputationer) Q31, Malvinas väg 6B, KTH, 100 44 Stockholm (KTH, Stockholm, Sweden)Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications (Disputationer)

Process Design Kit and High-Temperature Digital ASICs in Silicon Carbide

14 jun

Disputationer

Information and Communication Technology

fredag 2019-06-14, 10.00

Plats: Ka-Sal B (Sal Peter Weissglas), Kistagången 16, Kista

Respondent: Muhammad Shakir , Electronics

2019-06-14T10:00:00.000+02:00 2019-06-14T10:00:00.000+02:00 Process Design Kit and High-Temperature Digital ASICs in Silicon Carbide (Disputationer) Ka-Sal B (Sal Peter Weissglas), Kistagången 16, Kista (KTH, Stockholm, Sweden)Process Design Kit and High-Temperature Digital ASICs in Silicon Carbide (Disputationer)

Performance Trade-offs for Ultra-Reliable Low-Latency Communication Systems

14 jun

Disputationer

Elektro- och systemteknik

fredag 2019-06-14, 10.00

Plats: Hörsal F3, KTH, Lindstedtsvägen 26, 100 44 Stockholm

Respondent: Sebastian Schiessl , Teknisk informationsvetenskap

2019-06-14T10:00:00.000+02:00 2019-06-14T10:00:00.000+02:00 Performance Trade-offs for Ultra-Reliable Low-Latency Communication Systems (Disputationer) Hörsal F3, KTH, Lindstedtsvägen 26, 100 44 Stockholm (KTH, Stockholm, Sweden)Performance Trade-offs for Ultra-Reliable Low-Latency Communication Systems (Disputationer)

Lower Bounds and Trade-offs in Proof Complexity

14 jun

Disputationer

Datalogi

fredag 2019-06-14, 14.00

Plats: Kollegiesalen, KTH, Brinellvägen 8, 100 44 Stockholm

Respondent: Susanna Figueiredo De Rezende , Teoretisk datalogi

2019-06-14T14:00:00.000+02:00 2019-06-14T14:00:00.000+02:00 Lower Bounds and Trade-offs in Proof Complexity (Disputationer) Kollegiesalen, KTH, Brinellvägen 8, 100 44 Stockholm (KTH, Stockholm, Sweden)Lower Bounds and Trade-offs in Proof Complexity (Disputationer)