Search results for "Simulink"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Menwer Attarakih, Mazen Abu-Khader, Hans-Jörg Bart	Dynamic analysis and control of sieve tray gas absorption column using MATALB and SIMULINK.	Appl. Soft Comput.	2013	DBLP DOI BibTeX RDF
15	Shawn B. McCamish, Marco Ciarcià, Marcello Romano	Simulations of Multiple Spacecraft Maneuvering with MATLAB/Simulink and Satellite Tool Kit.	J. Aerosp. Inf. Syst.	2013	DBLP DOI BibTeX RDF
15	Md. Atikur Rahman Sarker, Yuki Ueno, Chi-Hung Kelvin Chu, Ken Nagasaka	Incorporating Renewable Energy Resources in a Smart Grid with Power Line Communication Using Matlab/Simulink.	J. Adv. Comput. Intell. Intell. Informatics	2013	DBLP DOI BibTeX RDF
15	Gang Han, Marco Di Natale, Haibo Zeng 0001, Xue Liu, Wenhua Dou	Optimizing the implementation of real-time Simulink models onto distributed automotive architectures.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
15	Péter Fehér, Tamás Mészáros, László Lengyel, Pieter J. Mosterman	Data Type Propagation in Simulink Models with Graph Transformation.	ECBS-EERC	2013	DBLP DOI BibTeX RDF
15	Mohd Azizi Abdul Rahman, Makoto Mizukawa	Modeling and design of mechatronics system with SysML, Simscape and Simulink.	AIM	2013	DBLP DOI BibTeX RDF
15	Zhi Han, Pieter J. Mosterman, Fu Zhang	A graph algorithm for linearizing simulink models.	SummerSim	2013	DBLP BibTeX RDF
15	Shahzad Ahmad Butt, Luciano Lavagno	Design space exploration and synthesis for digital signal processing algorithms from Simulink models.	IDT	2013	DBLP DOI BibTeX RDF
15	Tino Brade, Sebastian Zug, Jörg Kaiser	Model-driven development of critical perception components using Simulink.	ASCoMS@SAFECOMP	2013	DBLP BibTeX RDF
15	Adepu Sridhar, D. Srinivasulu	Slicing MATLAB Simulink/Stateflow Models.	ICACNI	2013	DBLP DOI BibTeX RDF
15	Ricardo G. Sanfelice, David A. Copp, Pablo Nanez	A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox.	HSCC	2013	DBLP DOI BibTeX RDF
15	Zhi Han, Pieter J. Mosterman	Towards sensitivity analysis of hybrid systems using simulink.	HSCC	2013	DBLP DOI BibTeX RDF
15	Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre	A simulink hybrid heart model for quantitative verification of cardiac pacemakers.	HSCC	2013	DBLP DOI BibTeX RDF
15	Ana Cavalcanti 0001, Alexandre Mota 0001, Jim Woodcock 0001	Simulink Timed Models for Program Verification.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
15	Yanja Dajsuren, Mark G. J. van den Brand, Alexander Serebrenik, Serguei A. Roubtsov	Simulink models are also software: modularity assessment.	QoSA	2013	DBLP DOI BibTeX RDF
15	Brajesh Pandey	Modeling, Simulation of Multi Standard Wireless Receivers in MATLAB/SIMULINK.	Asia International Conference on Modelling and Simulation	2013	DBLP DOI BibTeX RDF
15	Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue	Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.	MBEES	2013	DBLP BibTeX RDF
15	Quang Minh Tran, Christian Dziobek	Ansatz zur Erstellung und Wartung von Simulink-Modellen durch den Einsatz von Transformationen/Refactorings und Generierungsoperationen.	MBEES	2013	DBLP BibTeX RDF
15	Michele Basso, Giacomo Innocenti, Alberto Rosa	Simulink meets Lego: Rapid controller prototyping of a stabilized bicycle model.	CDC	2013	DBLP DOI BibTeX RDF
15	Zhi Han, Pieter J. Mosterman, Justyna Zander, Fu Zhang	Systematic management of simulation state for multi-branch simulations in simulink.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
15	Rosane Fátima Passarini, Leandro Buss Becker, Jean-Marie Farines	The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models.	SBESC	2013	DBLP DOI BibTeX RDF
15	Paulo César Comassetto de Aguirre, Vinicius Camargo, Hamilton Klimach, Altamiro Amadeu Susin, Cesar Prior	Behavioral modeling of continuous-time ΣΔ modulators in matlab/simulink.	LASCAS	2013	DBLP DOI BibTeX RDF
15	Archana Ogale, Shubhangi Chaoudhary, A. J. Patil	Performance evaluation of MIMO-OFDM system using Matlab® Simulink with real time image input.	WOCN	2013	DBLP DOI BibTeX RDF
15	Ranjit Kumar Barai, Pankaj Saha, Anirban Mandal	SMART-HexBot: a Simulation, Modeling, Analysis and Research Tool for Hexapod Robot in Virtual Reality and Simulink.	AIR	2013	DBLP DOI BibTeX RDF
15	Meng Li 0001, Ratnesh Kumar 0001	Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.	CASE	2013	DBLP DOI BibTeX RDF
15	Bruno dos Santos, Rui Esteves Araujo, Diogo Varajao, Claudio Pinto	Rapid Prototyping Framework for real-time control of power electronic converters using simulink.	IECON	2013	DBLP DOI BibTeX RDF
15	Pavels Suskis, Ilya Galkin	Enhanced photovoltaic panel model for MATLAB-simulink environment considering solar cell junction capacitance.	IECON	2013	DBLP DOI BibTeX RDF
15	Low Wen Yao, Junaidi Abdul Aziz, Pui Yee Kong, Nik Rumzi Nik Idris	Modeling of lithium-ion battery using MATLAB/simulink.	IECON	2013	DBLP DOI BibTeX RDF
15	Paula Herber, Robert Reicherdt, Patrick Bittner	Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving.	EMSOFT	2013	DBLP DOI BibTeX RDF
15	Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin	Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.	EMSOFT	2013	DBLP DOI BibTeX RDF
15	Minghe Jin, Haitao Yang 0003, Zongwu Xie, Kui Sun, Hong Liu 0002	Ground simulation experiment verification of space robot with ADAMS and Simulink co-simulation.	ROBIO	2013	DBLP DOI BibTeX RDF
15	Xiaokai Xia, Kaipeng Zhao, Luo Xu, Chao Liu 0002	To Execute the C4ISR Architecture Based on DoDAF and Simulink.	AsiaSim	2013	DBLP DOI BibTeX RDF
15	Paulo Augusto Nardi, Márcio Eduardo Delamaro, Luciano Baresi	Specifying automated oracles for Simulink models.	RTCSA	2013	DBLP DOI BibTeX RDF
15	Yiqiong Shi, Bah-Hwee Gwee	Designing globally-asynchronous-locally-system from multi-rate Simulink model.	NEWCAS	2013	DBLP DOI BibTeX RDF
15	Liyuan Zhang 0001, Michael Glaß, Nils Ballmann, Jürgen Teich	Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation.	FDL	2013	DBLP BibTeX RDF
15	Andrea Leitner, Wolfgang Ebner, Christian Kreiner	Mechanisms to Handle Structural Variability in MATLAB/Simulink Models.	ICSR	2013	DBLP DOI BibTeX RDF
15	Frank Elberzhager, Alla Rosbach, Thomas Bauer 0002	Analysis and testing of matlab simulink models: a systematic mapping study.	JAMAICA@ISSTA	2013	DBLP DOI BibTeX RDF
15	Øyvind Netland, Amund Skavhaug	Software Module Real-Time Target: Improving Development of Embedded Control System by Including Simulink Generated Code Into Existing Code.	EUROMICRO-SEAA	2013	DBLP DOI BibTeX RDF
15	Rongjie Yan, Kai Huang 0002, Min Yu 0006, Xiaomeng Zhang	Communication Pipelining for Code Generation from Simulink Models.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
15	Matthew Stephan, Manar H. Alalfi, James R. Cordy, Andrew Stevenson	Evolution of Model Clones in Simulink.	ME@MoDELS	2013	DBLP BibTeX RDF
15	Christian Heinzemann, Jan Rieke, Wilhelm Schäfer	Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink.	SASO	2013	DBLP DOI BibTeX RDF
15	José Luiz Macedo, Zafeiris Kokkinogenis, Guilherme Soares, Deborah Perrotta, Rosaldo J. F. Rossetti	A HLA-based multi-resolution approach to simulating electric vehicles in simulink and SUMO.	ITSC	2013	DBLP DOI BibTeX RDF
15	Eniko Kosane Kalave, Istvan Bezi, Ruth Bars	Experiences with Basic Control Course Supported by MATLAB/SIMULINK Exercises.	ACE	2013	DBLP DOI BibTeX RDF
15	Ramón Barber, Mario De La Horra Köllmer, Jonathan Crespo	Control Practices Using Simulink with Arduino As Low Cost Hardware.	ACE	2013	DBLP DOI BibTeX RDF
15	Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer	First-class variability modeling in Matlab/Simulink.	VaMoS	2013	DBLP DOI BibTeX RDF
15	Tao Hong, Dan Song	The Design and Simulation of Hardware Architecture of the Fast and On-Site Assessing System of Scattering Characteristics of Stealth Aircraft Based on Simulink.	GreenCom/iThings/CPScom	2013	DBLP DOI BibTeX RDF
15	Dejan Jokic, Slobodan Lubura, Dusko Lukac	Development of Integral Environment in Matlab/Simulink for FPGA.	PDeS	2013	DBLP DOI BibTeX RDF
15	James R. Cordy	Submodel pattern extraction for simulink models.	SPLC	2013	DBLP DOI BibTeX RDF
15	Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner	Automatic Translation from UML to Simulink CAAM Using Graph Grammars.	WEIT	2013	DBLP DOI BibTeX RDF
15	Umut Karapinar, Zafer Esen, Murat Sahin, Furkan Kanburoglu	Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation.	SIU	2013	DBLP DOI BibTeX RDF
15	Vanderson H. Fragal, Rogério F. da Silva, Itana Maria de Souza Gimenes, Edson A. Oliveira Junior	Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
15	Paulo Augusto Nardi	Oráculos de teste para modelos Simulink-like.		2013	RDF
15	Gabriele Manno, Ferdinando Chiacchio, Lucio Compagno, Diego D'Urso, Natalia Trapani	MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
15	Changyan Zhou, Ratnesh Kumar 0001	Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata.	Discret. Event Dyn. Syst.	2012	DBLP DOI BibTeX RDF
15	Craig Schlottmann, Csaba Petre, Paul E. Hasler	A High-Level Simulink-Based Tool for FPAA Configuration.	IEEE Trans. Very Large Scale Integr. Syst.	2012	DBLP DOI BibTeX RDF
15	Olaf Hagendorf, Thorsten Pawletta, Roland Larek	Meta-Model-based Estimation of Optimal System Variants with MATLAB/Simulink.	Simul. Notes Eur.	2012	DBLP DOI BibTeX RDF
15	Bogdan Alecsa, Marcian N. Cirstea, Alexandru Onea	Simulink Modeling and Design of an Efficient Hardware-Constrained FPGA-Based PMSM Speed Controller.	IEEE Trans. Ind. Informatics	2012	DBLP DOI BibTeX RDF
15	Chenxi Lei, Emiel Martijn van Eenennaam, Wouter Klein Wolterink, Jeroen Ploeg, Georgios Karagiannis, Geert J. Heijenk	Evaluation of CACC string stability using SUMO, Simulink, and OMNeT++.	EURASIP J. Wirel. Commun. Netw.	2012	DBLP DOI BibTeX RDF
15	Mahmoud Abdulwahed	Open Educational Resources (OER) for Control Systems Engineering: Development Case with LabVIEW, Simulink, and Camtasia.	Int. J. Eng. Pedagog.	2012	DBLP DOI BibTeX RDF
15	Behrooz Vahidi, Smieee A. Agheli, Saeed Jazebi	Teaching short-circuit withstand test on power transformers to M.Sc. students and junior engineers using MATLAB-SIMULINK.	Comput. Appl. Eng. Educ.	2012	DBLP DOI BibTeX RDF
15	Behrooz Vahidi, Seyedeh Mahboubeh Molavi-Arabshahi	Teaching current tests on surge arresters to undergraduate students using MATLAB-SIMULINK.	Comput. Appl. Eng. Educ.	2012	DBLP DOI BibTeX RDF
15	Mohamed El Hachemi Benbouzid, Demba Diallo	Development of a Matlab/Simulink®-based wind turbine prototyping software through undergraduate student projects.	Comput. Appl. Eng. Educ.	2012	DBLP DOI BibTeX RDF
15	Behrooz Vahidi, A. Khorsandi	Simulation of effect of voltage sag on inrush current using MATLAB-SIMULINK for educational purpose.	Comput. Appl. Eng. Educ.	2012	DBLP DOI BibTeX RDF
15	Youssef Atat, Mostafa Rizk	Top Down Approach: SIMULINK Mixed Hardware / Software Design	CoRR	2012	DBLP BibTeX RDF
15	Wei-Hsin Liao, Shun-Chung Wang, Yi-Hua Liu	Generalized Simulation Model for a Switched-Mode Power Supply Design Course Using MATLAB/SIMULINK.	IEEE Trans. Educ.	2012	DBLP DOI BibTeX RDF
15	Eniko T. Enikov, Giampiero Campa	Mechatronic Aeropendulum: Demonstration of Linear and Nonlinear Feedback Control Principles With MATLAB/Simulink Real-Time Windows Target.	IEEE Trans. Educ.	2012	DBLP DOI BibTeX RDF
15	Mahdi Salman Alshamasin, Florin Ionescu, Riad Taha Al-Kasasbeh	Modelling and simulation of a SCARA robot using solid dynamics and verification by MATLAB/Simulink.	Int. J. Model. Identif. Control.	2012	DBLP DOI BibTeX RDF
15	Andreas Mauderer, Marvin Freier, Jan-Hendrik Oetjens, Wolfgang Rosenstiel	Efficient digital design for automotive mixed-signal ASICs using simulink.	DDECS	2012	DBLP DOI BibTeX RDF
15	Olivier Bouissou, Alexandre Chapoutot	An operational semantics for Simulink's simulation engine.	LCTES	2012	DBLP DOI BibTeX RDF
15	Eduardo Steiner, Paulo César Masiero, Rodrigo Bonifácio	Gerenciando Variabilidades no Modelo Simulink de um VANT com as Ferramentas Pure: : variants e Hephaestus.	CIbSE	2012	DBLP BibTeX RDF
15	Indranil Saha, Natarajan Shankar	ModelRob: A Simulink Library for Model-Based Development of robot manipulators.	ICRA	2012	DBLP DOI BibTeX RDF
15	Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh 0002	An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.	DATE	2012	DBLP DOI BibTeX RDF
15	Mohsen Shokouhian, Richard C. S. Morling, Izzet Kale	Simulink based behavioural modelling of a pulse oximeter for deployment in rapid development, prototyping and verification.	EMBC	2012	DBLP DOI BibTeX RDF
15	Mirko Conrad, Tom Erkkinen, Matt Englehart, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan	Automating Code Reviews with Simulink Code Inspector.	MBEES	2012	DBLP BibTeX RDF
15	Chethan Kotekar	An approach to translate legacy 'C' code to Simulink® model using XML.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
15	Rosane Fátima Passarini, Jean-Marie Farines, Leandro Buss Becker	Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink.	SBES	2012	DBLP DOI BibTeX RDF
15	Meng Li 0001, Ratnesh Kumar 0001	Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.	CASE	2012	DBLP DOI BibTeX RDF
15	Adriano S. Carvalho, Maria Teresa Outeiro	Accurate Matlab/Simulink model of a power generation system based on fuel cells.	IECON	2012	DBLP DOI BibTeX RDF
15	Teodor Lucian Grigorie, Radu Obreja, J. Corcau, L. Dinca	Matlab/Simulink software implementation and interfacing of a strap-down inertial attitude method.	IECON	2012	DBLP DOI BibTeX RDF
15	Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai	Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.	FMICS	2012	DBLP DOI BibTeX RDF
15	Chris Marriott, Frank Zeyda, Ana Cavalcanti 0001	A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.	ABZ	2012	DBLP DOI BibTeX RDF
15	Ying-Shieh Kung, Nguyen Trung Hieu	Simulink/ModelSim co-simulation of sensorless PMSM speed controller using reduced-order Extended Kalman Filter.	ISIE	2012	DBLP DOI BibTeX RDF
15	Biao Wu, Kaining Xiao, Guoqin Shen, Ning Zhou, Zhaohui Han	Modeling and Simulation on Pulse Compression of Hybrid-Modulation Signal Based on Simulink.	AsiaSim (2)	2012	DBLP DOI BibTeX RDF
15	Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski	Analysis of Simulink Models Using Databases and Model Transformations.	MOMPES	2012	DBLP DOI BibTeX RDF
15	Shin Nakajima 0001, Satoru Furukawa, Yoshikazu Ueda	Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design.	RTCSA	2012	DBLP DOI BibTeX RDF
15	Hassan Harnani, Cik Ku Haroswati, Che Ku Yahaya, Nurhayati Ahmad, Nor Irza Shakhira Bakhtir	Low complexity SDR transceiver design using Simulink, Matlab and Xilinx.	ICTC	2012	DBLP DOI BibTeX RDF
15	Jiss Mohan K., Naveena Johnson	Devising Simulink Optical Encoder Pulse Manipulation and its Evaluation.	ISDA	2012	DBLP DOI BibTeX RDF
15	Hassan Soubra, Alain Abran, Amar Ramdane-Cherif	A Refined Functional Size Measurement Procedure for Real-Time Embedded Software Requirements Expressed Using the Simulink Model.	IWSM/Mensura	2012	DBLP DOI BibTeX RDF
15	Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers	Range estimation of floating-point variables in Simulink models.	DASIP	2012	DBLP BibTeX RDF
15	Rainer Dittmar	Use of an Industrial Distributed Control System in Conjunction with Matlab/Simulink for Process Control Education.	ACE	2012	DBLP DOI BibTeX RDF
15	Lukas Palkovic, Lubos Chovanec, Jozef Rodina, Peter Hubinský	Integration of Inertial Measuring Unit Platform into MATLAB Simulink.	ACE	2012	DBLP DOI BibTeX RDF
15	Hyun Seung Son, Woo Yeol Kim, Robert Young Chul Kim, Hang-Gi Min	Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems.	FGIT-GDC/IESH/CGAG	2012	DBLP DOI BibTeX RDF
15	Le Thi My Hanh, Nguyen Thanh Binh 0002	Mutation Operators for Simulink Models.	KSE	2012	DBLP DOI BibTeX RDF
15	Robert Reicherdt, Sabine Glesner	Slicing MATLAB Simulink models.	ICSE	2012	DBLP DOI BibTeX RDF
15	Gülden Bayrak, Patrik J. Murr, Sebastian Ulewicz, Birgit Vogel-Heuser	Comparison of a transformed Matlab/Simulink model into the programming language CFC on different IEC 61131-3 PLC environments.	ETFA	2012	DBLP DOI BibTeX RDF
15	Stepán Ozana, Petr Wágner, Martin Pies	Dynamic optimization case studies in Matlab&Simulink and Dynopt.	PDeS	2012	DBLP DOI BibTeX RDF
15	Peter Tapák, Mikulás Huba	Experimenting with modified smith predictors using B&R automation studio target for simulink.	PDeS	2012	DBLP DOI BibTeX RDF
15	Ivo Veselý, Michal Sír, Dusan Zámecník	Problems of SITL: Testing the simulink model by CompactRIO.	PDeS	2012	DBLP DOI BibTeX RDF
15	Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson	Models are code too: Near-miss clone detection for Simulink models.	ICSM	2012	DBLP DOI BibTeX RDF
15	David Cousins, Kurt Rohloff, Chris Peikert, Richard E. Schantz	An update on SIPHER (Scalable Implementation of Primitives for Homomorphic EncRyption) - FPGA implementation using Simulink.	HPEC	2012	DBLP DOI BibTeX RDF