Keyword:MATLAB

Papers
Design methodology of sigmoid functions for Neural Networks using lookup tables on FPGAs Santiago Tomás Pérez Suárez EasyChair Preprint no. 583
Hydraulic Model Calibration of Pressure Reduced Zones with Multiple Input Valves Attila Bibok and Roland Fülöp In:HIC 2018. 13th International Conference on Hydroinformatics
Influence of Climate Change on the Optimization of Water Supply Systems Mario Maiolo, Giuseppe Mendicino, Daniela Pantusa, Alfonso Senatore and Joaquim Sousa In:HIC 2018. 13th International Conference on Hydroinformatics
Analysis of Field Oriented Control Strategy for Induction Motor Ujash Vachhani and Ashish R. Patel In:ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Engineering
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions Ibtissem Ben Makhlouf, Norman Hansen and Stefan Kowalewski In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Implementation of Interval Arithmetic in CORA 2016 Matthias Althoff and Dmitry Grebenyuk In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis Omar Beg, Ali Davoudi and Taylor T. Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue Houssam Abbas, Kuk Jin Jang and Rahul Mangharam In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
An Introduction to CORA 2015 Matthias Althoff In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications Alexandre Donzé and Vasumathi Raman In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Running SpaceEx on the ARCH14 Benchmarks Stefano Minopoli and Goran Frehse In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Using S-TaLiRo on Industrial Size Automotive Models Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems