Keyword:MATLAB

Papers
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