Search results for "Simulink"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Petr Bauch, Vojtech Havel, Jiri Barnat	Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.	Softw. Qual. J.	2016	DBLP DOI BibTeX RDF
15	Shambhu Prasad, Suraj Nayak, Vamshi Vijay, Rajib Mall	SLDG: a metamodel for Simulink/Stateflow models and its applications.	Innov. Syst. Softw. Eng.	2016	DBLP DOI BibTeX RDF
15	Chun-Chi Chen, Chao-Lieh Chen, You-Ting Lin	Accurate Behavioral Simulator of All-Digital Time-Domain Smart Temperature Sensors by Using SIMULINK.	Sensors	2016	DBLP DOI BibTeX RDF
15	Muhammad Talha, Furqan Asghar, Sung-Ho Kim	A Matlab and Simulink Based Three-Phase Inverter Fault Diagnosis Method Using Three-Dimensional Features.	Int. J. Fuzzy Log. Intell. Syst.	2016	DBLP DOI BibTeX RDF
15	Peng Guo, Yahui Li, Lei Sun, Xiaole Cai	面向嵌入式软件开发的UML到Simulink模型转换方法 (UML Model to Simulink Model Transformation Method in Design of Embedded Software).	计算机科学	2016	DBLP DOI BibTeX RDF
15	Ramil Khusainov, Ilya Afanasyev 0001, Leysan Sabirova, Evgeni Magid	Bipedal robot locomotion modelling with virtual height inverted pendulum and preview control approaches in Simulink environment.	J. Robotics Netw. Artif. Life	2016	DBLP DOI BibTeX RDF
15	Madhupreetha L. Rajaram, Elias Kougianos, Saraju P. Mohanty, Uma Choppali	Wireless Sensor Network Simulation Frameworks: A Tutorial Review: MATLAB/Simulink bests the rest.	IEEE Consumer Electron. Mag.	2016	DBLP DOI BibTeX RDF
15	Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	Simulink fault localization: an iterative statistical debugging approach.	Softw. Test. Verification Reliab.	2016	DBLP DOI BibTeX RDF
15	Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga	Proving Critical Properties of Simulink Models.	HASE	2016	DBLP DOI BibTeX RDF
15	Nannan He, Victor Oke, Gale Allen	Model-based verification of PLC programs using Simulink design.	EIT	2016	DBLP DOI BibTeX RDF
15	Wei Li 0033, Ramamurthy Mani, Pieter J. Mosterman, Teresa Hübscher-Younger	Simulating a multicore scheduler of real-time control systems in simulink.	SummerSim	2016	DBLP BibTeX RDF
15	Abdelhady Ellakany, Ahmed Shaker, Mohamed Abouelatta, Ismail M. Hafez, Christian Gontrand	Modeling and simulation of a hybrid 3D silicon detector system using SILVACO and Simulink/MATLAB framework.	ICM	2016	DBLP DOI BibTeX RDF
15	Abhishek Sharma, Michel A. Reniers	Integrated simulation of CIF3 and simulink models.	ITSLE@SPLASH	2016	DBLP BibTeX RDF
15	Thomas Gerlitz, Stefan Kowalewski	Architectural Analysis of MATLAB/Simulink Models with Artshop.	WICSA	2016	DBLP DOI BibTeX RDF
15	Thomas Gerlitz, Stefan Kowalewski	Flow Sensitive Slicing for MATLAB/Simulink Models.	WICSA	2016	DBLP DOI BibTeX RDF
15	Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn	Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.	FM	2016	DBLP DOI BibTeX RDF
15	Stefano Minopoli, Goran Frehse	SL2SX Translator: From Simulink to SpaceEx Models.	HSCC	2016	DBLP DOI BibTeX RDF
15	Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	Localizing Multiple Faults in Simulink Models.	SANER	2016	DBLP DOI BibTeX RDF
15	Ulysses Bernardet, Maryam Saberi, Steve DiPaola	Simulink Toolbox for Real-Time Virtual Character Control.	IVA	2016	DBLP DOI BibTeX RDF
15	Zhijun Zhang 0003, Siyuan Chen 0006, Lunan Zheng, Jiayu Zhang	Matlab Simulink of Varying-Parameter Convergent-Differential Neural-Network for Solving Online Time-Varying Matrix Inverse.	ISCID (1)	2016	DBLP DOI BibTeX RDF
15	Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica	SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models.	ICST Workshops	2016	DBLP DOI BibTeX RDF
15	Sebastian Warsitz, Maher Fakih	Simulink-Modell-Übersetzung in synchrone Datenflussgraphen.	MBMV	2016	DBLP DOI BibTeX RDF
15	Thorsten Pawletta, Artur Schmidt, Bernard P. Zeigler, Umut Durak	Extended variability modeling using system entity structure ontology within MATLAB/Simulink.	SpringSim (ANSS)	2016	DBLP BibTeX RDF
15	Umut Durak, Anil Öztürk, Mehmet Katircioglu	Simulation deployment blockset for MATLAB/Simulink.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
15	Somnath Burman, Tanmoy Maity	A novel SIMULINK-based model for comprehensive analysis and comparison of different inverter PWM techniques.	RAIT	2016	DBLP DOI BibTeX RDF
15	Milton Rafael da Silva	Modeling of a fuel cell with PI controller in Simulink - Matlab.	ICSAI	2016	DBLP DOI BibTeX RDF
15	Mehmet Önder Efe	MATLAB/Simulink based restructuring of the first automatic control course in engineering curricula.	ITHET	2016	DBLP DOI BibTeX RDF
15	Ayse Kocalmis Bilhan, Abuzer Caliskan, Sencer Unal	Simulation of a photovoltaic panels by using Matlab/Simulink.	ECAI	2016	DBLP DOI BibTeX RDF
15	Andrey Morozov 0001, Klaus Janschek, Thomas Krüger, André Schiele	Stochastic Error Propagation Analysis of Model-driven Space Robotic Software Implemented in Simulink.	MORSE@RoboCup	2016	DBLP DOI BibTeX RDF
15	Dragan Mlakic, Srete Nikolovski	ANFIS as a method for determinating MPPT in the photovoltaic system simulated in MATLAB/Simulink.	MIPRO	2016	DBLP DOI BibTeX RDF
15	Franziska Wiebe, Susanne Rösch, Sebastian Rehberger, Birgit Vogel-Heuser	Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach.	CASE	2016	DBLP DOI BibTeX RDF
15	Yuta Kuroki, Myungryun Yoo, Takanori Yokoyama	A Simulink to UML model transformation tool for embedded control software development.	ICIT	2016	DBLP DOI BibTeX RDF
15	Oihane Cereceda Cantarelo, Luc Rolland, Siu O'Young	Validation discussion of an Unmanned Aerial Vehicle (UAV) using JSBSim Flight Dynamics Model compared to MATLAB/Simulink AeroSim Blockset.	SMC	2016	DBLP DOI BibTeX RDF
15	Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner	Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.	CyPhy	2016	DBLP DOI BibTeX RDF
15	Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze 0002, Michael von Wenckstern	Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.	Modellierung	2016	DBLP BibTeX RDF
15	Enagnon Cédric Klikpo, Jad Khatib, Alix Munier Kordon	Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs.	RTAS	2016	DBLP DOI BibTeX RDF
15	Wafa Gritli, Hajer Gharsallaoui, Mohamed Benrejeb	PID-type fuzzy scaling factors tuning using genetic algorithm and Simulink Design Optimization for Electronic Throttle Valve.	CoDIT	2016	DBLP DOI BibTeX RDF
15	Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand	Tailoring complexity metrics for simulink models.	ECSA Workshops	2016	DBLP BibTeX RDF
15	Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner	Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.	GI-Jahrestagung	2016	DBLP BibTeX RDF
15	Sugkil Seo, Yeong Sang Park, Young Sam Lee	Development of a Cost-effective Data Acquisition System using an Open-source Hardware and Matlab/Simulink.	ICINCO (1)	2016	DBLP DOI BibTeX RDF
15	Young Sam Lee, Jinsuk Choi, Sugkil Seo, Yeong Sang Park	Development of a Simulink Dynamic Matrix Control (DMC) Block for Use with an RCP System and Its Application to Motor Control.	ICINCO (1)	2016	DBLP DOI BibTeX RDF
15	Maxim Ryzhii, Elena Ryzhii	Simulink heart model for simulation of the effect of external signals.	CIBCB	2016	DBLP DOI BibTeX RDF
15	Jingjing Cui, Yi Ren 0003, Dezhen Yang, Shengkui Zeng	Reliability analysis of a novel design of pose deformation system for mobile robots through Bond Graph and Simulink.	IAS	2016	DBLP DOI BibTeX RDF
15	Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed	SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models.	FORTE	2016	DBLP DOI BibTeX RDF
15	Yixiao Yang, Yu Jiang 0001, Ming Gu 0001, Jia-Guang Sun 0001	Verifying simulink stateflow model: timed automata approach.	ASE	2016	DBLP DOI BibTeX RDF
15	Petr Chalupa, Martin Maly, Jakub Novák	Nonlinear Simulink Model Of Magnetic Levitation Laboratory Plant.	ECMS	2016	DBLP DOI BibTeX RDF
15	Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	Automated test suite generation for time-continuous simulink models.	ICSE	2016	DBLP DOI BibTeX RDF
15	Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	SimCoTest: a test suite generation tool for simulink/stateflow controllers.	ICSE (Companion Volume)	2016	DBLP DOI BibTeX RDF
15	Eric J. Rapos, James R. Cordy	Examining the co-evolution relationship between simulink models and their test cases.	MiSE@ICSE	2016	DBLP DOI BibTeX RDF
15	Padma Iyenghar, Stephan Wessels, Arne Noyer, Elke Pulvermüller, Clemens Westerkamp	A novel approach towards model-driven reliability analysis of Simulink models.	ETFA	2016	DBLP DOI BibTeX RDF
15	Padma Iyenghar, Arne Noyer, Joachim Engelhardt, Elke Pulvermüller	Translating timing requirements of Embedded Software systems modeled in Simulink to a timing analysis model.	ETFA	2016	DBLP DOI BibTeX RDF
15	Bassim Chabibi, Abdelilah Douche, Adil Anwar, Mahmoud Nassar	Integrating SysML with Simulation Environments (Simulink) by Model Transformation Approach.	WETICE	2016	DBLP DOI BibTeX RDF
15	Nattapong Mingpruk, Uthen Leeton, Thanatchai Kulworawanichpong	Modeling and simulation of voltage unbalance in AC electric railway systems using MATLAB/Simulink.	SII	2016	DBLP DOI BibTeX RDF
15	Jacek Nazdrowicz	Modelling Microbolometer using Matlab/SIMULINK package with thermal noise sources.	MIXDES	2016	DBLP DOI BibTeX RDF
15	Haitham Elfaham, Florian Palm, Sten Grüner, Ulrich Epple	Full integration of MATLAB/Simulink with control application development using OPC unified architecture.	INDIN	2016	DBLP DOI BibTeX RDF
15	Gargi Basu, Urmila Kar	Impact of instruction on binary multipliers using Simulink to improve cognitive ability.	EDUCON	2016	DBLP DOI BibTeX RDF
15	Gianni Pasolini, Flavio Zabini, Alessandro Bazzi, Stefano Olivieri	A software defined radio platform with Raspberry Pi and Simulink.	EUSIPCO	2016	DBLP DOI BibTeX RDF
15	Robert W. Stewart, Louise Crockett, Dale Atkinson, Kenneth Barlee, David H. Crawford, Iain Chalmers, Mike McLernon, Ethem Sozer	A low-cost desktop software defined radio design environment using MATLAB, simulink, and the RTL-SDR.	IEEE Commun. Mag.	2015	DBLP DOI BibTeX RDF
15	Georg Janisch, Miriam Leopoldseder, Andreas Körner	ARGESIM Benchmark C13 'Crane and Embedded Control': SIMULINK-modelled Dynamics and MATLAB-programmed Control.	Simul. Notes Eur.	2015	DBLP DOI BibTeX RDF
15	Dominik Brunmeir, Matthias Rößler 0001	A SimEvents/Simulink-based Solution to ARGESIM Benchmark C8 'Canal and Lock System'.	Simul. Notes Eur.	2015	DBLP DOI BibTeX RDF
15	Christina Deatcu, Birger Freymann, Artur Schmidt, Thorsten Pawletta	MATLAB/Simulink Based Rapid Control Prototyping for Multivendor Robot Applications.	Simul. Notes Eur.	2015	DBLP DOI BibTeX RDF
15	Kai Huang 0002, Min Yu 0006, Rongjie Yan, Xiaomeng Zhang, Xiaolang Yan, Lisane B. de Brisolara, Ahmed Amine Jerraya, Jiong Feng	Communication Optimizations for Multithreaded Code Generation from Simulink Models.	ACM Trans. Embed. Comput. Syst.	2015	DBLP DOI BibTeX RDF
15	B. Siva Kumar Reddy, Boppana Lakshmi	Improvement in the Performance of WiMAX with Channel Equalizers and Space Time Block Coding Techniques Using Simulink.	Wirel. Pers. Commun.	2015	DBLP DOI BibTeX RDF
15	Michele Basso, Giacomo Innocenti	Lego-bike: A challenging robotic lab project to illustrate rapid prototyping in the mindstorms/simulink integrated platform.	Comput. Appl. Eng. Educ.	2015	DBLP DOI BibTeX RDF
15	Dejanira Araiza-Illan, Kerstin Eder	Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink.	CoRR	2015	DBLP BibTeX RDF
15	Carsten Kolassa, Holger Rendel, Bernhard Rumpe	Evaluation of Variability Concepts for Simulink in the Automotive Domain.	CoRR	2015	DBLP BibTeX RDF
15	Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards	Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study.	CoRR	2015	DBLP BibTeX RDF
15	Alexey Shapin, Denis Kleyko, Nikita Lyamin, Evgeny Osipov, Oleg Melentyev	Performance Peculiarities of Viterbi Decoder in Mathworks Simulink, GNU Radio and Other Systems with Likewise Implementation.	CoRR	2015	DBLP 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.	CoRR	2015	DBLP BibTeX RDF
15	Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven M. Postma	Signature required: Making Simulink data flow and interfaces explicit.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
15	Amedeo Buonanno, Francesco A. N. Palmieri	Simulink Implementation of Belief Propagation in Normal Factor Graphs.	Advances in Neural Networks	2015	DBLP DOI BibTeX RDF
15	Yuan Pin Cheng, Don Brutzman	Matlab and simulink creation and animation of X3D in web-based simulation.	Web3D	2015	DBLP DOI BibTeX RDF
15	Kavya Gorantla, V. V. Mani	Synchronization in IEEE 802.15.4 Zigbee transceiver using Matlab Simulink.	ICACCI	2015	DBLP DOI BibTeX RDF
15	Zach Thornton, Thomas H. Morris	Enhancing a Virtual SCADA Laboratory Using Simulink.	Critical Infrastructure Protection	2015	DBLP DOI BibTeX RDF
15	Sergey Ostroumov, Pontus Boström, Marina Waldén	Derivation of Parallel and Resilient Programs from Simulink Models.	PDP	2015	DBLP DOI BibTeX RDF
15	Samir Ben Abid, Nejib Mediouni, Oussama Kallel, Salem Hasnaoui	NRTBox: A Matlab Simulink toolbox for NoC switch performance evaluation and early architectural exploration using discrete event simulation.	IDT	2015	DBLP DOI BibTeX RDF
15	Jose Luis Diaz-Bernabe, Arturo Morales-Acevedo	Photovoltaic module simulator implemented in SPICE and Simulink.	CCE	2015	DBLP DOI BibTeX RDF
15	Matteo Morelli	Automated generation of robotics applications from simulink and SysML models.	SAC	2015	DBLP DOI BibTeX RDF
15	Fabio Cremona, Matteo Morelli, Marco Di Natale	TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink.	SAC	2015	DBLP DOI BibTeX RDF
15	Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro 0001	From UML diagrams to simulink models: a precise and verified translation.	SAC	2015	DBLP DOI BibTeX RDF
15	Chikatoshi Yamada, D. Michael Miller	Using SPIN to check Simulink Stateflow models.	ICIS	2015	DBLP DOI BibTeX RDF
15	Ahmet Albayrak, Muammer Albayrak, Raif Bayir	Design of Matlab/Simulink based development board for fuzzy logic education.	FUZZ-IEEE	2015	DBLP DOI BibTeX RDF
15	Jargalbaatar Yura, Mandakh Oyun-Erdene, Bat-Erdene Byambasuren, Dong Han Kim 0001	Modeling of Violin Playing Robot Arm with MATLAB/SIMULINK.	RiTA	2015	DBLP DOI BibTeX RDF
15	Axel Legay, Louis-Marie Traonouez	Statistical Model Checking of Simulink Models with Plasma Lab.	FTSCS	2015	DBLP DOI BibTeX RDF
15	Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander	An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models.	Software Engineering (Workshops)	2015	DBLP BibTeX RDF
15	Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed	Aspect-Oriented Test Case Generation from Matlab/Simulink Models.	DepCoS-RELCOMEX	2015	DBLP DOI BibTeX RDF
15	Esam A. AlQaralleh, Osama M. F. Abu-Sharkh, Bassam A. Y. Alqaralleh	MATLAB/Simulink-based verification environment for motion estimation in H.264/AVC.	DICTAP	2015	DBLP DOI BibTeX RDF
15	Bruno Miranda, Henrique Masini, Rodrigo Reis	Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests.	FM	2015	DBLP DOI BibTeX RDF
15	Yunwei Dong, Zhe Li, Dave Towey	On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink.	QRS	2015	DBLP DOI BibTeX RDF
15	Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee	Automatic Parallelization of Simulink Models for Multi-core Architectures.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
15	Reza Pourreza-Shahri, Shane Parris, Fatemeh Saki, Issa M. S. Panahi, Nasser Kehtarnavaz	From Simulink to smartphone: Signal processing application examples.	ICASSP	2015	DBLP DOI BibTeX RDF
15	Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards	Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study.	ECC	2015	DBLP DOI BibTeX RDF
15	Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle	Formal Verification of Simulink/Stateflow Diagrams.	ATVA	2015	DBLP DOI BibTeX RDF
15	Liying Cao, Ying Meng, Jian Lu, Guifen Chen	Research on Video Image Recognition Technology of Maize Disease Based on the Fusion of Genetic Algorithm and Simulink Platform.	CCTA (2)	2015	DBLP DOI BibTeX RDF
15	Alexander Nitsch, Benjamin Beichler, Frank Golatowski, Christian Haubelt	Model-based Systems Engineering with Matlab/Simulink in the Railway Sector.	MBMV	2015	DBLP BibTeX RDF
15	Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fischmeister	Instrumentation and preservation of extra-functional properties of simulink models.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
15	Artur Schmidt, Umut Durak, Christoph Rasch, Thorsten Pawletta	Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
15	Meng Li 0001, Ratnesh Kumar 0001	Robustness of Simulink/Stateflow Model Against Implementation Imperfections.	ADHS	2015	DBLP DOI BibTeX RDF
15	Ashlie B. Hocking, M. Anthony Aiello, John C. Knight	Static analysis of physical properties in Simulink models.	ISSRE Workshops	2015	DBLP DOI BibTeX RDF
15	H. Cherragui, Mickaël Hilairet, S. Giurgea	Hardware-in-the-loop simulation of a boost converter with the Xilinx System Generator from Matlab/Simulink.	IECON	2015	DBLP DOI BibTeX RDF