Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto |
Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ganesha |
Simulink to NuSMV Model Translation Challenges. |
ISEC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
SMT-Based Model Checking of Industrial Simulink Models. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Chao-Chung Peng, Yi-Ho Cheng |
Data Driven based Modeling and Fault Detection for the MATLAB/Simulink Turbofan Engine: An ARX Model Approach. |
CCTA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Eduardo Cibrián, Roy Mendieta, José María Álvarez Rodríguez, Juan Lloréns |
Towards the reuse of physical models within the development life-cycle: a case study of Simulink models. |
NOMS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. |
QRS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
FIM: fault injection and mutation for Simulink. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shikai Guo, He Jiang 0001, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, Rong Chen 0003 |
Detecting Simulink compiler bugs via controllable zombie blocks mutation. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Julen Paniagua, Haitz Gezala, Eneko Unamuno, Markel Zubiaga, Jon Andoni Barrena |
A Dynamic Frequency-and-Voltage Power Flow Simulation Tool for Hybrid AC/DC Power Systems based on Simulink. |
IECON |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lewis D. McLaughlin, Louise H. Crockett, Robert W. Stewart |
A New Design Workflow for PYNQ Enabled Xilinx Platforms Utilising the Simulink Environment for Vivado IPI Abstraction. |
FCCM |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yuxin Liang, Xue-Dong Liu, Caisheng Fan, Feiyu Li |
Modeling and Simulation of The Source Measure Unit Based on Simulink. |
ICITEE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Shuang Huang, Runzhe Lian, Haiqi Zhao |
A Simulink-Based Control Method for Energy Storage Assisted Black-Start. |
AsiaSim (2) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Filipa Esgalhado, Arnaldo Batista, Valentina Vassilenko, Manuel Duarte Ortigueira |
Real-Time PPG-Based HRV Implementation Using Deep Learning and Simulink. |
DoCEIS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sheng Ding, Skander Ayoub, Andrey Morozov 0001 |
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink. |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Anas Al Tarabsheh, Huda Alheeh |
Design and Simulation of a 3-Transistor Active Pixel Sensor Using MATLAB Simulink. |
ACIT |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Joabe Jesus, Augusto Sampaio |
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Resmerita |
Fine-grained timed software in Simulink models. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tien N. Nguyen |
SimuV: model-based configuration management for Simulink models. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu 0001 |
A Contract-Based Semantics and Refinement for Simulink. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dmytro Humennyi, Valerii Kozlovskyi, Tatyana Nimchenko, Yanina Shestak |
Cumulative Coverage of the Simulink-based MIL Unit Testing for Application Layer of Automotive (short paper). |
TTSIIT |
2022 |
DBLP BibTeX RDF |
|
15 | Amar B. Shinde, Amruta S. Deshpande, Snehal Unde |
Design and Simulation of Self-tuning PID controller with MPPT for Solar Array using MATLAB/Simulink. |
ICCCNT |
2022 |
DBLP DOI BibTeX RDF |
|
15 | José Baptista, Nuno Pimenta, Raul Morais, Tiago Pinto |
Modeling Stand-Alone Photovoltaic Systems with Matlab/Simulink. |
EPIA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ramon Benedict L. Lapiña, Ramon G. Garcia, Ericson D. Dimaunahan |
Real-Time ECG Feature Detection Algorithm using Moving Statistic Adaptive Thresholding Method for Signal Extremum Sampling in Microcontroller Systems: A Simulink Approach. |
ICBET |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hemza Abdelfettah Berkani, Abdelbaki Djouambi, Mohamed Lasheb, Bouziane Keziz |
Simulink Blocks Implementation for Fractional Order Models Simulation based On DAFI Filter. |
SSD |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner |
SLNET: A Redistributable Corpus of 3rd-party Simulink Models. |
MSR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nuno Guedelha, Venus Pasandi, Giuseppe L'Erario, Silvio Traversaro, Daniele Pucci |
A Flexible MATLAB/Simulink Simulator for Robotic Floating-base Systems in Contact with the Ground. |
IRC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yuting Yang, Rui Wang, Youchen Wang, Xu Miao, Bing Liu, Shan Jiang |
Simulink Model Static Analysis Results based on Abstract Interpretation. |
DSA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zhuo Su 0005, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang 0001, Rui Wang 0024, Wanli Chang 0001, Jia-Guang Sun 0001 |
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. |
DAC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Noorulden Basil |
Design and control of parallel robot using MATLAB simulink with fopid in use SSO algorithm. |
|
2022 |
RDF |
|
15 | Keita Miura, Shota Tokunaga, Yuki Horita, Yasuhiro Oda, Takuya Azumi |
CoSAM: Co-Simulation Framework for ROS-based Self-driving Systems and MATLAB/Simulink. |
J. Inf. Process. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Boll, Florian Brokhausen, Tiago Amorim 0001, Timo Kehrer, Andreas Vogelsang |
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson |
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth W. Barlee, Robert W. Stewart, Louise H. Crockett, Neil C. MacEwen |
Rapid Prototyping and Validation of FS-FBMC Dynamic Spectrum Radio With Simulink and ZynqSDR. |
IEEE Open J. Commun. Soc. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Leindecker, Maximilian Zechmeister-Machhart, Felix Gauss, Philipp Wiegard |
A Tutorial-oriented Approach to ARGESIM Benchmark C11 'SCARA Robot' in MATLAB, Simulink and Stateflow. |
Simul. Notes Eur. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rebecca Heitmann, Peter Junglas, Lisa-Kristin Petrucha |
Solving ARGESIM Benchmark C21 'State Events and Structural-dynamic Systems' with Simulink. |
Simul. Notes Eur. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev |
A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation. |
Appl. Math. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ghoshal Snehashis, Sumit Banerjee, Chandan Kumar Chanda |
Modelling and Performance Evaluation of MPPT-based Solar PV System with Different Interfaces in MATLAB/Simulink Environment. |
Int. J. Perform. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Sandeep Sarowa, Surender Kumar, Davinder S. Rathee, Naresh Kumar 0002 |
Performance Analysis of Improved Self Cancellation Technique for Wavelet Based OFDM Through Simulink Model. |
Wirel. Pers. Commun. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Wojciech Giernacki, Krzysztof Lakomy, Jacek Michalski, Rafal Madonski |
Active Disturbance Rejection Control (ADRC) Toolbox for MATLAB/Simulink. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Nikolaos Kekatos |
Verifying a Cruise Control System using Simulink and SpaceEx. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux |
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. |
ACM Trans. Cyber Phys. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mourad Talbi, Nawel Mensia, Hatem Ezzaouia |
Modeling of a PV panel employing matlab/simulink and application of maximum power point tracking technique based on ANN. |
Int. Arab J. Inf. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | En Fang, Lulu Bei, Jiu-yang Mu, Guan-bao Zhang, Song-hai Zhou |
Power electronic transformer design with dual-PWM based on MATLAB/Simulink. |
Wirel. Networks |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nicolás Montés, Nuria Rosillo, Marta C. Mora, Lucia Hilario |
A Novel Real-Time MATLAB/Simulink/LEGO EV3 Platform for Academic Use in Robotics and Computer Science. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Obal, Piotr Gierlak |
EGM Toolbox - Interface for Controlling ABB Robots in Simulink. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Song Wang, Xudong Yang, J. van der Geer |
Development of EtherCAT real-time control system for robot based on Simulink Real-Time. |
J. Comput. Methods Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Manel Takrouni, Rim Bouhouch, Salem Hasnaoui |
Simulink Implementation of the Data Distribution Service for Vehicular Controllers on Top of GBE and AFDX. |
Comput. J. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Farzin Asadi, Sawai Pongswatd |
Programming the ARM® Cortex®-M4-based STM32F4 Microcontrollers with Simulink® |
|
2021 |
DOI RDF |
|
15 | Arafet Bouaicha, Hatem Allagui, Abdelkader Mami, El-Hassane Aglzim |
Modeling in Matlab / Simulink of Clean Hydrogen Production using PV Panel for sustainable use. |
ICCAD |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Anyanime Tim Umoette, Ogbonnaya I. Okoro, Innocent E. Davidson |
Implementation of Indirect Field Oriented Control of a 2.2kW Three-Phase Induction Motor Using MATLAB Simulink. |
AFRICON |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Joanna Kisaakye, Onur Kilinççeker, Serge Demeyer |
Towards Mutation Testing of Simulink Models. |
BENEVOL |
2021 |
DBLP BibTeX RDF |
|
15 | Kinana Rashwani, Hassan Wehbi, Abdallah Kassem, Mouhammed Houssein Kbar, Mohamad Abou Ali, Saeed H. Bamashmos, Marcello Jack Saadeh, Mohamad Hajj-Hassan, Ali Ali |
MATLAB/SIMULINK High Flow Medical CO2 Insufflator Model with PID-PQT & MPC-PQT Controllers. |
ICM |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Shuaibu Musa Adam, Vladimir Hahanov, Svetlana Chumachenko, Eugenia Litvinova, Ka Lok Man |
Novel Design and Simulation of HERIC Transformerless PV Inverter in MATLAB/Simulink. |
EWDTS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Joshua Slough, Morgan Belcher, Tony Tsui, Sylvia Bhattacharya |
Modeling and Simulation of Electric Vehicles Using Simulink and Simscape. |
VTC Fall |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gentjan Qama, Josef Janisch, Jürgen Kernhof, Angel Karachomakov |
Simulink Model for an External Safety Mechanism in Inductive Position Sensors. |
IEEE SENSORS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yun Niu, Hafeezullah Qazi, Yalin Liang |
Building a Flexible Mobile Robotics Teaching Toolkit by Extending MATLAB/Simulink with ROS and Gazebo. |
ICMRE |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Julius Adelt, Timm Liebrenz, Paula Herber |
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Qianqian Chen, Yong Wang, Zhao Xu, Xiaojina Chen, Tingting Zhang, Yun Zhang |
Modeling, Simulation and Decoupling Control of Resistance Furnace Using MATLAB and Simulink. |
CACRE |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Çagdas Hîsar, Ibrahim Sefa, Necmi Altin |
Processor-in-the-Loop Simulation of an Interleaved Buck Converter With MATLAB/Simulink. |
ECAI |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti |
Specification and Runtime Verification of Temporal Assessments in Simulink. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Malvika Dave, Narottam Das, Syed Mofizul Islam |
MATLAB/Simulink Modelling of Multi-junction PV Cell for Conversion Efficiency Improvement using Maximum Power Point Tracking Method. |
ISGT Asia |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Young-Hoon Kim, Hyungsik Ju, Ik-Jae Chun, Chan-Bok Jeong, Moon-Sik Lee |
Design of Low-latency Synthesizable PUCCH Demodulation Unit Using Simulink HDL Coder. |
ICTC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige |
Repository Mining for Changes in Simulink Models. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Bhisma Adhikari, Eric J. Rapos, Matthew Stephan |
Simulink Model Transformation for Backwards Version Compatibility. |
MoDELS (Companion) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Saheed Popoola, Jeff Gray 0001 |
Artifact Analysis of Smell Evolution and Maintenance Tasks in Simulink Models. |
MoDELS (Companion) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Valle |
Metamorphic Testing of Autonomous Vehicles: A Case Study on Simulink. |
ICSE (Companion Volume) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | HongCun Mao, YuLing Feng, ZhiHai Yao |
Fractional-Order Intermittent Chaos Implementation in Simulink. |
ICAIT |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Dingming Meng, Fangxiu Jia |
Research on Space Vector Pulse Width Modulation Technology Based on MATLAB/Simulink. |
ICAIIS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin |
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie |
Extractive Product Line Migration for MATLAB/Simulink Software Systems. |
|
2021 |
RDF |
|
15 | Khouloud Gaaloul |
Verification of design models of cyber-physical systems specified in Simulink. |
|
2021 |
RDF |
|
15 | Sudipta Saha, Syed Muhammad Amrr |
Design of slip-based traction control system for EV and validation using co-simulation between Adams and Matlab/Simulink. |
Simul. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jochen Quante |
Approximating the Number of Execution Paths in Simulink Models. |
Softwaretechnik-Trends |
2020 |
DBLP BibTeX RDF |
|
15 | Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu |
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow. |
J. Comput. Sci. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2020 |
DBLP BibTeX RDF |
|
15 | Vuyyuru Tejaswi, Aravindhan Surendar, N. Srikanta |
Simulink implementation of RLS algorithm for resilient artefacts removal in ECG signal. |
Int. J. Adv. Intell. Paradigms |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rolands Shavelis, Kaspars Ozols |
Bluetooth Low Energy Wireless Sensor Network Library in MATLAB Simulink. |
J. Sens. Actuator Networks |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Navdeep Kaur, Naresh Kumar 0002 |
On Effects of Frequency Offset on Simulink Model of OFDM. |
Wirel. Pers. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Remziye Busra Coruk, Bengisu Yalcinkaya, Ali Kara |
On the design and effectiveness of Simulink-based educational material for a communication systems course. |
Comput. Appl. Eng. Educ. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford |
Supporting Modularity in Simulink Models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Ismael Abdulrahman |
An Open Source Simulink Based Program for Simulating Power Systems Integrated with Renewable Energy Sources. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Adnan Rashid, Ayesha Gauhar, Osman Hasan |
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev |
Representation of grossone-based arithmetic in simulink for scientific computing. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Omer Eldirdiry, Riadh Zaier, Amur Al-Yahmedi, Issam M. Bahadur, Fady Alnajjar |
Modeling of a biped robot for investigating foot drop using MATLAB/Simulink. |
Simul. Model. Pract. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Amir Rasyadan, Sazali Bin Yaacob, Pranesh Krishnan, Mohamed Rizon, Chun Kit Ang |
Simulation of SPWM Fed Three-phase Induction Motor Drive Mathematical Model Using MATLAB Simulink. |
J. Robotics Netw. Artif. Life |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Ashiqur Rahman, Amarjit Datta |
Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis. |
IEEE Trans. Dependable Secur. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Farzin Asadi |
State-Space Control Systems: The MATLAB®/Simulink® Approach |
|
2020 |
DOI RDF |
|
15 | Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas |
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Kentaro Honda, Sasuga Kojima, Hiroshi Fujimoto, Masato Edahiro, Takuya Azumi |
Mapping Method of MATLAB/Simulink Model for Embedded Many-Core Platform. |
PDP |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Abdulhalim Mohamad, Mohamad HajjHassan, Mohamed Wadaane, Ahmad ElSayed, Hussein Wehby, Mariam Khayreldeen, Ahmed N. Al-naggar, Saeed H. Bamashmos, Hassan Wehbi, Mohamad Abou Ali, Abdallah Kassem |
MATLAB/Simulink Medical Fluid Pump Model with a Flow PID Controller. |
ICM |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Jaber, Lara Hamawy, Mohamad Hajj-Hassan, Mohamad Abou Ali, Abdallah Kassem |
MATLAB/Simulink Mathematical Model for Lung and Ventilator. |
ICM |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Anton Ponomarev, Julian Hofmann, Lutz Gröll |
Characteristics-based Simulink Implementation of First-order Quasilinear Partial Differential Equations. |
SIMULTECH |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, Sandro Schulze, Ina Schaefer |
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. |
SE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Timm Liebrenz, Paula Herber, Sabine Glesner |
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alexey Golubev, Timur Glazkov |
Nonlinear Quadrotor Control Based on Simulink Support Package for Parrot Minidrones. |
MMSC |
2020 |
DBLP BibTeX RDF |
|
15 | Cuiling Li, Rongyong Zhao, Yan Wang, Qiong Liu, Daheng Dong |
Module-based Virtual Lab Design Model with Matlab/Simulink in Automation Control Theory. |
ICMSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Marian Popescu |
Use of OPC Protocol, DeltaV Distributed System and Simulink for Level Control with PI and IMC Algorithms. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
Bridging the Gap Between Requirements and Simulink Model Analysis. |
REFSQ Workshops |
2020 |
DBLP BibTeX RDF |
|
15 | Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford |
Applying Modular Decomposition in Simulink. |
ISSRE Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Amra Dzuho, Amina Aleta, Sabina Pandza, Irma Ramic, Nuraiym Mamatnazarova, Lemana Spahic |
Simulink model of oxygen distribution in skeletal muscle. |
MIPRO |
2020 |
DBLP DOI BibTeX RDF |
|