Keyword:control systems

Papers
Competency Assessment Methodology for Online Engineering Laboratories. Leonardo Benavides Maldonado, Roberto Jacome, Hernán Castillo García, Estefanía Salinas and Jamil Ramon EasyChair Preprint no. 5232
Verification of Closed-loop Systems with Neural Network Controllers Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems