Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

D. Lopez, P. Musau, H. Tran, S. Dutta, T. Carpenter, R. Ivanov, and T. Johnson. ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Patrick Kopper University of Stuttgart

GALÆXI Validation: Taylor-Green VortexM. Kurz, D. Kempf, M. Blind, P. Kopper, P. Offenhäuser, A. Schwarz, S. Starr, J. Keim, and A. Beck. Dataset, (2024)Related to: Kempf, Daniel et al. “GALÆXI: Solving complex compressible flows with high-order discontinuous Galerkin methods on accelerator-based systems.” (2024). arXiv: 2404.12703.

GALÆXI Validation: Taylor-Green VortexM. Kurz, D. Kempf, M. Blind, P. Kopper, P. Offenhäuser, A. Schwarz, S. Starr, J. Keim, and A. Beck. Dataset, (2024)Related to: Kempf, Daniel et al. “GALÆXI: Solving complex compressible flows with high-order discontinuous Galerkin methods on accelerator-based systems.” (2024). arXiv: 2404.12703.GALÆXI Verification: Convergence TestsM. Kurz, D. Kempf, M. Blind, P. Kopper, P. Offenhäuser, A. Schwarz, S. Starr, J. Keim, and A. Beck. Dataset, (2024)Related to: Kempf, Daniel et al. “GALÆXI: Solving complex compressible flows with high-order discontinuous Galerkin methods on accelerator-based systems.” (2024). arXiv: 2404.12703.GALÆXI Application: NASA Rotor 37M. Kurz, D. Kempf, M. Blind, P. Kopper, P. Offenhäuser, A. Schwarz, S. Starr, J. Keim, and A. Beck. Dataset, (2024)Related to: Kempf, Daniel et al. “GALÆXI: Solving complex compressible flows with high-order discontinuous Galerkin methods on accelerator-based systems.” (2024). arXiv: 2404.12703.

Patrick Gralka University of Stuttgart

Patrick Hippold University of Stuttgart

Patrick Maisenhölder University of Stuttgart

Patrick Lerge University of Stuttgart

Other publications of authors with the same name

Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).P. Musau, and T. Johnson. ARCH@ADHS, volume 54 of EPiC Series in Computing, page 196-207. EasyChair, (2018)Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.H. Tran, F. Cai, D. Lopez, P. Musau, T. Johnson, and X. Koutsoukos. ACM Trans. Embedded Comput. Syst., 18 (5s): 105:1-105:22 (2019)Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.H. Tran, L. Nguyen, P. Musau, W. Xiang, and T. Johnson. FORTE, volume 11535 of Lecture Notes in Computer Science, page 261-277. Springer, (2019)Real-Time Verification for Distributed Cyber-Physical Systems.H. Tran, L. Nguyen, P. Musau, W. Xiang, and T. Johnson. CoRR, (2019)Linear Differential-Algebraic Equations (Benchmark Proposal).P. Musau, D. Lopez, H. Tran, and T. Johnson. ARCH@ADHS, volume 54 of EPiC Series in Computing, page 174-184. EasyChair, (2018)Verification for Machine Learning, Autonomy, and Neural Networks Survey.W. Xiang, P. Musau, A. Wild, D. Lopez, N. Hamilton, X. Yang, J. Rosenfeld, and T. Johnson. CoRR, (2018)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.D. Lopez, P. Musau, H. Tran, S. Dutta, T. Carpenter, R. Ivanov, and T. Johnson. ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.W. Xiang, D. Lopez, P. Musau, and T. Johnson. CoRR, (2018)Parallelizable reachability analysis algorithms for feed-forward neural networks.H. Tran, P. Musau, D. Lopez, X. Yang, L. Nguyen, W. Xiang, and T. Johnson. FormaliSE@ICSE, page 31-40. IEEE / ACM, (2019)Verification of Closed-loop Systems with Neural Network Controllers.D. Lopez, P. Musau, H. Tran, and T. Johnson. ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 201-210. EasyChair, (2019)