Simulink

Results: 248



#Item
141Simulation software / Computing / Mathematical modeling / Numerical software / XPC Target / Embedded system / Simulink / Simulation / EICASLAB / Application software / Visual programming languages / Software

Model-Driven Robot-Software Design Using Template-Based Target Descriptions Jan F. Broenink*, Marcel A. Groothuis*, Peter M. Visser**, Maarten M. Bezemer* Abstract— This paper is about using templates and passing model

Add to Reading List

Source URL: www.best-of-robotics.org

Language: English - Date: 2011-07-10 14:22:10
142Mathematical modeling / Numerical software / Simulation software / Simulink / Hardware-in-the-loop simulation / Computing / Embedded system / Humanoid robot / Vortex / Software / Application software / Cross-platform software

HIL/SIL BY DEVELOPMENT OF SIX-LEGGED ROBOT SLAIR2 DZHANTIMIROV1, PALIS2, SCHMUCKER1, TELESH2, ZAVGORODNIY2 1 2

Add to Reading List

Source URL: www.uni-magdeburg.de

Language: English - Date: 2007-05-16 05:11:24
143Technology / MagicDraw / Open Services for Lifecycle Collaboration / Traceability / Interoperability / Application lifecycle management / Simulink / Software project management / Software / Computing

Abstract for Presentation at 3rd European Conference on Interoperability for Embedded Systems Development Environments An increasing number of applications for software, mechanical, and electrical engineering as well as

Add to Reading List

Source URL: www.crystal-artemis.eu

Language: English - Date: 2014-08-18 08:48:23
144Computing / Visual programming languages / Software testing / Control engineering / Model-based design / Dymola / Simulink / Scientific modelling / Modelica / Simulation software / Application software / Software

Design Support and Tooling for Dependable Embedded Control Software J. F. Broenink P. G. Larsen

Add to Reading List

Source URL: www.best-of-robotics.org

Language: English - Date: 2011-07-10 14:22:10
145Simulation software / Numerical software / Cross-platform software / MATLAB / OpenRAVE / Robot / Webots / Simulink / Simulation / Software / Application software / ROS

Short Survey of Simulators for RoboCup@Work Marc Wollenweber Hochschule Bonn-Rhein-Sieg St. Augustin Master autonomous systems (MAS) student

Add to Reading List

Source URL: www.robocupatwork.org

Language: English - Date: 2012-05-23 06:20:33
146Electric power / Emtp / Electric power system / Power supply / Electric arc / Electric power transmission / Capacitor / Transformer / Power factor / Electromagnetism / Electrical engineering / Energy

S OF T WARE TO OL S ArcPro // ASPEN // DIgSilent // DranView // Paladin DesignBase EMTP-RV // GridLab-D // Matlab // NexHarm // NexFlash // OpenDSS PQView // PSCAD // PSLF // PSS®E // Simulink // TOP OUR CLIENTS

Add to Reading List

Source URL: www.enernex.com

Language: English - Date: 2013-05-14 15:16:12
147Cross-platform software / Numerical software / Visual programming languages / Mathematical modeling / Simulink / MATLAB / Bioinformatics / Grid computing / Software / Applied mathematics / Simulation software

/home/arnoud/matlab/work/matisse501/Speedscattering.tif

Add to Reading List

Source URL: www.dddas.org

Language: English - Date: 2005-11-22 11:54:12
148Hardware-in-the-loop simulation / Simulation software / Electrical engineering / Electric power transmission / Simulation / Software / Flight simulator / Simulink / Power system simulation / Flight training / Virtual reality / Electromagnetism

MEA Power System Development Facility More Electric Aircraft Power System Development Facility Introduction

Add to Reading List

Source URL: www.adi.com

Language: English - Date: 2014-04-07 15:38:13
149Pharmaceutical industry / Validity / Systems engineering / Simulation software / Application software / Simulink / Verification and validation / Model checking / Software development process / Formal methods / Science / Software

Tutorial: Modeling, Verification, and Synthesis of Embedded Control Software Samarjit Chakraborty† ∗

Add to Reading List

Source URL: esweek.acm.org

Language: English - Date: 2014-08-23 02:06:53
150Visual programming languages / Simulation software / Stateflow / Simulink / Formal verification / Hybrid system / Isabelle / Proof assistant / KeY / Software / Mathematical software / Application software

Title: Formal Verification of Simulink/Stateflow Diagrams Organizers: Naijun Zhan, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, email: [removed] Speakers: Naijun Zhan and Li

Add to Reading List

Source URL: esweek.acm.org

Language: English - Date: 2014-08-23 02:06:53
UPDATE