Keyword:Simulink

Publications
Interoperability Challenges and Opportunities in Vehicle-in-the-Loop Testings: Insights from NUVE Lab's Hybrid Setup Sarthak Acharya, Aparajita Tripathy, Juho Alatalo, Pekka Seppänen, Aki Lamponen, Jukka Säkkinen and Tero Päivärinta EasyChair Preprint 14674
Vehicle Dynamics Modeling and Simulation Including Empirical Nonlinear Tire Elements with Artificial Intelligence Using Native Code MotionSim Integrated into Simulink Environment John Dye and Hamid Lankarani EasyChair Preprint 13544
A Method for Determining Whether a Simulink Model Is Ready for Test Generation Takuya Ogata, Yuge Liu and Kenji Hisazumi EasyChair Preprint 4532
Self-adjusting Inertia Emulation Control in V2G Application Saleh Dinkhah and Miao He EasyChair Preprint 3333
Design methodologies for FPGA using Matlab and Simulink. Santiago Tomás Pérez Suárez EasyChair Preprint 590
Design methodology of sigmoid functions for Neural Networks using lookup tables on FPGAs Santiago Tomás Pérez Suárez EasyChair Preprint 583
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja and Claudio Menghi In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Analysis of Field Oriented Control Strategy for Induction Motor Ujash Vachhani and Ashish Patel In:ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Engineering
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata Nikolaos Kekatos, Marcelo Forets and Goran Frehse In:ARCH17. 4th International Workshop on Applied Verification of 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
Benchmarks for Temporal Logic Requirements for Automotive Systems Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Motor-Transmission Drive System: a Benchmark Example for Safety Verification Hongxu Chen, Sayan Mitra and Guangyu Tian In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Progress on Powertrain Verification Challenge with C2E2 Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan 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