PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Dutta, Souradeep"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.

, , und . CMSB, Volume 11095 von Lecture Notes in Computer Science, Seite 183-202. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Dutta, Souradeep
Eine Person hinzufügen mit dem Namen Dutta, Souradeep
 

Weitere Publikationen von Autoren mit dem selben Namen

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks., , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 151-156. Elsevier, (2018)Output Range Analysis for Deep Feedforward Neural Networks., , , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 121-138. Springer, (2018)Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks., , und . ICAPS, Seite 680-688. AAAI Press, (2019)Reachability analysis for neural feedback systems using regressive polynomial rule inference., , und . HSCC, Seite 157-168. ACM, (2019)Formal Verification of a Multi-Basal Insulin Infusion Control Model., , und . ARCH@CPSWeek, Volume 48 von EPiC Series in Computing, Seite 75-91. EasyChair, (2017)Output Range Analysis for Deep Neural Networks., , , und . CoRR, (2017)Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks., , und . CMSB, Volume 11095 von Lecture Notes in Computer Science, Seite 183-202. Springer, (2018)Multirate Sampling for Power-Performance Tradeoff in Embedded Control., , , und . Embedded Systems Letters, 8 (4): 77-80 (2016)Reaching Out Towards Fully Verified Autonomous Systems., , und . RP, Volume 11674 von Lecture Notes in Computer Science, Seite 22-32. Springer, (2019)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 103-119. EasyChair, (2019)