Search results for "Simulink"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner	Equivalence Checking for Hybrid Control Systems Modelled in Simulink.	QRS Companion	2018	DBLP DOI BibTeX RDF
15	Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang	Graphical Hybrid Automata with Simulink and Stateflow.	HSCC	2018	DBLP DOI BibTeX RDF
15	Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang	Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.	HSCC	2018	DBLP DOI BibTeX RDF
15	Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic	Localizing Faults in Simulink/Stateflow Models with STL.	HSCC	2018	DBLP DOI BibTeX RDF
15	Caroline Brandberg, Marco Di Natale	Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
15	Jiaxing Li, Yunhua Li, Qu Wang, Hao Lu, Kai Xiong	Motor Electric Current Based Fault Detection for Transmission of EMA Using Matlab/Simulink Simscape.	ICARCV	2018	DBLP DOI BibTeX RDF
15	Eric J. Rapos, James R. Cordy	SimEvo: A Toolset for Simulink Test Evolution & Maintenance.	ICST	2018	DBLP DOI BibTeX RDF
15	Ali Behravan, Roman Obermaisser, Deepak Hanike Basavegowda, Simon Meckel	Automatic model-based fault detection and diagnosis using diagnostic directed acyclic graph for a demand-controlled ventilation and heating system in Simulink.	SysCon	2018	DBLP DOI BibTeX RDF
15	Asma Rebaya, Kaouther Gasmi, Salem Hasnaoui	A Simulink-Based Rapid Prototyping Workflow for Optimizing Software/Hardware Programming.	SoftCOM	2018	DBLP DOI BibTeX RDF
15	Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek	Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption.	ISSRE	2018	DBLP DOI BibTeX RDF
15	Robert Glebocki, Iryna Baranovska, Rafal Ozóg	Some Problems of Inertial Measurement Units Modeling in Matlab and Matlab/Simulink.	AUTOMATION	2018	DBLP DOI BibTeX RDF
15	Nina Parkalian, Markus Robens, Christian Grewing, Volker Christ, Dennis Liebau, P. Muralidharan, Dennis Nielinger, Ugur Yegin, Andre Zambanini, Stefan van Waasen	Modeling and Simulation of Digital Phase-Locked Loop in Simulink.	SMACD	2018	DBLP DOI BibTeX RDF
15	Salma. A. S. Alarefi, Stuart D. Walker	Empirical investigation and Simulink-simulation modelling of hydropower generator characteristic impedance.	ICIT	2018	DBLP DOI BibTeX RDF
15	Shamit Bansal, Yecheng Zhao, Haibo Zeng 0001, Kehua Yang	Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling.	RTSS	2018	DBLP DOI BibTeX RDF
15	Pavol Salík, Rastislav Róka, Tomás Gorazd	Simulation Platform of Optical Transmission System in Matlab Simulink.	FNC/MobiSPC	2018	DBLP DOI BibTeX RDF
15	Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil	Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations).	CyPhy/WESE	2018	DBLP DOI BibTeX RDF
15	Andreas Naderlinger	Subjecting Legacy Simulink Models to Timing Specifications.	CyPhy/WESE	2018	DBLP DOI BibTeX RDF
15	Gerardo Molina Salgado, Alberto Dicataldo, Daniel O'Hare, Ivan John O'Connell, José M. de la Rosa 0001	Behavioral Modeling of SAR ADCs in Simulink.	ISCAS	2018	DBLP DOI BibTeX RDF
15	Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas	Documenting Simulink designs of embedded systems.	MoDELS (Companion)	2018	DBLP DOI BibTeX RDF
15	Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern	EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration).	MoDELS (Workshops)	2018	DBLP BibTeX RDF
15	Eun-Young Kang 0001, Li Huang 0001	Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier.	SETTA	2018	DBLP DOI BibTeX RDF
15	Nupur Yadav, D. K. Sambariya	Mathematical Modelling and Simulation of Photovoltaic Module Using MATLAB/SIMULINK.	ICCCNT	2018	DBLP DOI BibTeX RDF
15	Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner	A curated corpus of simulink models for model-based empirical studies.	SEsCPS@ICSE	2018	DBLP DOI BibTeX RDF
15	Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner	Information Flow Analysis of Combined Simulink/Stateflow Models.	WETICE	2018	DBLP DOI BibTeX RDF
15	Raed Mesleh, Abdullah Al-Khatib, Omar Hiari	Hardware Implementation of Generalized Space Modulation Techniques Using Simulink RF Blockset.	BROADNETS	2018	DBLP DOI BibTeX RDF
15	Chakarajamula Hussaian Basha, C. Rani, R. M. Brisilla, S. Odofin	Mathematical Design and Analysis of Photovoltaic Cell Using MATLAB/Simulink.	SocProS (1)	2018	DBLP DOI BibTeX RDF
15	Alexander Schlie, Sandro Schulze, Ina Schaefer	Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis.	ICSME	2018	DBLP DOI BibTeX RDF
15	Jacek Nazdrowicz	Different Methods of MEMS Simulations in Matlab/SIMULINK.	MIXDES	2018	DBLP DOI BibTeX RDF
15	Nicolás Montés, Nuria Rosillo, Marta Covadonga Mora, Lucia Hilario	Real-Time Matlab-Simulink-Lego EV3 Framework for Teaching Robotics Subjects.	RiE	2018	DBLP DOI BibTeX RDF
15	J. J. Brito, Pedro A. Toledo, Silvia Alayón	Virtual laboratory for automation combining inventor 3D models and Simulink control models: Virtual laboratory for automation.	EDUCON	2018	DBLP DOI BibTeX RDF
15	Mehmet Yilmaz, Fatih Mehmet Nuroglu	Design of permissible step and touch voltage with SIMULINK and MATLAB guide.	SIU	2018	DBLP DOI BibTeX RDF
15	Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh 0002	Modeling AUTOSAR Implementations in Simulink.	ECMFA	2018	DBLP DOI BibTeX RDF
15	Dirk Fetzer, Gustav Lammert, Anton Ishchenko, Lars Tabit, Martin Braun 0002	A Flexible MATLAB/Simulink RMS-Framework for Electrical Power Systems Designed for Research and Education.	ISGT Europe	2018	DBLP DOI BibTeX RDF
15	Ilhan Kocaarslan, Mehmet Taciddin Akçay, Sirri Erdem Ulusoy, Emrah Bal, Hasan Tiryaki	Creation of a dynamic model of the electrification and traction power system of a 25 kV AC feed railway line together with analysis of different operation scenarios using MATLAB/Simulink.	Turkish J. Electr. Eng. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Majid Toghyani Rizi, Mohammad Hadi Shahrokh Abadi	Analytical modeling of a coaxial cylindrical probe capacitive sensor based on MATLAB/Simulink for conductive liquids level measurements.	Turkish J. Electr. Eng. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Tim Peter, Sigrid Wenzel	Coupled Simulation of Energy and Material Flow using Plant Simulation and MATLAB Simulink.	Simul. Notes Eur.	2017	DBLP DOI BibTeX RDF
15	Luciano Baresi, Márcio Eduardo Delamaro, Paulo Augusto Nardi	Test oracles for simulink-like models.	Autom. Softw. Eng.	2017	DBLP DOI BibTeX RDF
15	Zhitao Wang, Jian Li, Tie-lei Li, Shu-Ying Li	Research on Simulink/Fluent Collaborative Simulation Zooming of Marine Gas Turbine.	Appl. Comput. Intell. Soft Comput.	2017	DBLP DOI BibTeX RDF
15	Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet	A Synchronous Look at the Simulink Standard Library.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
15	Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs, David Lung, Radu Grosu	SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans.	CoRR	2017	DBLP BibTeX RDF
15	Maher Fakih, Sebastian Warsitz	Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development.	CoRR	2017	DBLP BibTeX RDF
15	Meng Li 0001, Ratnesh Kumar 0001	Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.	IET Cyper-Phys. Syst.: Theory & Appl.	2017	DBLP DOI BibTeX RDF
15	Xueqian Zhao, Zhonghai Lu	A Tool for xMAS-Based Modeling and Analysis of Communication Fabrics in Simulink.	ACM Trans. Model. Comput. Simul.	2017	DBLP DOI BibTeX RDF
15	Naijun Zhan, Shuling Wang, Hengjun Zhao (eds.)	Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach.		2017	DOI RDF
15	Asma Rebaya, Imen Amari, Kaouther Gasmi, Salem Hasnaoui	Workflow for NoC/DSP multicores-based platform: From Matlab/Simulink models to hardware mapping and scheduling.	ICCAD	2017	DBLP DOI BibTeX RDF
15	Molla Biweta, Mengesha Mamo	Closed loop control strategy of back to back PWM converter fed by PMSG using PLECS toolbox on Matlab/Simulink for wind energy application.	AFRICON	2017	DBLP DOI BibTeX RDF
15	Yves Matanga, Karim Djouani, Anish Mathew Kurien	A Matlab/Simulink framework for real time implementation of endogenous brain computer interfaces.	AFRICON	2017	DBLP DOI BibTeX RDF
15	Stefano Aldegheri, Nicola Bombieri	Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications.	VLSI-SoC (Selected Papers)	2017	DBLP DOI BibTeX RDF
15	Andreas Naderlinger	Simulating preemptive scheduling with timing-aware blocks in Simulink.	DATE	2017	DBLP DOI BibTeX RDF
15	Mustafa Saraoglu, Andrey Morozov 0001, Mehmet Turan Söylemez, Klaus Janschek	ErrorSim: A Tool for Error Propagation Analysis of Simulink Models.	SAFECOMP	2017	DBLP DOI BibTeX RDF
15	Zhenying Jiang, Xiao Wu, Zeqian Dong, Ming Mu	Optimal Test Case Generation for Simulink Models Using Slicing.	QRS Companion	2017	DBLP DOI BibTeX RDF
15	Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand	Improving fault localization for Simulink models using search-based testing and prediction models.	SANER	2017	DBLP DOI BibTeX RDF
15	Kaouther Gasmi, Imen Amari, Asma Rebeya, Salem Hasnaoui	Automatic paral ellizati on of Simulink models for multicore embedded systems development.	IINTEC	2017	DBLP DOI BibTeX RDF
15	Chi Huang, Qiwei He, Zhengtao Yan, Weipeng Gao	Active Control Simulation of Double Layer Vibration Isolation Platform Based on Simulink with Variable Step Size On-line Identification.	ISCID (2)	2017	DBLP DOI BibTeX RDF
15	Martín Letras, Joachim Falk, Stefan Wildermann, Jürgen Teich	Automatic Conversion of Simulink Models to SysteMoC Actor Networks.	SCOPES	2017	DBLP DOI BibTeX RDF
15	Kaouther Gasmi, Imen Amari, Asma Rebeya, Salem Hasnaoui	Performance evaluation of MATLAB/Simulink models for fitting embedded multicore systems.	SoftCOM	2017	DBLP DOI BibTeX RDF
15	Nikolaos Kekatos, Marcelo Forets, Goran Frehse	Constructing verification models of nonlinear Simulink systems via syntactic hybridization.	CDC	2017	DBLP DOI BibTeX RDF
15	Craig Buhr	Special sessions: Controls teaching made easier with MATLAB and Simulink.	CDC	2017	DBLP DOI BibTeX RDF
15	H. R. Jayetileke, W. R. de Mel, H. U. W. Ratnayake	Modelling and simulation analysis of the genetic-fuzzy controller for speed regulation of a sensored BLDC motor using MATLAB/SIMULINK.	ICIIS	2017	DBLP DOI BibTeX RDF
15	Abdelmenem Abobghala, Simon Iwnicki, Roger Goodall	Evaluation of passive and active steering systems for railway vehicles using Matlab and Simulink simulation.	ICAC	2017	DBLP DOI BibTeX RDF
15	Vincenzo Bonaiuto, Fausto Sargeni	A Matlab Simulink model for the study of smart grid - Grid-integrated vehicles interactions.	RTSI	2017	DBLP DOI BibTeX RDF
15	Andreas Naderlinger	Simulating execution time variations in Matlab/Simulink.	WSC	2017	DBLP DOI BibTeX RDF
15	Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner	Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.	COMPSAC (2)	2017	DBLP DOI BibTeX RDF
15	Mario Gavran, Mato Fruk, Goran Vujisic	PI controller for DC motor speed realized with Arduino and Simulink.	MIPRO	2017	DBLP DOI BibTeX RDF
15	S. M. Sadinov	Simulation study of M-ARY QAM modulation techniques using Matlab/Simulink.	MIPRO	2017	DBLP DOI BibTeX RDF
15	Vjosa Shatri, Lavdim Kurtaj, Ilir Limani	Hardware-in-the-loop architecture with MATLAB/Simulink and QuaRC for rapid prototyping of CMAC neural network controller for ball-and-beam plant.	MIPRO	2017	DBLP DOI BibTeX RDF
15	Reza Matinnejad, Shiva Nejati, Lionel C. Briand	Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies.	ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
15	Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis	Generation of simulink monitors for control applications from formal requirements.	SIES	2017	DBLP DOI BibTeX RDF
15	Joanne Kitson, Samuel J. Williamson, Paul Harper, Chris M. McMahon, Ges Rosenberg, Michael Tierney, Karen Bell	A photovoltaic panel modelling method for flexible implementation in Matlab/Simulink using datasheet quantities.	ISIE	2017	DBLP DOI BibTeX RDF
15	Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi	Automatic generation of cycle-accurate Simulink blocks from hdl ips.	FDL	2017	DBLP DOI BibTeX RDF
15	Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi	Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces.	FDL (Selected Papers)	2017	DBLP DOI BibTeX RDF
15	Italo Oliveira, Ramiro S. Barbosa, Manuel F. Silva 0001	Modelling, Trajectory Planning and Control of a Quadruped Robot Using Matlab®/Simulink™.	ROBOT (2)	2017	DBLP DOI BibTeX RDF
15	Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer	Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis.	ICSR	2017	DBLP DOI BibTeX RDF
15	Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki	Template-Based Monte-Carlo Test Generation for Simulink Models.	CyPhy	2017	DBLP DOI BibTeX RDF
15	Shota Tokunaga, Takuya Azumi	Demo Abstract: Co-simulation Framework for Autonomous Driving Systems with MATLAB/Simulink.	RTAS	2017	DBLP DOI BibTeX RDF
15	Matus Kozovsky, Petr Blaha	Simulink generated control algorithm for nine-phase PMS motor.	ICCSCE	2017	DBLP DOI BibTeX RDF
15	Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis	Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.	FORTE	2017	DBLP DOI BibTeX RDF
15	Frantisek Gazdos	Teaching Process Modelling And Simulation At Tomas Bata University In Zlin Using MATLAB And Simulink.	ECMS	2017	DBLP DOI BibTeX RDF
15	Bohan Lv, Shan Liu, Jinshu Gu, Guangshang Zeng	Dynamics Co-simulation of Multi-DOF Dexterous Robot Hand System Based on ADAMS and Simulink.	ICCMS	2017	DBLP DOI BibTeX RDF
15	Guangming Xiong, Hao Li, Zeliang Ding, Jianwei Gong, Huiyan Chen	Subjective evaluation of vehicle active safety using PreScan and Simulink: Lane departure warning system as an example.	ICVES	2017	DBLP DOI BibTeX RDF
15	Manel Takrouni, Marwa Gdhaifi, Azer Hasnaoui, Ikbel Mejri, Salem Hasnaoui	Design and Implementation of a Simulink DDS Blockset and Its Integration to an Active Frame Steering Blockset Conformed to SAE ElectricVehicle.	AICCSA	2017	DBLP DOI BibTeX RDF
15	Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer	Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation.	SPLC (A)	2017	DBLP DOI BibTeX RDF
15	Wei-Jie Tang, Zhen-Tao Liu	A convenient method for tracking color-based object in living video based on ROS and MATLAB/Simulink.	ICARM	2017	DBLP DOI BibTeX RDF
15	Om Ji Shukla, Gunjan Soni, Rajesh Kumar 0002	Simulation Modeling for Manufacturing System Application Using Simulink/SimEvents.	SocProS (2)	2017	DBLP DOI BibTeX RDF
15	Eric J. Rapos, James R. Cordy	SimPact: Impact Analysis for Simulink Models.	ICSME	2017	DBLP DOI BibTeX RDF
15	Jacek Nazdrowicz	SIMULINK and COMSOL software application for MEMS accelerometer modeling and simulation.	MIXDES	2017	DBLP DOI BibTeX RDF
15	Claudius Jordan, Canlong Ma, Julien Provost	An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week.	EDUCON	2017	DBLP DOI BibTeX RDF
15	Georg P. Engel, Ajay Sathya Chakkaravarthy, Gerald Schweiger	Co-simulation Between Trnsys and Simulink Based on Type155.	SEFM Workshops	2017	DBLP DOI BibTeX RDF
15	Arthur Noronha Montanari, Camila Felix Luciano, Marcelo Martins Stopa, Claudio de Andrade Lima	A virtual environment for paralleling process of synchronous generators on LabVIEW and Simulink.	ICACIT	2017	DBLP DOI BibTeX RDF
15	Eric J. Rapos	Supporting Simulink Model Management.		2017	RDF
15	Francisco de la Parra	Discovery of Patterns in Simulink Systems.		2017	RDF
15	Artur Schmidt, Umut Durak, Thorsten Pawletta	Model-based testing methodology using system entity structures for MATLAB/Simulink models.	Simul.	2016	DBLP DOI BibTeX RDF
15	Walid Emar	Analysis, modeling and simulation of step up converter using Matlab-Simulink and simplorer.	Int. J. Model. Simul. Sci. Comput.	2016	DBLP DOI BibTeX RDF
15	Pontus Boström, Jonatan Wiik	Contract-based verification of discrete-time multi-rate Simulink models.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
15	Muharrem Orkun Saglamdemir, Gönenç Berkol, Günhan Dündar, Alper Sen 0001	An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation.	Integr.	2016	DBLP DOI BibTeX RDF
15	Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis	Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.	CoRR	2016	DBLP BibTeX RDF
15	Meng Li 0001, Ratnesh Kumar 0001	Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.	IET Cyper-Phys. Syst.: Theory & Appl.	2016	DBLP DOI BibTeX RDF
15	Le Thi My Hanh, Nguyen Thanh Binh 0002, Khuat Thanh Tung	A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis.	J. Syst. Softw.	2016	DBLP DOI BibTeX RDF
15	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Simulink Stateflow Models.	Int. J. Networked Distributed Comput.	2016	DBLP DOI BibTeX RDF
15	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Simulink Stateflow Models.	Int. J. Networked Distributed Comput.	2016	DBLP DOI BibTeX RDF