Search results for "Simulink"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Civan Artun Cansalar, Ertan Mavis, Cosku Kasnakoglu	Simulation time analysis of MATLAB/Simulink and LabVIEW for control applications.	ICIT	2015	DBLP DOI BibTeX RDF
15	Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner	Timed Path Conditions in MATLAB/Simulink.	IESS	2015	DBLP DOI BibTeX RDF
15	Hyung Jun Kim, Ji Hyun Yang	Development of an Interactive Driver Module Focusing on Personalized Control Characteristics: Longitudinal and Lateral Control Model Implemented in SIMULINK.	SMC	2015	DBLP DOI BibTeX RDF
15	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Nondeterministic Simulink Stateflow Models.	ISMVL	2015	DBLP DOI BibTeX RDF
15	Thomas Gerlitz, Quang Minh Tran, Christian Dziobek	Detection and Handling of Model Smells for MATLAB/Simulink models.	MASE@MoDELS	2015	DBLP BibTeX RDF
15	Matthew Stephan, James R. Cordy	Identification of Simulink model antipattern instances using model clone detection.	MoDELS	2015	DBLP DOI BibTeX RDF
15	Carsten Kolassa, Holger Rendel, Bernhard Rumpe	Evaluation of Variability Concepts for Simulink in the Automotive Domain.	HICSS	2015	DBLP DOI BibTeX RDF
15	Quang Minh Tran, Jonas Winkler, Christian Dziobek	SLRefactor: Ein Refactoring-Ansatz für Simulink-Modelle.	GI-Jahrestagung	2015	DBLP BibTeX RDF
15	Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski	Static Value Range Analysis for Matlab/Simulink-Models.	GI-Jahrestagung	2015	DBLP BibTeX RDF
15	Ramil Khusainov, Ilya Shimchik, Ilya Afanasyev 0001, Evgeni Magid	Toward a Human-like Locomotion: Modelling Dynamically Stable Locomotion of an Anthropomorphic Robot in Simulink Environment.	ICINCO (2)	2015	DBLP DOI BibTeX RDF
15	Ramil Khusainov, Ilya Shimchik, Ilya Afanasyev 0001, Evgeni Magid	3D Modelling of Biped Robot Locomotion with Walking Primitives Approach in Simulink Environment.	ICINCO (Selected Papers)	2015	DBLP DOI BibTeX RDF
15	Andreas Attenberger, Klaus Buchenrieder	MATLAB/Simulink-Supported EMG Classification on the Raspberry Pi.	EUROCAST	2015	DBLP DOI BibTeX RDF
15	Shen Feng, Chris Driscoll, Jerediah R. Fevold, Hao Jiang, Gunar Schirner	Rapid heterogeneous prototyping from Simulink.	ISQED	2015	DBLP DOI BibTeX RDF
15	Nuno Vilhena, Pedro Arsénio, João Murta Pina, Anabela Gonçalves Pronto, Alfredo Álvarez	Development of a Simulink Model of a Saturated Cores Superconducting Fault Current Limiter.	DoCEIS	2015	DBLP DOI BibTeX RDF
15	Miroslav Gula, Katarína Záková	Matlab Adapter - Online Access to Matlab/Simulink Based on REST Web Services.	CSOC (2)	2015	DBLP DOI BibTeX RDF
15	Jiri Vojtesek, Petr Dostál	Using Simulink in Simulation of Dynamic Behaviour of Nonlinear Process.	CSOC (2)	2015	DBLP DOI BibTeX RDF
15	Mohammad Ashraf Hossain Sadi, Mohd. Hassan Ali, Dipankar Dasgupta, Robert K. Abercrombie	OPNET/Simulink Based Testbed for Disturbance Detection in the Smart Grid.	CISR	2015	DBLP DOI BibTeX RDF
15	Yunwei Dong, Zhe Li, Yibo Cheng, Hongbin Zhao	A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model.	TSA	2015	DBLP DOI BibTeX RDF
15	Krzysztof Arent, Wojciech Domski, Mateusz Cholewinski	Deployment of model based robotic control algorithms, designed using Matlab/Simulink, in the form of OROCOS components operating under Linux Xenomai.	MMAR	2015	DBLP DOI BibTeX RDF
15	Jan Schroeder, Christian Berger 0001, Thomas Herpel, Miroslaw Staron	Comparing the Applicability of Complexity Measurements for Simulink Models during Integration Testing - An Industrial Case Study.	SAM@ICSE	2015	DBLP DOI BibTeX RDF
15	Bernhard Rumpe, Christoph Schulze 0002, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart	Behavioral compatibility of simulink models for product line maintenance and evolution.	SPLC	2015	DBLP DOI BibTeX RDF
15	Eric J. Rapos, Andrew Stevenson, Manar H. Alalfi, James R. Cordy	SimNav: Simulink navigation of model clone classes.	SCAM	2015	DBLP DOI BibTeX RDF
15	Ahmet Taskin, Tufan Kumbasar	An Open Source Matlab/Simulink Toolbox for Interval Type-2 Fuzzy Logic Systems.	SSCI	2015	DBLP DOI BibTeX RDF
15	Duygu Kaya, Mustafa Türk	A Matlab/Simulink model for multi-scroll chaotic attractors.	SIU	2015	DBLP DOI BibTeX RDF
15	Mustafa Seker, Arif Memmedov	The modelling of electric arc furnace load with Matlab/Simulink.	SIU	2015	DBLP DOI BibTeX RDF
15	Robert Reicherdt	A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie.		2015	RDF
15	Sunday Adetona, Raifu Salawu, Frank Okafor	Simulink model for planning a new power transmission investment.	Simul.	2014	DBLP DOI BibTeX RDF
15	Tamara Vobruba, Claudia Wytrzens, Andrea Kainz, Irene Hafner	Comparison of Programmed MATLAB Implementation and Graphically Modelled Simulink Implementation for ARGESIM Benchmark C11 'SCARA Robot'.	Simul. Notes Eur.	2014	DBLP DOI BibTeX RDF
15	Thorsten Pawletta, Daniel Pascheka, Artur Schmidt, Sven Pawletta	Ontology-Assisted System Modeling and Simulation within MATLAB/Simulink.	Simul. Notes Eur.	2014	DBLP DOI BibTeX RDF
15	Patrick Grabher, Matthias Rößler 0001, Bernhard Heinzl	Implementation of Quantized State Systems in MATLAB/Simulink.	Simul. Notes Eur.	2014	DBLP DOI BibTeX RDF
15	Rongjie Yan, Min Yu 0006, Kai Huang 0002, Xiaomeng Zhang	Communication-oriented performance optimisation during code generation from Simulink models.	Int. J. Embed. Syst.	2014	DBLP DOI BibTeX RDF
15	Kai Huang 0002, Min Yu 0006, Xiaomeng Zhang, Dan-dan Zheng, Siwen Xiu, Rongjie Yan, Kai Huang 0001, Zhili Liu, Xiaolang Yan	ILP Based Multithreaded Code Generation for Simulink Model.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
15	Andrew W. L. Dickinson, Purang Abolmaesumi, David G. Gobbi, Parvin Mousavi	SimITK: Visual Programming of the ITK Image-Processing Library within Simulink.	J. Digit. Imaging	2014	DBLP DOI BibTeX RDF
15	Hamid Abdul Basit, Yanja Dajsuren	Handling Clone Mutations in Simulink Models with VCL.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
15	Carsten Kolassa, David Dieckow, Michael Hirsch, Uwe Creutzburg, Christian Siemers, Bernhard Rumpe	Objektorientierte Graphendarstellung von Simulink-Modellen zur einfachen Analyse und Transformation.	CoRR	2014	DBLP BibTeX RDF
15	Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer	First-Class Variability Modeling in Matlab/Simulink.	CoRR	2014	DBLP BibTeX RDF
15	Kaier Wang, Moira L. Steyn-Ross, D. A. Steyn-Ross, Marcus T. Wilson, Jamie W. Sleigh, Yoichi Shiraishi	Simulations of pattern dynamics for reaction-diffusion systems via SIMULINK.	BMC Syst. Biol.	2014	DBLP DOI BibTeX RDF
15	Alessandro Cilardo, Dario Socci, Nicola Mazzocca	ASP-based optimized mapping in a simulink-to-MPSoC design flow.	J. Syst. Archit.	2014	DBLP DOI BibTeX RDF
15	Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh 0002	Automatic test case generation from Simulink/Stateflow models using model checking.	Softw. Test. Verification Reliab.	2014	DBLP DOI BibTeX RDF
15	Rami Yamin, Ahmed Rachid	Modeling and Simulation of a Lead-Acid Battery Packs in MATLAB/Simulink: Parameters Identification Using Extended Kalman Filter Algorithm.	UKSim	2014	DBLP DOI BibTeX RDF
15	Jiri Barnat, Petr Bauch, Vojtech Havel	Temporal Verification of Simulink Diagrams.	HASE	2014	DBLP DOI BibTeX RDF
15	Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic	Signature Required - Making Simulink Data Flow and Interfaces Explicit.	MODELSWARD	2014	DBLP DOI BibTeX RDF
15	Jonatan Wiik, Pontus Boström	Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code.	ICFEM	2014	DBLP DOI BibTeX RDF
15	Le Thi My Hanh, Nguyen Thanh Binh 0002, Khuat Thanh Tung	Applying the meta-heuristic algorithms for mutation-based test data generation for Simulink models.	SoICT	2014	DBLP DOI BibTeX RDF
15	Omar Sandre-Hernández, Jose de Jesus Rangel-Magdaleno, Roberto Morales-Caporal	Simulink-HDL cosimulation of direct torque control of a PM synchronous machine based FPGA.	CCE	2014	DBLP DOI BibTeX RDF
15	Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer	Relationship between Simulink and Petri nets.	SIMULTECH	2014	DBLP BibTeX RDF
15	Dmitrijs Finaskins, Gunars Lauks	Attractor Selection mechanism Simulink model.	FedCSIS (Position Papers)	2014	DBLP DOI BibTeX RDF
15	Francesco Robino, Johnny Öberg	From Simulink to NoC-based MPSoC on FPGA.	DATE	2014	DBLP DOI BibTeX RDF
15	Satoru Miyasono, Yosuke Moriai, Hiroshi Saito	A Code Partitioning Tool for Simulink Models to Implement on FPGA-Based Network-on-Chip Architecture.	MCSoC	2014	DBLP DOI BibTeX RDF
15	Nikolay V. Kuznetsov, Olga A. Kuznetsova, Gennady A. Leonov, Svetlana M. Seledzhi, Marat V. Yuldashev, Renat V. Yuldashev	BPSK Costas loop: Simulation of nonlinear models in MatLab Simulink.	ICUMT	2014	DBLP DOI BibTeX RDF
15	Nikolay V. Kuznetsov, Gennady A. Leonov, Marat V. Yuldashev, Renat V. Yuldashev	Simulation of nonlinear models of modified BPSK Costas loop for non sinusoidal waveforms in MatLab Simulink.	ICUMT	2014	DBLP DOI BibTeX RDF
15	Nikolay V. Kuznetsov, Olga A. Kuznetsova, Gennady A. Leonov, Pekka Neittaanmäki, Marat V. Yuldashev, Renat V. Yuldashev	Simulation of nonlinear models of QPSK costas loop in MatLab Simulink.	ICUMT	2014	DBLP DOI BibTeX RDF
15	Matthew Stephan, Manar H. Alalfi, James R. Cordy	Towards a Taxonomy for Simulink Model Mutations.	ICST Workshops	2014	DBLP DOI BibTeX RDF
15	Bart Pussig, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe	Generation of functional mock-up units for co-simulation from simulink®, using explicit computational semantics: work in progress paper.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
15	Joachim Denil, Pieter J. Mosterman, Hans Vangheluwe	Rule-based model transformation for, and in simulink.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
15	Adam Smolarczyk, Ryszard Kowalik, Emil Bartosiewicz	The real-time simulator for protective relays testing using MATLAB/Simulink software.	PSCC	2014	DBLP DOI BibTeX RDF
15	Mickael Lanoe, Matteo Bordin, Dominique Heller, Philippe Coussy, Cyrille Chavet	A modeling and code generation framework for critical embedded systems design: From Simulink down to VHDL and Ada/C code.	ICECS	2014	DBLP DOI BibTeX RDF
15	Hemangi N. Patil, Sharada Narsingrao Ohatkar	Design and simulation of Software Defined Radio using MATLAB® SIMULINK®.	WOCN	2014	DBLP DOI BibTeX RDF
15	Dejan Nagradic, Kresimir Pardon, Drazen Jurisic	Model of low-noise, small-current-measurement system using MATLAB/Simulink tools.	MIPRO	2014	DBLP DOI BibTeX RDF
15	Rene A. Benvenuti, Luís Fernando Alves Pereira, Luis Alberto Pereira, Sergio L. Haffner, Marcelo Götz	Multipurpose platform for control of 3-phase and 5-phase induction machines integrated with MATLAB/Simulink®.	IECON	2014	DBLP DOI BibTeX RDF
15	Afifa Rahatulain, Tahir Naseer Qureshi, Mauro Onori	Modeling and simulation of evolvable production systems using Simulink/SimEvents.	IECON	2014	DBLP DOI BibTeX RDF
15	Andreas Attenberger, Klaus Buchenrieder	An Arduino-Simulink-Control System for Modern Hand Protheses.	ICAISC (2)	2014	DBLP DOI BibTeX RDF
15	Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier	On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink.	SAM	2014	DBLP DOI BibTeX RDF
15	Augustin Manecy, Nicolas Marchand, Stéphane Viollet	RT-MaG: An open-source SIMULINK toolbox for Linux-based real-time robotic applications.	ROBIO	2014	DBLP DOI BibTeX RDF
15	Jonas Paul Winkler, Quang Minh Tran	Automatische Erkennung von Model Smells in Simulink-Modellen.	Informatiktage	2014	DBLP BibTeX RDF
15	Jordan Kralev	Design of UART controller for FPGA with Simulink®.	MECO	2014	DBLP DOI BibTeX RDF
15	Claire Pagetti, David Saussié, Romain Gratia, Eric Noulard, Pierre Siron	The ROSACE case study: From Simulink specification to multi/many-core execution.	RTAS	2014	DBLP DOI BibTeX RDF
15	José M. de la Rosa 0001	Live demonstration: Using SIMULINK S-functions for the efficient modeling and simulation of analog integrated circuits and systems.	ISCAS	2014	DBLP DOI BibTeX RDF
15	Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli	An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.	MoDELS	2014	DBLP DOI BibTeX RDF
15	Muhammad Umer Tariq, Jacques Florence, Marilyn Wolf	Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto.	ACES-MB@MoDELS	2014	DBLP BibTeX RDF
15	Irtaza M. Syed, Amirnaser Yazdani	Simple mathematical model of photovoltaic module for simulation in Matlab/Simulink.	CCECE	2014	DBLP DOI BibTeX RDF
15	J. Krizan, L. Ertl, M. Bradac, M. Jasansky, A. Andreev	Automatic code generation from Matlab/Simulink for critical applications.	CCECE	2014	DBLP DOI BibTeX RDF
15	Johanna Schneider	Tracking down root causes of defects in simulink models.	ASE	2014	DBLP DOI BibTeX RDF
15	Dominik Holling, Alexander Pretschner, Matthias Gemmar	8Cage: lightweight fault-based test generation for simulink.	ASE	2014	DBLP DOI BibTeX RDF
15	Johanna Schneider	Determining the most probable root causes of run-time errors in simulink models.	ASE	2014	DBLP DOI BibTeX RDF
15	Le Thi My Hanh, Nguyen Thanh Binh 0002, Khuat Thanh Tung	A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models.	KSE	2014	DBLP DOI BibTeX RDF
15	Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Structuring simulink models for verification and reuse.	MiSE	2014	DBLP DOI BibTeX RDF
15	Jens Weiland, Peter Manhart	A classification of modeling variability in simulink.	VaMoS	2014	DBLP DOI BibTeX RDF
15	M. Tóthová, Jan Pitel	Dynamic simulation of pneumatic muscle actuator in Matlab/Simulink environment.	SISY	2014	DBLP DOI BibTeX RDF
15	Thomas Sideropoulos, Nikos P. Pitsianis	A cycle-accurate synthesizable MIPS simulator in Simulink.	PARMA-DITAM@HiPEAC	2014	DBLP DOI BibTeX RDF
15	Peng Guo, Yahui Li, Peng Li, Shuai Liu, Dongya Sun	A UML Model to Simulink Model Transformation Method in the Design of Embedded Software.	CIS	2014	DBLP DOI BibTeX RDF
15	Manar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy	Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models.	ICSME	2014	DBLP DOI BibTeX RDF
15	Lukasz Wiechowski, Krzysztof Siwiec, Jakub Kopanski, Witold A. Pleskacz	Simulink model of GFSK demodulator based on time-to-digital converter.	MIXDES	2014	DBLP DOI BibTeX RDF
15	Robert Reicherdt, Sabine Glesner	Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie.	SEFM	2014	DBLP DOI BibTeX RDF
15	Erik Aceiro Antonio	RTSS: uma família de técnicas de leitura para suporte à inspeção de modelos SysML e Simulink.		2014	RDF
15	Ralph Görgen	Effiziente Integration von Hardwarebeschreibungen in Simulink-TDF-Simulationen.		2014	RDF
15	Olaf Hagendorf, Thorsten Pawletta, Roland Larek	An approach to simulation-based parameter and structure optimization of MATLAB/Simulink models using evolutionary algorithms.	Simul.	2013	DBLP DOI BibTeX RDF
15	Rodrigo Fraxino Araujo, Márcio Eduardo Delamaro, José Carlos Maldonado	Functional test data generation for Simulink-like models.	J. Braz. Comput. Soc.	2013	DBLP DOI BibTeX RDF
15	Eduardo Steiner, Paulo César Masiero, Rodrigo Bonifácio	Managing SPL Variabilities in UAV Simulink Models with Pure: : variants and Hephaestus.	CLEI Electron. J.	2013	DBLP DOI BibTeX RDF
15	Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner	From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.	RITA	2013	DBLP DOI BibTeX RDF
15	Samir Barra, Souhil Kouda, Abdelghani Dendouga, Nour-Eddine Bouguechal	Simulink Behavioral Modeling of a 10- bit Pipelined ADC.	Int. J. Autom. Comput.	2013	DBLP DOI BibTeX RDF
15	Alin Tisan, Marcian N. Cirstea	SOM neural network design - A new Simulink library based approach targeting FPGA implementation.	Math. Comput. Simul.	2013	DBLP DOI BibTeX RDF
15	Sebastian Hödelmoser, Florian Kitzler	Comparison of MATLAB, Simulink and AnyLogic Approach to ARGESIM Benchmark C9 'Fuzzy Control of a Two Tank System'.	Simul. Notes Eur.	2013	DBLP DOI BibTeX RDF
15	Andreas Körner	Mathematical Framework for Graphical Simulation Models of Dynamical Systems in SIMULINK.	Simul. Notes Eur.	2013	DBLP DOI BibTeX RDF
15	Colin O'Halloran	Automated verification of code automatically generated from Simulink®.	Autom. Softw. Eng.	2013	DBLP DOI BibTeX RDF
15	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Stateflow/Simulink verification.	Formal Methods Syst. Des.	2013	DBLP DOI BibTeX RDF
15	Alfreds Asars, Elans Grabs, Ernests Petersons	Analysis of wavelet estimation of self-similar traffic parameters in the Simulink model.	Autom. Control. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Fenglai Pei, Nan Wang, Su Zhou	A Comparative Study of SIMULINK 1D Dynamic Model and FLUENT 3D Model for PEMFC Faults Diagnosis.	Int. J. Online Eng.	2013	DBLP DOI BibTeX RDF
15	Behrooz Vahidi, M. Taherkhani	Teaching short circuit breaking test on high-voltage circuit breakers to undergraduate students by using MATLAB-SIMULINK.	Comput. Appl. Eng. Educ.	2013	DBLP DOI BibTeX RDF
15	Behrooz Vahidi, E. Esmaeeli	MATLAB-SIMULINK-based simulation for digital differential relay protection of power transformer for educational purpose.	Comput. Appl. Eng. Educ.	2013	DBLP DOI BibTeX RDF