Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.