-
DAES
-
Lehre
-
Lehrveranstaltungen
-
SS2020
Seminar for cps and es
https://doi.org/10.4230/LIPIcs.ECRTS.2019.1 Machine Learning and Control Feiyang Cai, Xenofon D. Koutsoukos: Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems. 174-183, http [...] Miroslav Pajic: Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. 108-118, https://ieeexplore.ieee.org/document/9096004 Neural Network and Control Chao Huang, Jiameng [...] Execution Time Jan Reineke, Reinhard Wilhelm: Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87, http://embedded.cs.uni-saarland.de/publications/TimingAnalysisWhatIsSpecial2016 …