Raisch, Jörg
178  Ergebnisse:
Personensuche X
?
2

Formal Verification in Automated Manufacturing 

FAU Studien aus der Elektrotechnik ; 25
Tang, Yiheng , 2024
 
?
4

Event-Variant and Time-Variant (max,+) Systems:

Trunk, Johannes ; Cottenceau, Bertrand ; Hardouin, Laurent.
IEEE Transactions on Automatic Control.  69 (2024)  2 - p. 1045-1051 , 2024
 
?
 
?
6

Model predictive control of wakes for wind farm power track..:

Sterle, Arnold ; Hans, Christian A. ; Raisch, Jörg
Journal of Physics: Conference Series.  2767 (2024)  3 - p. 032005 , 2024
 
?
7

Diagnosability of labeled Dp-automata:

Zhang, Kuize ; Raisch, Jörg
Theoretical Computer Science.  1015 (2024)  - p. 114743 , 2024
 
?
14

Data-Driven Dynamic Input Transfer for Learning Control in ..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Lehmann, Dustin ; Drebinger, Philipp ; Seel, Thomas. - p. 2358-2365 , 2023
 
?
15

Federated Learning in Wireless Networks via Over-the-Air Co..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
 
1-15